C++ 類成員初始化的重要性：從指針越界崩潰看構造函數最佳實踐

C++ 類成員初始化的重要性：從指針越界崩潰看構造函數最佳實踐

某網絡服務器項目中，定義結構體 BufferObj 用於發送隊列節點，包含 next 指針構成單向鏈表。因未顯式初始化 next = nullptr，導致生產者/消費者線程協作時出現野指針訪問崩潰，排查耗時數小時。本文複現故障並總結最佳實踐。

故障代碼簡化版

struct BufferObj {
    char* buf;
    int bufLen;
    SOCKADDR_STORAGE addr;
    int addrLen;
    BufferObj* next;        // 未初始化！
};

struct ConnectionObj {
    BufferObj* pendingSendHead = nullptr;
    BufferObj* pendingSendTail = nullptr;
    CRITICAL_SECTION sendRecvQueueCriticalSection;
};

// 生產者入隊
void enqueueBufferObj(ConnectionObj* conn, BufferObj* obj) {
    EnterCriticalSection(&conn->sendRecvQueueCriticalSection);
    if (conn->pendingSendHead == nullptr) {
        conn->pendingSendHead = conn->pendingSendTail = obj;
    } else {
        conn->pendingSendTail->next = obj;   // 此處崩潰：tail->next 是野指針
        conn->pendingSendTail = obj;
    }
    LeaveCriticalSection(&conn->sendRecvQueueCriticalSection);
}

// 消費者出隊
BufferObj* dequeueBufferObj(ConnectionObj* conn) {
    BufferObj* res = nullptr;
    EnterCriticalSection(&conn->sendRecvQueueCriticalSection);
    if (conn->pendingSendTail != nullptr) {
        res = conn->pendingSendHead;
        conn->pendingSendHead = conn->pendingSendHead->next;  // 此處 next 為野指針
        if (conn->pendingSendTail == res) conn->pendingSendTail = nullptr;
    }
    LeaveCriticalSection(&conn->sendRecvQueueCriticalSection);
    return res;
}

故障根因分析

1. BufferObj 分配後，next 成員未顯式初始化，內容為隨機堆內存值（野指針）；
2. 首次入隊時 head=tail=obj，obj->next 仍為野指針；
3. 出隊時 head = head->next，將野指針賦給 head；
4. 再次入隊時判斷 head == nullptr 失效（實為野指針），進入 else 分支嘗試 tail->next = obj，解引用野指針 tail → **Access Violation**；

修正方案：構造函數初始化列表

struct BufferObj {
    char* buf;
    int bufLen;
    SOCKADDR_STORAGE addr;
    int addrLen;
    BufferObj* next;

    BufferObj() : buf(nullptr), bufLen(0), addrLen(0), next(nullptr) {
        memset(&addr, 0, sizeof(addr));
    }
};

或使用 C++11 類內初始化：

struct BufferObj {
    char* buf = nullptr;
    int bufLen = 0;
    SOCKADDR_STORAGE addr{};
    int addrLen = 0;
    BufferObj* next = nullptr;
};

為什麼必須在構造函數初始化？

最佳實踐清單

1. 所有成員變量在構造函數初始化列表中顯式初始化，哪怕是基本類型；
2. 優先使用 C++11 類內默認初始化（int x = 0; T* p = nullptr;），簡潔且不易漏寫；
3. 對於 POD 結構體（無構造函數），使用 memset(this, 0, sizeof(*this)) 或 BufferObj obj = {} 零初始化；
4. 代碼審查時重點檢查：指針、容器、計數器、標志位是否有確定初值；
5. 啟用編譯器警告 -Wuninitialized (GCC/Clang) 或 /W4 (MSVC)，靜態捕獲未初始化變量。

延伸：C 語言結構體初始化

// C99 指定初始化器
BufferObj obj = { .next = NULL, .bufLen = 0 };

// 或 memset
memset(&obj, 0, sizeof(obj));

// 或複合字面量 (C99)
BufferObj* p = malloc(sizeof(BufferObj));
*p = (BufferObj){ .next = NULL };

「未初始化變量」是 C/C++ 開發中最隱蔽、破壞力最強的 Bug 來源之一。養成「聲明即初始化」習慣，配合現代 C++ 特性與靜態分析工具，可從根源消除此類故障。