C++ const 關鍵字完全指南：從基本用法到底層原理與進階技巧

前言

`const` 是 C++ 型別系統的核心，遠不止「定常量」。正確使用 `const` 能讓編譯器捕獲邏輯錯誤、優化代碼、表達設計意圖、支援多執行緒安全。本文系統整理 8 大基本規則、指針/引用/成員函數/模板中的進階用法、常見誤區與最佳實踐。

一、八大基本規則速查

二、指針與引用的 const 組合（核心難點）

int i = 0;
const int ci = 10;

const int *p1 = &ci;   // 底層 const：指向常量的指針，可改指向，不可改值
int *const p2 = &i;    // 頂層 const：常量指針，不可改指向，可改值
const int *const p3 = &ci; // 雙重 const

// 判斷口訣：從右向左讀
// const int *p  → "p is a pointer to const int"
// int *const p  → "p is a const pointer to int"

賦值相容性：`const int*` 可接收 `int*`（加強限制），`int*const` 不可接收 `int*`（頂層 const 不影響指向對象權限）。

三、成員函數 const 資格

class Buffer {
    char *data;
    size_t len;
public:
    // 承諾不修改對象可見狀態
    size_t size() const { return len; }
    char operator[](size_t i) const { return data[i]; } // 唯讀版本
    char& operator[](size_t i) { return data[i]; }      // 讀寫版本

    // mutable 成員可在 const 函數中修改（緩存、鎖、統計計數）
    mutable int accessCount;
    char get(size_t i) const { ++accessCount; return data[i]; }
};

規則：`const` 對象只能調用 `const` 成員函數；`const` 成員函數不可修改非 `mutable` 成員。

四、構造/析構與 const

• 構造函數**不能**加 `const`（正在構建對象）。
• 析構函數**不能**加 `const`（正在銷毀對象）。
• 但可構造 `const` 對象：`const Widget w;` → 之後只能調用 `const` 方法。

五、模板與 const 傳遞

template
void func(const T& param);  // 推導 T 時保留 const 屬性

// C++17 std::as_const：將左值轉為 const 右值引用
#include <utility>
void legacyAPI(Widget&);  // 非 const 參數
legacyAPI(std::as_const(widget)); // 編譯錯誤，防止誤調

六、constexpr vs const（C++11/14/17/20）

**原則**：能 `constexpr` 就 `constexpr`，將計算前移編譯期。

七、常見誤區與避坑

1. ❌ `const int* p = malloc(4);` → 應 `int* p = ...`，`const` 修飾的是指向內容，非指針本身。
2. ❌ 返回 `const std::string&` 卻返回區域變量引用 → 懸空引用，與 `const` 無關。
3. ❌ 以為 `const` 保證線程安全 → 僅保證「不修改」，複合操作仍需鎖/原子操作。
4. ❌ 函數參數 `const T&` 卻在函數內 `const_cast` 修改 → 未定義行為（若實參為真 `const` 對象）。

八、最佳實踐清單

• ✅ 所有不修改對象的成員函數加 `const`。
• ✅ 所有輸入參數指針/引用預設加 `const`（`const T*`, `const T&`）。
• ✅ 循環變量 `for (const auto& x : vec)`。
• ✅ 全域/命名空間常量用 `constexpr` / `inline const` (C++17) 替代宏。
• ✅ 返回值不加 `const`（阻礙移動語義），除非返回 `const&`。
• ✅ 善用 `std::as_const` 獲取 `const` 視圖調用 `const` 重載。