C語言指針進階：從底層機制到抽象設計的核心槓桿

編輯：關於C語言

指針：C 語言的「唯一抽象機制」

C 語言常被稱為「帶結構的組合語言」，其核心抽象能力幾乎完全仰賴指針。與 C++ 擁有「物件導向（類/繼承/虛函數）」與「泛型（模板）」兩大獨有抽象機制不同，C 僅靠指針一槌定音：

底層：直接對應記憶體位址，支援硬體級操作（記憶體映射 I/O、中斷向量表、DMA 緩衝區）
中層：構建動態資料結構（鏈表、樹、圖、哈希表）
高層：實現回調、介面多型、狀態機、協程、物件導向模擬（如 GTK+/GObject、Linux kernel 的 struct file_operations）

掌握指針 ≠ 會用 int *p；以指針為設計語言，才是 C 程式設計師的最高境界。

指針的三重身份

層次	本質	典型用法
硬體映射	記憶體位址編號	`volatile uint32_t GPIO_BASE = (uint32_t )0x40020000;`
資料結構	節點連接器	`struct Node { int val; struct Node *next; };`
抽象介面	行為封裝載體	`struct Driver { int (init)(void); int (read)(void *buf, size_t len); };`

進階指針模式速覽

1. 不透明指針 —— 資訊隱藏

/* api.h */
struct Context;           // 前向宣告，隱藏實作
typedef struct Context *ContextHandle;

ContextHandle ctx_create(void);
void ctx_destroy(ContextHandle);
int ctx_process(ContextHandle, const void *in, size_t len, void *out, size_t *out_len);

/* api.c */
struct Context { int fd; void *buffer; size_t cap; };  // 只有實作檔可見

2. 函數指針表 —— 介面多型

typedef struct {
    int (*open)(const char *path);
    ssize_t (*read)(void *buf, size_t n);
    void (*close)(void);
} FileOps;

FileOps posix_ops = { .open = open, .read = read, .close = close };
FileOps mem_ops   = { .open = mem_open, .read = mem_read, .close = mem_close };

/* 執行期切換實作 */
FileOps *ops = use_memory_fs ? &mem_ops : &posix_ops;
ops->open("data.bin");

3. 通用容器 —— void* + 尺寸 + 操作函數

typedef struct {
    void *data;
    size_t elem_size;
    size_t len, cap;
    int (*cmp)(const void *, const void *);
    void (*dtor)(void *);
} Vector;

void vec_push(Vector *v, const void *elem) { /* memcpy(v->data + v->len*v->elem_size, elem, v->elem_size) */ }
void vec_sort(Vector *v) { qsort(v->data, v->len, v->elem_size, v->cmp); }

4. 侵入式鏈表 —— Linux Kernel 風格

struct list_head { struct list_head *prev, *next; };

#define container_of(ptr, type, member) \
    ((type *)((char *)(ptr) - offsetof(type, member)))

/* 任意結構體嵌入 list_head 即可入鏈，無需額外分配節點 */
struct Task { int pid; struct list_head node; };

struct Task *t = container_of(pos, struct Task, node);