C++拷貝賦值運算符中自賦值檢查的必要性與實現模式

若this == &rhs：

1. delete[] data_釋放了rhs.data_指向的內存（因為是同一塊）
2. new char[len_]可能分配到不同地址
3. std::copy從已釋放的內存讀取 → 未定義行為（崩潰、數據損壞、靜默錯誤）

標準檢查模式

// 模式一：指針比較（最常用）
MyClass& operator=(const MyClass& rhs) {
    if (this == &rhs) return *this; // 自賦值保護
    // ... 正常複製邏輯
    return *this;
}

// 模式二：Copy-and-Swap 惯用法（強異常安全、天然防自賦值）
MyClass& operator=(MyClass rhs) { // 參數按值傳遞觸發拷貝構造
    swap(*this, rhs);             // 交換資源
    return *this;                 // rhs 析構時釋放舊資源
}

Copy-and-Swap 優勢

• 自動處理自賦值：參數按值傳遞已完成拷貝，交換無風險
• 強異常安全：拷貝構造失敗不修改原對象
• 代碼復用：利用拷貝構造函數與swap
• 統一資源管理：析構函數統一釋放

移動賦值運算符 (C++11)

MyClass& operator=(MyClass&& rhs) noexcept {
    if (this == &rhs) return *this; // 移動自賦值同樣需檢查
    delete[] data_;
    data_ = rhs.data_;
    len_ = rhs.len_;
    rhs.data_ = nullptr;
    rhs.len_ = 0;
    return *this;
}

現代C++最佳實踐

1. 優先使用Copy-and-Swap：簡潔、安全、無需顯式自賦值檢查
2. 若手寫拷貝賦值：必須在開頭加if (this == &rhs) return *this;
3. Rule of Five：析構、拷貝構造、拷貝賦值、移動構造、移動賦值五者成雙成對
4. 優先用智能指針/容器：std::unique_ptr、std::vector自動處理資源管理，編譯器生成的特殊成員函數通常足夠

總結

自賦值檢查不是「多此一舉」，而是資源管理類的生存底線。Copy-and-Swap惯用法以優雅方式解決此問題並提供強異常安全。現代C++應盡量避免手寫資源管理，讓標準庫組件承擔複雜度。