C++ 預設建構函數完整規則與陷阱

四大核心規則

1. **每個類別必須有建構函數**，否則無法建立物件。
2. **使用者未宣告任何建構函數** → 編譯器隱式產生**預設建構函數** (無參數)，**僅建立物件，不執行任何初始化** (成員保持未定義值)。
3. **使用者宣告任一建構函數** (含參或無參) → 編譯器**不再產生**預設建構函數。若仍需無參建構，必須**手動定義**。
4. **靜態/全域物件** 會被零初始化 (位元模式全 0)；**區域/動態物件** 值為隨機 (未定義行為)。

關鍵細節：何時會/不會呼叫隱式預設建構函數

程式碼驗證

class Student { public: int val; }; // 無使用者建構函數

int main() {
    Student s;                // 未初始化，val 隨機
    Student arr[4];           // 未初始化
    vector<Student> vec(5);   // 調用隱式預設建構，val 不定 (視實作)
    Student* p = new Student[4]; // 調用隱式預設建構，val 不定
    Student ss = Student();   // 值初始化，val = 0
}

最佳實務

• **永遠顯式定義建構函數**，即使是空的 Student() = default;，使意圖明確。
• **成員初始化清單** 統一初始化：Student() : val(0) {}。
• C++11 **就地初始化**：int val = 0; (C++11 非靜態成員初始化)，配合 = default 最簡潔。
• 避免依賴隱式預設建構函數的初始化行為，跨編譯器/標準版本不一致。

常見誤區

「類別沒寫建構函數，編譯器會幫我把成員初始化為 0。」

**錯誤**。僅靜態/全域物件保證零初始化；區域/動態物件**不初始化**。