指针与代码规范：从混乱到有序的工程实践

说实话，指针这东西，写起来爽，查起错来真要命。我见过太多项目，功能跑得挺好，一上代码审查，指针问题能占 bug 列表的一半。今天咱们就聊聊，怎么用规范把指针管起来。

指针命名规范：让名字自己说话

你想想看，一个团队里，有人用 p，有人用 ptr，还有人用 p_，这代码还怎么读？我个人习惯，指针命名要遵循三个原则：

• 明确标识指针类型：用 p 前缀或 _ptr 后缀
• 体现指向关系：比如 p_buffer 比 ptr 好一百倍
• 区分一级和二级指针：pp_buffer 表示指向指针的指针

// 好的命名
int* p_counter;        // p_ 前缀
char* buffer_ptr;      // _ptr 后缀
int** pp_matrix;       // 二级指针用 pp_

// 糟糕的命名
int* a;                // 谁知道 a 是什么？
char* ptr;             // 指向什么的指针？
int** p;               // 二级指针？完全看不出来

我在项目中遇到过最离谱的命名，是一个叫 p 的全局指针，整个文件里用了三十多次。后来重构时，我花了整整两天才搞清楚它到底指向什么。嗯，从那以后，我定了个规矩：指针命名必须能自解释。

指针使用检查清单：写代码前先过一遍

每次我写指针操作，脑子里都会自动过一遍检查清单。说白了，就是怕出野指针。下面这个清单，是我从无数次调试中总结出来的：

代码审查中的指针问题：那些年我们踩过的坑

做代码审查时，我特别关注指针相关的几个点。这些地方最容易出问题，也最容易在审查时被忽略。

1. 悬空指针

函数返回局部变量的地址，这是新手最容易犯的错误。我曾经在一个通信协议栈里，发现有人返回了栈上数组的指针——数据早就被覆盖了，但程序居然还能跑，只是偶尔丢包。这种 bug 最难查。

// 错误示例
int* get_value() {
    int local = 42;
    return &local;  // 悬空指针！
}

// 正确做法
int* get_value() {
    int* p = malloc(sizeof(int));
    if (p) *p = 42;
    return p;
}

2. 指针运算越界

数组指针 + 偏移量，这个操作太常见了。但偏移量算错了怎么办？我记得有一次，一个同事用 p + sizeof(array) 代替 p + array_size，结果指针直接飞到天边去了。审查时一定要算清楚偏移量。

3. 双重释放

多个指针指向同一块内存，一个 free 了，另一个还在用。这种问题在复杂系统中特别常见。我的建议是：谁分配谁释放，明确所有权。

指针相关的设计模式：让复杂变简单

工程实践中，有些指针用法经过反复验证，成了经典模式。我挑几个常用的说说。

1. 不透明指针（Opaque Pointer）

说白了，就是隐藏实现细节。对外只暴露一个 void*，内部结构用户看不到。我在做嵌入式驱动库时特别喜欢用这个模式。

// 头文件：只暴露不透明指针
typedef struct Device* DeviceHandle;

DeviceHandle device_create(int port);
void device_destroy(DeviceHandle handle);
int device_read(DeviceHandle handle, char* buffer, int size);

// 源文件：内部结构对外隐藏
struct Device {
    int port;
    int fd;
    char buffer[256];
};

2. 回调函数模式

函数指针做回调，这是事件驱动系统的核心。但要注意，回调函数的上下文指针一定要传对。我见过有人把栈变量地址传给回调，回调执行时栈已经变了——结果可想而知。

// 安全的回调模式
typedef void (*callback_t)(void* context, int event);

void register_callback(callback_t cb, void* context);
// 调用时：cb(context, event);

3. 链表节点模式

嵌入式系统里，静态链表比动态链表更可靠。用数组预分配节点，指针做链接，既避免了内存碎片，又提高了确定性。

#define MAX_NODES 32

typedef struct Node {
    int data;
    int next;  // 用索引代替指针，更安全
} Node;

Node pool[MAX_NODES];
int head = -1;  // -1 表示空

知识体系总览

下面这张图，把指针规范的核心逻辑串起来了。从命名到审查，再到设计模式，每一步都是为了一个目标：写出安全、可维护的指针代码。

你看，规范这东西，一开始觉得是束缚，用久了就知道是保护。我见过太多项目，前期图快不守规范，后期维护成本翻着倍往上涨。指针操作尤其如此——一个野指针，能让整个系统崩溃。

最后说一句：代码审查时，别怕提指针问题。哪怕是一个没置 NULL 的 free，也值得讨论。因为今天你放过的每一个小问题，明天都可能变成线上事故。