C++ 運算符重載核心概念與語法：從成員函數到全域函數的完整指南

什麼是運算符重載？

運算符重載本質上是函數重載：賦予現有運算符新含義，使其能操作用戶定義型別。C++ 已為內建型別重載了 +、<< 等，開發者可擴展至自定義類。

基本語法格式

返回型別 operator 運算符名稱 (參數列表) {
    // 實現邏輯
}

• operator 為關鍵字
• operator+、operator<< 等視為函數名
• 除函數名特殊外，其餘與普通函數無異

形式一：成員函數重載（非對稱運算符首選）

class Complex {
public:
    Complex(double r, double i) : m_real(r), m_imag(i) {}
    Complex operator+(const Complex& rhs) const;  // 聲明
private:
    double m_real, m_imag;
};

// 定義
Complex Complex::operator+(const Complex& rhs) const {
    return Complex(m_real + rhs.m_real, m_imag + rhs.m_imag);
}

// 調用轉換
Complex c3 = c1 + c2;  // → c3 = c1.operator+(c2);  // this=c1, 參數=c2

特點：左操作數隱含為 this，參數僅需右操作數。

匿名物件優化寫法

Complex Complex::operator+(const Complex& rhs) const {
    return Complex(m_real + rhs.m_real, m_imag + rhs.m_imag);  // 臨時物件直接返回
}

形式二：全域函數重載（對稱運算符首選）

class Complex {
    // 需友元聲明以訪問 private 成員
    friend Complex operator+(const Complex&, const Complex&);
    // ...
};

Complex operator+(const Complex& lhs, const Complex& rhs) {
    return Complex(lhs.m_real + rhs.m_real, lhs.m_imag + rhs.m_imag);
}

// 調用轉換
Complex c3 = c1 + c2;  // → c3 = operator+(c1, c2);

特點：顯式雙參數，左右操作數地位對等，支援隱式轉換（如 Complex + double）。

兩種形式深度對比

實戰：支援 Complex + double 的混合運算

僅全域函數可實現：

Complex operator+(double lhs, const Complex& rhs) {
    return Complex(lhs + rhs.m_real, rhs.m_imag);
}
Complex operator+(const Complex& lhs, double rhs) {
    return Complex(lhs.m_real + rhs, lhs.m_imag);
}

成員函數無法實現 double + Complex（左操作數非 Complex）。

運算符重載的本質與價值

• 本質：函數調用的語法糖，編譯期解析為函數調用
• 價值：代碼更接近數學/領域表達，提升可讀性與表達力
• 原則：不改變語義——+ 仍做加法，<< 仍做輸出
• 保留原功能：重載不影響內建型別行為

小結：核心檢查清單

1. 選擇正確形式（成員 vs 全域）
2. 參數/返回型別正確（引用、const、值）
3. 全域函數聲明 friend
4. 保持語義直觀，不濫用
5. 成對重載（+ 與 +=、== 與 !=、<< 與 >>）

結語

運算符重載是 C++ 表達力的核心來源之一。從成員函數的 this 隱含機制，到全域函數的對稱性與隱式轉換支援，掌握兩種形式的差異與適用場景，是編寫優雅、高效、符合慣用法 C++ 代碼的關鍵技能。