C 指標核心本質：從「存放地址的變數」到「類型化記憶體視圖」的深度理解

前言

指標是 C 語言的靈魂，也是最大的門檻。網路上流傳「指標就是地址」、「指標是整數」、「指標是無符號整數」等說法，皆不精確。本文從編譯器、記憶體模型、類型系統三個層面，重新定義指標的真實面貌。

一、指標不是整數，也不是地址

反證：指標不支援整數運算

int *p = NULL;
int a = 20;
unsigned int b = 30;

p = a;      // 編譯錯誤：不能從 int 轉換為 int*
p = b;      // 編譯錯誤：不能從 unsigned int 轉換為 int*
p = p * 5;  // 編譯錯誤：指標不支援乘法

若指標只是整數/無符號整數，上述操作應合法。事實上，**指標是獨立的類型類別**。

地址 ≠ 指標

int a = 10;
int b;
b = (int)&a;     // 強制轉為整數：合法 (但丟失類型資訊)
*b += 20;        // 錯誤：int 不能間接存取

// 必須轉回指標類型才能解引用
*((int*)b) += 20; // 正確：(int*) 恢復了類型資訊

**結論**：指標 = **記憶體地址 + 類型資訊**。類型決定了解引用時的位元寬度、指標運算步長、別名規則。

二、指標的兩個核心屬性

指標算術步長範例

int arr[100];
printf("%p %p\n", (void*)arr, (void*)&arr);   // 相同位址
printf("%p %p\n", (void*)(arr+1), (void*)(&arr+1));
// arr+1     : 位址 + sizeof(int) = +4
// &arr+1    : 位址 + sizeof(int[100]) = +400
// 類型決定步長！

三、為什麼需要類型？

1. 解引用寬度：`*p` 要讀寫幾個位元組？`char*`=1, `int*`=4, `double*`=8
2. 指標運算：`p++` 前進多少？由 `sizeof(*p)` 決定
3. 嚴格別名規則：編譯器假設不同類型指標不指向同一記憶體 (C99 6.5/7)，優化依賴此規則
4. 類型安全：防止誤將 `float*` 當 `int*` 存取導致未定義行為

四、常見指標類型完全圖譜

int *p;           // 指向 int 的指標
int *p[10];       // 指標陣列：10 個 int*
int (*p)[10];     // 陣列指標：指向包含 10 個 int 的陣列
int *func();      // 回傳 int* 的函式
int (*func)();    // 函式指標：指向回傳 int 的函式
int **pp;         // 雙重指標：指向 int* 的指標
void *vp;         // 通用指標：未知類型，不可解引用/算術，需轉型
const int *p;     // 指向常數的指標：不可透過 p 修改值
int *const p;     // 常數指標：p 本身不可修改指向
const int *const p; // 皆不可修改

五、函式指標陣列實作

// 1. 定義函式指標類型
typedef unsigned long (*OPERATE_FUNC)(char *msg, int len);

// 2. 宣告陣列
static OPERATE_FUNC op_table[10] = {0};

// 3. 註冊
op_table[0] = HandleLogin;
op_table[1] = HandleLogout;
// ...

// 4. 調用
unsigned long result = op_table[cmd_id](buffer, length);

六、避坑指南

七、現代 C 最佳實踐 (C11/C17/C23)

1. 優先使用 **限定指標** `int *restrict p` 告知編譯器無別名，啟用激進優化
2. 使用 `` 固定寬度類型 (`int32_t`, `uintptr_t`) 提升可移植性
3. 靜態分析工具 (Clang Static Analyzer, Coverity, Cppcheck) 捕獲指標錯誤
4. 邊界檢查介面 (Annex K) `memcpy_s`, `strcpy_s` 替代不安全函式
5. 所有權語意：單一擁有者負責 `free`，傳遞時文檔註明 `/* owner */` 或 `/* borrow */`

總結

指標不是地址，不是整數，而是 **「帶有類型資訊的記憶體視圖」**。類型決定了編譯器如何解讀該記憶體區域：讀寫多少位元組、算術前進多少、能否與其他指標別名。深刻理解「地址 + 類型 = 指標」，才能寫出正確、高效、可維護的 C 代碼。下次看到 `int *p`，請在腦中呈現：一個 4/8 位元組的儲存單元，裡面存著一個位址，編譯器承諾該位址處有 4 位元組的有效 `int` 物件。