C++ 類對象作為函數參數時的析構函數調用機制詳解

核心問題

當類對象以值傳遞方式作為函數參數時，函數結束後是否會調用該對象的析構函數？這涉及 C++ 對象生命周期管理的核心機制。

結論先行

會調用析構函數。 但前提是：非引用傳遞（即值傳遞）的情況下。若使用引用傳遞（&）或指針傳遞，則不會在函數結束時調用析構函數。

深度解析

值傳遞過程

1. 調用拷貝構造函數：函數調用時，編譯器自動生成代碼，用實參對象初始化形參對象（即創建一個臨時副本）。
2. 函數體執行：形參對象在函數作用域內有效，可正常訪問成員。
3. 調用析構函數：函數返回前，形參對象離開作用域，自動調用析構函數銷毀副本。

關鍵風險：重複釋放（Double Free）

若類內部管理動態資源（如裸指針 int* data），且未正確實現拷貝構造函數與拷貝賦值運算符（違反「三法則/五法則」），值傳遞會導致：

• 副本與原對象共享同一塊堆內存地址。
• 函數結束時，副本析構釋放內存。
• 原對象後續析構時再次釋放同一地址 → 未定義行為（崩潰/堆損壞）。

代碼示例

class MyClass {
    int* data;
public:
    MyClass(int size) : data(new int[size]) {}
    // 缺少拷貝構造函數 → 淺拷貝 → 危險！
    ~MyClass() { delete[] data; }
};

void func(MyClass obj) { } // 值傳遞

int main() {
    MyClass a(10);
    func(a); // func 結束時析構副本，釋放 data
    // a 後續析構再次 delete[] data → 錯誤！
}

解決方案與最佳實踐

1. 優先使用 const 引用傳遞

void func(const MyClass& obj) { } // 無拷貝，無析構，高效且安全

避免拷貝開銷，且不觸發析構，是首選方式。

2. 正确实现資源管理類（遵循 Rule of Three/Five）

• C++98：定義拷貝構造函數、拷貝賦值運算符、析構函數（深拷貝）。
• C++11+：優先使用智能指針（unique_ptr/shared_ptr）或標準容器（vector/string），編譯器自動生成正確的移動/拷貝語義（Rule of Zero）。

3. 僅在需要修改副本時使用值傳遞

若函數內部確需修改對象且不影響原對象，值傳遞語義正確，但務必確保類資源管理正確。

總結

理解參數傳遞的對象生命周期，是編寫健壯、高效 C++ 代碼的基石。現代 C++ 提倡「以值傳遞小對象，以 const 引用傳遞大對象，以右值引用實現移動」，並配合 RAII 與智能指針自動管理資源。