C++ 運算子多載完整指南：語法、最佳實踐、Matrix 類別與迭代器設計模式

運算子多載核心價值

運算子多載讓**使用者定義型別（類別）**能像內建型別一樣使用標準運算子，提供**直覺介面**，降低學習曲線、減少錯誤。本質是**函數呼叫的語法糖**。

有無多載對比

// 無多載：難以閱讀
Fred f = add(add(mul(a,b), mul(b,c)), mul(c,a));

// 有多載：自然數學表達
Fred f = a*b + b*c + c*a;

常見多載範例

設計原則：為使用者而非開發者

class Array {
public:
    int& operator[](unsigned i);  // 開發者覺得語法怪異
private:
    int data[100];
};

// 但使用者程式碼極其清晰
int main() {
    Array a;
    a[3] = 4;  // 直覺易懂
}

**核心觀念**：重用世界中，使用者眾多、開發者寡少，API 設計應優先照顧使用者體驗。

可/不可多載運算子

• 不可多載：.、?:、sizeof、::、.*
• 可多載：其餘大多數（含 new/delete、()、[]、->、++/-- 等）
• 無法新增運算子：如 **（冪次），優先級/結合性/元數皆由語言固定

Matrix 類別：為什麼用 operator() 而非 operator[][]

class Matrix {
public:
    Matrix(unsigned rows, unsigned cols);
    double& operator()(unsigned row, unsigned col);
    double  operator()(unsigned row, unsigned col) const;
    // 複製/移動/解構...
private:
    unsigned rows_, cols_;
    double* data_;  // 扁平化儲存
};

inline double& Matrix::operator()(unsigned r, unsigned c) {
    if (r >= rows_ || c >= cols_) throw BadIndex("out of bounds");
    return data_[cols_ * r + c];
}

// 使用語法：m(5,8) = 106.15;

operator() 優於 operator[][] 的理由

1. 多維參數原生支援：operator[] 只能單參數，operator() 可接受任意參數數量
2. 物理配置彈性：完全隱藏儲存佈局（Row-major/Column-major/稀疏/分塊），[][] 鎖定雙重陣列結構
3. 效能優化空間：快取友善配置、稀疏矩陣、列/行交換皆易實作
4. 永不更差：Row-major 密集矩陣下兩者等效，其他情況 operator() 更優

從外而內設計類別介面

**介面優先，實作次之**。以 Stack 為例：

// 錯誤：洩漏實作細節
class Stack {
public:
    LinkedList& getList();  // 使用者不關心 LinkedList
private:
    LinkedList list_;
};

// 正確：提供領域語彙操作
class Stack {
public:
    void push(int x);
    int pop();
    bool empty() const;
private:
    LinkedList list_;  // 完全封裝
};

迭代器模式：封裝遍歷邏輯

LinkedList 不應暴露 Node 指標，應提供 LinkedListIterator：

class LinkedListIterator {
public:
    bool operator==(const LinkedListIterator&);
    bool operator!=(const LinkedListIterator&);
    void operator++();      // 前進
    int& operator*();       // 解參考取值
private:
    Node* p_;
    friend class LinkedList;
};

class LinkedList {
public:
    LinkedListIterator begin();
    LinkedListIterator end();  // 回傳 NULL 迭代器
    void append(int);
    void prepend(int);
private:
    Node* first_;
};

// 使用者程式碼：標準 STL 風格
void userCode(LinkedList& a) {
    for (auto p = a.begin(); p != a.end(); ++p)
        std::cout << *p << '\n';
}

關鍵封裝原則

• 元素值由使用者負責（提供 get/set）
• 結構指標由容器負責（**不對外暴露**，保譱不變性）
• 容器可自由變更實作（雙向鏈表、陣列、向量）而不破壞介面

實務建議

• **不要手寫容器**：優先使用 std::vector、std::list、std::map 等 STL 容器
• **運算子多載保持語意一致**：+ 應回傳新物件，+= 修改現有物件
• **提供 const 版本**：operator[]、operator() 皆需 const 多載
• **避免驚奇**：多載行為應符合直覺，違反慣例會造成嚴重困惑