C 语言 on Yun 的个人博客

C 代码审查清单

Mon, 18 May 2026 11:40:00 +0800

审查目标

C 代码审查不是挑风格问题，而是提前发现运行时成本最高的问题：内存错误、资源泄漏、接口歧义、错误路径遗漏和不可测试的全局状态。

接口语义

先看函数接口是否清楚：

参数能否为 NULL
返回值如何表达错误
调用方是否负责释放资源
输出参数失败时是否有效
函数是否修改传入缓冲区

接口语义不清楚时，后续实现再漂亮也容易出问题。

内存和边界

重点检查长度、容量和生命周期：

字符串空间是否包含 \0
memcpy、snprintf、数组下标是否有边界
释放路径是否覆盖所有失败分支
指针释放后是否还会被访问

错误路径

C 项目里很多 bug 只在异常路径出现。审查时要刻意走失败分支：申请失败、文件打开失败、设备不存在、协议字段不合法、部分初始化后返回错误。

小结

好的代码审查清单能把经验固化下来。每次发现新问题，都应该把它变成下一次能提前检查的条目。

C 内存问题排查清单

Mon, 18 May 2026 10:50:00 +0800

常见现象

C 内存问题经常表现得很绕：崩溃点不一定是出错点，今天能复现的问题明天可能消失，打开日志后问题也可能变化。

常见类型包括：

数组或缓冲区越界
使用已经释放的指针
重复释放
未初始化读取
资源泄漏

先缩小范围

不要一开始就盯着崩溃现场。先确认最近改动、输入数据规模、线程数量、编译优化级别和是否只在特定平台出现。

如果问题能稳定复现，优先构造最小复现用例。

检查边界

内存越界通常和长度计算有关。重点检查：

缓冲区大小是否包含结尾 \0
memcpy 长度是否来自可信来源
循环边界是否使用 < 而不是误用 <=
结构体长度和协议字段是否一致

检查生命周期

悬空指针来自对象生命周期结束后继续访问。释放后可以把指针置为 NULL，但这只能减少部分误用，不能替代清晰的所有权设计。

小结

排查内存问题要有耐心，也要有方法。先稳定复现，再缩小范围，最后回到边界、生命周期和错误路径。

C 模块接口设计的几个原则

Mon, 18 May 2026 10:40:00 +0800

模块边界

C 项目变大以后，真正难维护的往往不是语法，而是模块边界。好的模块接口应该让调用方知道能做什么，不需要知道内部怎么做。

常见做法是把结构体定义隐藏在 .c 文件里，只在头文件暴露不透明类型。

struct logger;

struct logger *logger_create(const char *path);
void logger_destroy(struct logger *log);
int logger_write(struct logger *log, const char *message);

调用方不能直接访问内部字段，模块就有空间调整实现。

资源成对管理

创建和销毁函数要成对出现，命名保持一致。这样调用方一眼能看出资源生命周期。

init/deinit
create/destroy
open/close
alloc/free

不要让调用方猜一个对象应该用 free、close 还是自定义函数释放。

错误处理

C 语言没有异常，接口必须明确错误返回。常见方式是返回 0 表示成功，负数或非零表示错误。

更重要的是：失败时资源状态要可预测。函数要么完全成功，要么保持原状态，不能留下半初始化对象。

减少全局状态

全局变量会让测试、并发和复用都变困难。能通过上下文对象传递的状态，就尽量放进上下文对象。

小结

C 模块接口的目标是降低调用方心智负担。接口越稳定、语义越明确，后续维护成本越低。

C 语言指针与所有权笔记

Mon, 18 May 2026 10:30:00 +0800

指针问题的本质

C 语言不会替我们记录对象归谁所有、什么时候释放、还能不能访问。很多指针 bug 表面是野指针、重复释放或内存泄漏，背后都是所有权边界不清楚。

写 C 代码时，可以主动给指针加上三类语义：

拥有：负责释放资源
借用：只临时使用，不释放
输出：函数负责写入结果

拥有型指针

拥有型指针通常来自 malloc、资源打开函数或创建函数。谁拥有它，谁就负责释放。

命名上可以用 create/free、open/close 成对出现：

struct buffer *buffer_create(size_t size);
void buffer_destroy(struct buffer *buf);

这种接口比让调用者猜释放方式更稳。

借用型指针

借用型指针不应该被释放，也不应该长期保存到超过对象生命周期的地方。

函数参数里常见的 const char *name 多数是借用。加上 const 能明确函数不会修改传入内容。

输出参数

C 语言里常用输出参数返回多个结果。输出参数要说明是否允许为 NULL，以及失败时是否会被修改。

int sensor_read(struct sensor *dev, int *value);

这个接口至少需要约定：dev 和 value 是否能为空，返回非零时 value 是否有效。

小结

指针本身只是地址。真正决定代码可靠性的，是所有权、生命周期和错误路径是否写清楚。