C語言 const 關鍵字深度解析：正確使用指南

C語言 const 關鍵字深度解析：從語法到實戰最佳實務

const 是 C 語言中用於宣告「唯讀物件」的類型修飾詞。正確使用可提升程式碼健壯性、啟用編譯器最佳化、並明確表達設計意圖。本文系統解析 const 與指標的組合規則、常見誤區、與 #define/enum 的差異，並提供實戰建議。

核心觀念：const 修飾的是「誰」？

記住一條「虛線分隔法」：在宣告中沿著 * 劃一條虛線，const 出現在虛線哪一邊，就修飾哪一邊的實體。

const int *p;       // 虛線左側：*p 是 const → 指向 const int 的指標 (p 可變，*p 不可變)
int const *p;       // 同上，const 在型別名稱右側效果相同
int * const p;      // 虛線右側：p 是 const → const 指標指向 int (p 不可變，*p 可變)
const int * const p; // 兩邊皆 const → const 指標指向 const int

經典陷阱案例解析

陷阱 1：const 變數 ≠ 編譯期常數

const int n = 5;
int arr[n]; // ❌ C89/C90 編譯錯誤：陣列大小需為常數運算式

原因：const int n 在記憶體中仍佔用儲存空間，屬「執行期唯讀變數」，非「編譯期常數」。

解法：

• C 標準：使用 #define N 5 或 enum { N = 5 };
• C++ / C99 VLA：支援變數長度陣列 (VLA)，但非標準 C++。

陷阱 2：typedef 掩蓋 const 語意

typedef char *pStr;
char str[] = "hello";
const pStr p = str; // ❌ p 是 const 指標 (char * const)，非指向 const char
p++; // 編譯錯誤：p 自身不可修改

分析：const pStr 經 typedef 展開為 char * const，而非 const char *。建議：避免對指標型別使用 typedef，或改用 typedef const char *cStr; 明確語意。

陷阱 3：字串常值與指標型別

char *p = "literal"; // ⚠️ 僅為相容舊碼，實際型別應為 const char *
p[0] = 'L'; // 未定義行為：嘗試寫入唯讀記憶體區段

正確寫法：const char *p = "literal"; 或 char p[] = "literal"; (陣列於堆疊可修改)。

陷阱 4：陣列初始化缺少結尾 null

char a[3] = "abc"; // ⚠️ 合法但危險：無 '\0' 結尾
printf("%s", a); // 未定義行為：printf 會越界讀取

建議：char a[] = "abc"; 讓編譯器自動計算長度 (含 null)。

函數參數與回傳值的 const 實務

const 與 volatile 組合

const volatile int *port = (const volatile int *)0xFFFF0000;
// 唯讀 (程式不寫入) + 易變 (硬體可隨時改變值)

現代 C (C11/C18) 與 C++ 差異快速查核表

• C++ const 全域變數預設 internal linkage (需 extern 導出)；C 則為 external linkage。
• C++ 允許 const int n = 5; int a[n]; (常數運算式)；C89/90 不允許，C99 VLA 允許但非標準 C++。
• C++ constexpr (C++11) 提供真正編譯期常數，C 尚無對應關鍵字 (可用 _Static_assert 配合宏模擬)。

最佳實務清單

1. 所有不需修改的指標參數**預設加上 const**。
2. 字串常值指標**永遠宣告為 const char ***。
3. 避免對指標型別使用 typedef，若必要請在文件說明 const 位置。
4. 陣列大小常數優先用 enum 或 #define，確保編譯期可見。
5. 利用 const 協助編譯器最佳化 (如將唯讀資料置於 .rodata 段)。
6. 程式碼審查時，檢查每個 const 是否正確表達設計意圖。

結語：const 不只是語法糖，更是「契約式設計」在 C 語言的體現。掌握虛線分隔法、理解編譯期常數與執行期唯讀的差異、避開 typedef 陷阱，即能寫出更安全、可維護的 C 程式碼。