C++ const 限定符完全指南：從變數常量化到指標多層 const 解讀

const 基礎：讓變數成為常量

const int MAX = 100;  // 必須初始化，之後不可修改
// MAX = 200; // 編譯錯誤

指標與 const：兩個獨立維度

指標宣告中有兩個可被 const 修飾的實體：**指標指向的物件** 與 **指標本身**。

情況 1：指向常量的指標

const int *p1;      // 或 int const *p1
int const *p2;      // 相同
// 讀法：p1 是一個指標，指向 const int
// 限制：不能通過 p1 修改物件值（*p1 = 10 錯誤）
// 允許：修改指標指向 (p1 = &other)

情況 2：常量指標

int *const p3 = &a;
// 讀法：p3 是一個 const 指標，指向 int
// 限制：不能修改指標指向 (p3 = &other 錯誤)
// 允許：通過指標修改物件 (*p3 = 20 正確)

情況 3：指向常量的常量指標

const int *const p4 = &a;
// 讀法：p4 是 const 指標，指向 const int
// 雙重限制：指向不可改、物件不可改

右左讀法：一招搞定所有複雜宣告

1. 找到識別符（變數名）。
2. 向右讀到結尾，再向左讀到開頭。
3. 遇到 const 說明其修飾的實體。

const int *const p;
//        ↑ 識別符 p
// 向右：const → p 是 const
// 向左：* → p 是指標
// 向左：const int → 指向 const int
// 結果：p 是 const 指標，指向 const int

函數參數與返回值的 const 實戰

成員函數的 const：物件不可修改契約

class Widget {
    int value;
public:
    int get() const { return value; }      // ✅ 承諾不修改 *this
    void set(int v) { value = v; }         // 非 const
    void setConst(int v) const { value = v; } // ❌ 編譯錯誤
    mutable int cache;                     // 可變成員，即使在 const 函數中也可修改
    int getWithCache() const {
        if (!cached) { cache = compute(); cached = true; }
        return cache;
    }
private:
    mutable bool cached = false;
};

const 多載：同名函數區分 const/非 const 物件

class Container {
    vector<int> data;
public:
    int& operator[](size_t i) { return data[i]; }       // 非 const 版本：可修改
    const int& operator[](size_t i) const { return data[i]; } // const 版本：唯讀
};

Container c;
c[0] = 10;        // 呼叫非 const 版本
const Container cc = c;
int x = cc[0];    // 呼叫 const 版本
// cc[0] = 20;    // 編譯錯誤

現代 C++：constexpr、constinit、consteval

常見誤區對比表

總結

1. 用**右左讀法**精準解讀多層 const 指標宣告。
2. 函數參數：大型物件用 const T&，C API 緩衝區用 const T*，指標參數本身加 const 通常無意義。
3. 成員函數**盡可能加 const**，配合 mutable 處理邏輯常態（快取、鎖、統計）。
4. 新專案優先用 constexpr/consteval 將不變值推向編譯期，提升效能與安全性。