c-language-pro - SKILL.md Agent Skill

name: c-language-pro title: C 语言高效编程与内存管理 description: 当用 C99/C11 写系统/嵌入式/高性能代码，或攻克内存管理、指针运算、POSIX 系统调用与 pthread 并发时使用；产出所有权清晰、零泄漏的 C 代码及 Makefile(-Wall -Wextra)、头文件守卫、单测与 Valgrind 干净输出；不适用于 C++/Rust、纯语法提问或无 C 工具链场景；触发词：C、malloc、free、指针、内存泄漏、段错误、Valgrind、pthread、嵌入式 domain: 研发/backend triggers: [C 语言, C99, C11, malloc, free, 内存泄漏, 内存池, 指针运算, 段错误, segfault, Valgrind, gdb, pthread, POSIX 系统调用, 嵌入式, include 守卫, clang-tidy, Makefile] tags: [c, 研发, 内存管理, 指针, 系统编程, 嵌入式, 并发, 性能优化, posix] level: 精通 status: stable agents: [claude-code, codex, cursor, gemini-cli] tools: [gcc/clang, make, valgrind, gdb, clang-tidy, pthreads, CUnit] requires: [] related: [cpp-modern-pro, c-cpp-security-review, gdb-debugging-cli, arm-cortex-firmware-expert] combines_with: [gdb-debugging-cli, c-cpp-security-review] license: MIT source: sickn33/antigravity-awesome-skills source_license: MIT

何时使用

用 C99/C11 写系统级、嵌入式或高性能代码，需要手动管理内存且零泄漏时使用。
攻克 malloc/free 配平、内存池、指针运算与数据结构、POSIX 系统调用、pthread 并发，或用 Valgrind/gdb 排查崩溃与泄漏时使用。
触发词：C、malloc、free、指针、内存泄漏、段错误、Valgrind、pthread、嵌入式、内存池。

不该用的边界：

任务是 C++/Rust 或其他语言 → 转 cpp-modern-pro / rust-pro，C 与现代 C++ 惯用法（RAII、智能指针）截然不同。
只是查基础语法（for/struct 怎么写）→ 直接给语法，不必启用本技能的体系化方法。
环境无 C 工具链（gcc/clang、make）或目标不允许 C → 不适用。
纯崩溃/核心转储深挖 → 见 gdb-debugging-cli；纯内存安全审计 → 见 c-cpp-security-review。

步骤 / 指令

1. 明确约束：目标平台与标准（C99/C11）、运行时（裸机/RTOS/POSIX）、内存预算、是否多线程、是否允许动态分配。
2. 内存所有权先行：为每块堆内存指定唯一 owner，约定谁 malloc 谁 free；接口注释写明所有权转移（caller-frees / callee-frees）。
3. 防御式编码：检查所有返回值——尤其 malloc/calloc/realloc、open/read/write 等系统调用；失败路径走统一清理（goto cleanup 惯用法）。
4. 嵌入式/受限场景：尽量用内存池或静态分配替代频繁 malloc；最小化栈使用，避免大数组与深递归。
5. 实现 + 测试同步：单测用 CUnit 或同类；为每个分配/释放对写覆盖。
6. 过质量门：-Wall -Wextra 零告警；clang-tidy 静态分析；valgrind --leak-check=full 必须 0 泄漏、0 非法读写。
7. 仅在热点处优化：先 perf/gprof 剖析定位，再考虑缓存友好布局、减少分配；不要凭感觉提前优化。

核心规则：

每个 malloc 必有对应 free——分配与释放成对设计，realloc 失败要保住原指针不泄漏。
检查所有返回值，特别是 malloc 返回 NULL；系统调用失败查 errno 并处理。
free 后立即置 NULL，杜绝悬空指针与 double-free；不要 free 非堆指针。
用 static 分析（clang-tidy）+ 编译告警（-Wall -Wextra）当硬门禁；嵌入式下控制栈用量。
遵循 C99/C11；所有系统调用都要有错误处理。

示例

最小工程骨架与质量门（Makefile）：

CC      = gcc
CFLAGS  = -std=c11 -Wall -Wextra -O2 -g
TARGET  = app

$(TARGET): main.o
    $(CC) $(CFLAGS) -o $@ $^

memcheck: $(TARGET)
    valgrind --leak-check=full --show-leak-kinds=all --error-exitcode=1 ./$(TARGET)

tidy:
    clang-tidy main.c -- $(CFLAGS)

clean:
    rm -f *.o $(TARGET)

头文件守卫 + 清晰所有权注释：

#ifndef BUFFER_H
#define BUFFER_H
#include <stddef.h>

/* 返回堆分配的缓冲区；所有权转移给调用方，须 buffer_free 释放。失败返回 NULL。 */
char *buffer_new(size_t n);
void  buffer_free(char *buf);

#endif /* BUFFER_H */

检查返回值 + 统一清理（goto cleanup 惯用法）：

int load(const char *path, char **out) {
    int rc = -1;
    FILE *f = fopen(path, "rb");
    if (!f) return -1;                 /* 检查系统调用返回 */

    char *buf = malloc(4096);
    if (!buf) goto done;               /* 检查 malloc */

    if (fread(buf, 1, 4096, f) == 0) { free(buf); goto done; }
    *out = buf;                        /* 所有权交给调用方 */
    rc = 0;
done:
    fclose(f);
    return rc;
}

释放后置空，杜绝悬空指针 / double-free：

free(p);
p = NULL;   /* 之后误用即 NULL 解引用而非 use-after-free */

典型请求样例（可直接当提示词）：

「实现一个无泄漏的动态字符串，附 Valgrind 验证」
「用内存池替换嵌入式代码里的频繁 malloc」
「为这段 C 代码补全所有 malloc/系统调用的错误处理」
「用 pthread 写一个生产者-消费者队列，无数据竞争」

注意事项

别忽略 malloc/realloc 返回 NULL；realloc 失败时旧指针仍有效，直接覆盖原指针会泄漏。
double-free 与 use-after-free 是 C 的头号崩溃源——free 后立即置 NULL，且只 free 堆指针。
不要返回指向局部栈变量的指针；跨函数共享数据用堆分配并明确所有权。
嵌入式裸机慎用动态分配：优先内存池/静态缓冲，控制栈深，避免递归与大型 VLA。
多线程共享数据须加锁或用原子；pthread 资源（mutex/cond/thread）要配对销毁/join。
优化前先剖析（perf/gprof）定位真热点；-Wall -Wextra、clang-tidy、valgrind 三道门缺一不可。
输出不能替代环境内实测、编译与评审；缺关键约束（平台/标准/内存预算/线程模型）时先发问再动手。

互见

requires：无。
related：cpp-modern-pro（C++ 用 RAII/智能指针管理内存，与 C 手动管理形成对照，跨语言时切换）；gdb-debugging-cli（崩溃与核心转储深度调试，本技能聚焦写 C 本身，疑难现场转交它）；performance-profiler（系统化性能剖析与火焰图，深度调优转交它）。
combines_with：c-cpp-security-review（对 C 代码做缓冲区溢出、整数溢出、内存安全专项审计，补足 Valgrind 之外的漏洞治理）；bug-hunter（定位指针/内存类疑难 bug）；code-reviewer（C 代码写完后做正确性与质量审查）。

采编自 sickn33/antigravity-awesome-skills（源技能 c-pro，MIT 许可）。