C語言指針進階：從基礎操作到函數與數組應用

編輯：關於C語言

C語言指針進階：從基礎操作到函數與數組應用

聲明：原創作品，轉載時請注明文章來自SAP師太博客，並以超鏈接形式標明文章原始出處，否則將追究法律責任！

第四章指針核心概念與操作

指針的本質是存儲內存地址的變量。它將名字與內存位置關聯起來，這種關聯由編譯器實現而非硬件。硬件始終通過地址訪問內存，指針變量名只是為程序員提供了一種記住地址的便捷方式。

指針的聲明與初始化陷阱

聲明指針並不會分配目標類型的存儲空間，只會為指針本身分配空間。未初始化的指針指向隨機位置，對其解引用會導致不可預測的行為：

int *a;
*a = 12; // 極度危險！a 未初始化，寫入隨機地址

正確做法是先初始化指針，使其指向確定的內存：

int b, *a;
a = &b;      // 初始化指針指向 b 的地址
*a = 12;     // 安全：將 12 存入 b 的內存位置

NULL 指針與安全檢查

NULL 指針表示不指向任何有效對象。將指針賦值為 0 或 NULL 宏可實現此狀態。對 NULL 指針解引用的行為因編譯器而異：可能訪問地址 0 導致錯誤數據，或觸發運行時錯誤終止程序。編譯器負責將 0 與機器內部 NULL 表示之間轉換。

多級指針與指針運算

二級指針（指向指針的指針）常用於修改一級指針的值（如函數參數傳遞指針地址）。指針運算遵循類型大小：ptr + 1 移動 sizeof(*ptr) 字節。間接訪問操作符 * 產生左值，允許修改目標內存。

指針表達式的左值/右值特性至關重要：

*ptr 是左值（可修改目標內存）
ptr + 1 是右值（臨時計算結果，不可取地址）
*(ptr + 1) 是左值（解引用後定位到具體內存）

指針數組副作用與修正

函數參數接收指針數組（實為二級指針）時，若在函數內修改二級指針（如 (*strings)++），會改變主調函數中數組元素的指針值，導致無法重複調用。解決方法是使用臨時變量遍歷：

int find_char(char **strings, int value) {
    char *str;
    while ((str = *strings++) != NULL) {
        while (*str != '\0') {
            if (*str++ == value) return 1;
        }
    }
    return 0;
}

常量數組與指針數組的區別

字符串常量 "abc" 代表地址，可直接初始化指針數組：char *p[] = {"a", "b"};。但整型常量數組 {1,2,3} 不代表地址，不能直接初始化指針數組，需先定義數組再取地址：int a1[] = {1,2}; int *p[] = {a1};。

二維數組與指向數組的指針

二維數組名是指向一維數組的指針（int (*p)[COLS]），而非二級指針。訪問元素有多種等價形式：

a[i][j] == *(*(a + i) + j) == (*(a + i))[j] == *(a[i] + j)

指向數組的指針移動單位由聲明決定：int (*p)[3] 以 3 個 int 為單位移動。

高效數組遍歷技巧

使用指針而非下標可消除循環中的乘法運算：

for (p = arr; p < &arr[SIZE];) *p++ = 0;
// 編譯器優化：p++ 內部乘法在編譯期完成

標準允許指針比較 p < &arr[SIZE]（指向尾後位置），但禁止 p >= &arr[0]（指向首前位置），為保證可移植性應避免後者。

第五章函數與可變參數

函數原型與舊式定義

K&R 風格定義無參數類型檢查，現代 C 應始終使用原型。無參函數原型應寫作 int func(void);。調用無原型函數時編譯器假定返回 int，若實際返回其他類型將導致錯誤。

可變參數實現

使用 <stdarg.h> 宏處理可變參數：

va_list ap; 定義參數指針
va_start(ap, last_named); 初始化
va_arg(ap, type); 依次獲取參數（注意默認類型提升：float→double, char/short→int）
va_end(ap); 清理

int sum(int first, ...) {
    va_list ap; va_start(ap, first);
    int s = 0, v = first;
    while (v != -1) { s += v; v = va_arg(ap, int); }
    va_end(ap); return s;
}