简介这是一份面向C语言学习者的常用函数与头文件整理文档适合正在系统复习C语言基础、备战考试或从事嵌入式开发的读者。内容以函数库为主线覆盖ctype.h字符处理、math.h数学运算、stdio.h输入输出、stdlib.h实用工具、string.h字符串操作、time.h日期时间等核心模块并对每个函数的用途、所属头文件和调用场景做了分类说明便于按需查阅与快速定位。资源为docx格式共1个文件包体约29KB轻量便携可直接导入笔记软件或打印使用。目前已有234人学习下载。文档重点包括字符测试与转换函数、格式化输入输出、文件读写与定位、内存分配与随机数、可变参数宏、信号处理及非局部跳转等基本覆盖日常C编程的高频API对搭建个人函数速查手册、提升编码效率较有帮助。1. C语言标准库的真正价值不在“会用”而在“知道边界”写C的人大多有过这种经历strcpy一把梭程序跑得好好的直到某天线上数据一长栈直接被打穿printf想打印size_t编译器警告满天飞你还没意识到是%d和%zu的问题feof当循环条件用文件读完一遍多读了一行。这些问题的根源不是语法没背熟而是对标准库函数背后的约定、缓冲机制和未定义行为缺少系统梳理。这份文档把C语言常用头文件按“字符处理、数学计算、输入输出、内存管理、字符串操作”等类别拆开讲覆盖了ctype.h、stdio.h、stdlib.h、string.h、math.h、stdarg.h、signal.h、setjmp.h、time.h等十余个头文件。适合两类人一类是刚入门C、想把函数体系建立成知识树的初学者另一类是写了几年C但总在边界问题上栽跟头的工程师。前者能借此搭骨架后者能从参数约定和典型误用里排查隐患。下面按实际开发中“从字符处理到文件操作再到内存与跳转”这条主线展开。2. 字符分类与字符串处理ctype.h 与 string.h 里的坑比想象中多2.1 字符分类函数不是简单的 if-else而是查表ctype.h里的isalpha、isdigit、isspace这类函数很多人以为是(c a c z)的简写。其实标准库实现通常用一张静态查找表按字符的unsigned char值做索引直接返回位掩码比手写多条件判断快得多而且天然支持locale切换。使用时有一条硬性规则参数必须是unsigned char或EOF。如果直接传char在默认带符号的平台上\xFF会先被转成int -1再传给函数就变成未定义行为。常见的修法是先转成unsigned char#include ctype.h #include stdio.h int main(void) { char s[] A1 b!\n; for (int i 0; s[i] ! \0; i) { unsigned char c (unsigned char)s[i]; if (isalpha(c)) { printf(alpha: %c\n, s[i]); } else if (isdigit(c)) { printf(digit: %c\n, s[i]); } else if (isspace(c)) { printf(space: 0x%02X\n, s[i]); } } return 0; }这段代码先把每个字符转成unsigned char再交给isalpha规避了符号扩展带来的未定义行为。输出时isspace命中换行符\n打印为0x0A。实际调试时isprint、isgraph、ispunct三个函数最容易混淆isgraph不含空格isprint含空格ispunct要求“可显示且既不是字母也不是数字”等于isprint减去isalnum的结果。三者边界不同做文本清洗时要选对。toupper和tolower同样要传unsigned char并且只保证对isalpha为真的字符做转换传其他值返回原值。注意它们返回的是int不要直接赋给char再回来遇到EOF会丢信息。下表是文档里列举的字符测试函数按测试类别做了收敛函数测试内容典型返回值C localeisalnum字母或数字a、7为真isalpha字母A、z为真isdigit十进制数字0到9为真islower小写字母依赖localeisupper大写字母依赖localeisspace空白字符空格、\t、\n、\v、\f、\rispunct标点符号,、!为真isxdigit十六进制数字0-9、A-F、a-fiscntrl控制字符\0、\x1F为真注意isxdigit只认十六进制的数字和字母不认giscntrl在ASCII下是0x00到0x1F加上0x7F但C标准只说“控制字符”不同字符集下具体集合有差异。跨平台时不要硬编码范围判断。2.2 字符串拷贝与比较memcpy、memmove、strcpy 的选择逻辑字符串处理函数里strcpy/strncpy是缓冲区溢出的重灾区。strcpy不检查目标缓冲区长度源字符串比目标长就直接写穿。strncpy看似安全但有个反直觉行为如果源长度大于n它不会在目标末尾补\0如果源长度小于n它会把剩余位置全部填\0。所以strncpy(dst, src, sizeof(dst))在src刚好比dst长时dst不是C字符串后续strlen、printf(%s)都会越界读。memcpy和memmove的区别是很多面试常考题也是实际调试中容易忽略的点。C标准规定memcpy的源和目的不能重叠memmove允许重叠。区别不在实现效率而在语义保证memmove内部会判断地址前后关系必要时从后往前拷贝。当你要把数组后移一个位置时只能选memmove#include stdio.h #include string.h int main(void) { char buf[16] abcdef; // 把 buf[1] 到 buf[4] 整体后移一格到 buf[2] 到 buf[5] memmove(buf 2, buf 1, 4); printf(%s\n, buf); // aabcdf return 0; }这段代码演示了重叠拷贝源区间buf[1..4]和目标区间buf[2..5]重叠用memcpy是未定义行为memmove保证结果正确。输出aabcdf原b复制到buf[2]原c复制到buf[3]依此类推。比较函数里strcmp按unsigned char值比较不是按charstrncmp多一个长度参数。strcoll按当前locale的排序规则比较适用于多语言文本但性能比strcmp差一个量级非本地化场景不要用。strxfrm把字符串转换成适合strcmp比较的形式类似“预排序”适合需要大量重复比较的场景。memcmp按字节比较内存块不关心字符串终止符。2.3 strtok 与查找函数状态不是你想的那么简单strtok用静态内部缓冲区记录分割位置所以不可重入两个线程同时对不同字符串做分割会互相覆盖。多线程环境用strtok_rPOSIX或自己维护位置指针。strtok还会把分隔符替换成\0会修改原字符串传入字符串字面量直接崩溃。查找函数的选择看需求strchr查字符strrchr从尾部查字符strstr查子串memchr在指定长度内查字节。strchr对\0的处理容易踩坑——strchr(s, \0)返回指向字符串末尾的指针这可能是你要的结果也可能不是。做协议解析时推荐用memchr加显式长度避免依赖\0。3. 文件与流式输入输出stdio.h 的缓冲、定位与格式化3.1 fopen 模式与缓冲策略setvbuf 用在哪fopen的模式参数文档列得很全但实际编码时容易漏掉两点一是二进制模式下b标志在Windows下会影响\r\n转换在Linux下无效果二是追加模式a和a的文件定位行为C标准规定无论上次读到哪写操作前都会移到文件末尾fseek对a的读位置有效但对写位置无效。setvbuf和setbuf控制流的缓冲方式。默认情况下全缓冲适用于普通文件行缓冲适用于终端无缓冲适用于stderr。网络交互或日志场景里默认策略可能造成数据延迟或丢失#include stdio.h int main(void) { FILE *fp fopen(log.txt, w); if (fp NULL) { perror(fopen); return 1; } // 全缓冲缓冲区大小 4096 字节 setvbuf(fp, NULL, _IOFBF, 4096); fprintf(fp, important log\n); // 不调用 fclose 或 fflush这里数据可能在缓冲区内未落盘 fflush(fp); // 手动刷一次 fclose(fp); return 0; }setvbuf的第二个参数传NULL让库自动分配缓冲区第三个参数选_IOFBF全缓冲、_IOLBF行缓冲或_IONBF无缓冲第四个参数是缓冲区字节数。fflush(fp)把缓冲数据写入底层文件fclose内部也会做一次fflush。如果程序异常退出缓冲区数据会丢。文件访问函数里freopen不常被提及但用途很实用把标准输入输出重定向到文件典型场景是测试脚本中批量喂数据。fclose的返回值要检查因为延迟写错误只在关闭时暴露不检查等于吞掉磁盘满、权限变更等错误。3.2 格式化输入输出%zu 与 %s 的边界printf、fprintf、sprintf、snprintf这一族函数的区别只在前两个参数输出到哪、格式串是什么。真正容易出问题的是格式符与参数类型不匹配。size_t要用%zulong long用%lld指针用%p。64位平台上long是8字节但%ld和%zu混用仍然是未定义行为因为类型不匹配不保证按字节解释。snprintf比sprintf多一个缓冲区长度参数但返回值依然按完整长度计算如果截断则返回应写入的字符数不含\0。用snprintf再加个足够大的缓冲是常见做法但不能因为用了它就忽略返回值检查#include stdio.h int main(void) { char buf[8]; int n snprintf(buf, sizeof(buf), %s, hello world); if (n (int)sizeof(buf)) { fprintf(stderr, truncated, need %d bytes\n, n); } printf(buf %s\n, buf); return 0; }snprintf返回11缓冲区只存得下7个字符含\0截断后buf是hello w。判断n sizeof(buf)就知道是否被截断但注意sizeof(buf)是size_t无符号类型直接和n比较前要把n转成int或把sizeof转成size_t避免有符号和无符号比较的隐式转换问题。scanf家族的输入格式化更苛刻%s会跳过空白但不能读带空格的字符串读行要么用fgets要么用%[^\n]。%d遇到非数字字符时停止但坏字符留在输入流里下一轮循环可能死循环。正确的做法是每次scanf后检查返回值并清理残留#include stdio.h int main(void) { int n; char ch; while (scanf(%d, n) ! 1) { while ((ch getchar()) ! \n ch ! EOF) ; printf(invalid input, try again\n); } printf(got %d\n, n); return 0; }scanf返回成功赋值的参数个数返回0表示第一个参数就失败返回EOF表示输入流结束。清理残留用getchar读到换行或EOF否则坏字符永远堵在流里。gets在C11标准中被移除绝不要用fgets才是正解。3.3 文件定位fseek、ftell 与 fgetpos 的正确用法文件定位函数组里fseek和ftell用long表示文件偏移32位平台下long是4字节超过2GB的文件偏移会溢出。fgetpos和fsetpos用fpos_t类型不同平台可以是结构体适合超大文件。rewind等价于fseek(fp, 0L, SEEK_SET)加clearerr但很多人忘了后者。读取文件时feof的常见误用是当循环判断条件。feof只在“读操作遇到EOF之后”才返回真文件读到末尾但没执行读操作时它仍然返回假导致循环多执行一次。正确范式是#include stdio.h #include stdlib.h int main(void) { FILE *fp fopen(data.bin, rb); if (fp NULL) { perror(fopen); return 1; } fseek(fp, 0, SEEK_END); long size ftell(fp); fseek(fp, 0, SEEK_SET); unsigned char *buf malloc(size); if (buf NULL) { perror(malloc); fclose(fp); return 1; } size_t read_bytes fread(buf, 1, size, fp); if (read_bytes ! (size_t)size) { if (ferror(fp)) { perror(fread); } else { fprintf(stderr, unexpected EOF\n); } free(buf); fclose(fp); return 1; } printf(read %zu bytes\n, read_bytes); free(buf); fclose(fp); return 0; }这个例子先用fseek/ftell拿到文件大小再按大小分配缓冲然后用fread读完整文件。ferror区分“读错误”和“文件提前结束”perror输出系统错误信息。这套组合在二进制协议分析、配置解析里非常常用。注意fread(item, size, nmemb, fp)的参数含义——第二个参数是单个元素大小第三个是元素个数返回值是成功读取的元素个数不是字节数。4. 内存分配、可变参数与信号跳转stdlib.h、stdarg.h 与 setjmp.h4.1 内存管理malloc、calloc、realloc 的搭配原则stdlib.h里的内存函数是C程序生命周期管理的基础。malloc不初始化内存calloc初始化成全零realloc在扩大或缩小空间时尽量原地操作但不能保证。free释放后指针要置NULL否则二次释放是未定义行为。realloc有个经典陷阱必须用临时变量接收返回值不能直接p realloc(p, new_size)。如果realloc失败原指针仍然有效但未被释放直接覆盖p就丢掉了原来的地址造成泄漏#include stdio.h #include stdlib.h #include string.h int main(void) { char *p malloc(16); if (p NULL) return 1; strcpy(p, hello); // 错误写法失败后 p 变 NULL原内存丢失 // p realloc(p, 1024); // 正确写法先用临时指针接收 char *tmp realloc(p, 1024); if (tmp NULL) { perror(realloc failed); free(p); // 原指针仍然有效需要手动释放 return 1; } p tmp; printf(%s\n, p); free(p); return 0; }这段代码里realloc失败时返回NULL但原内存块还在tmp为NULL就不能直接覆盖p先释放原块再返回错误。realloc扩大空间时不保证新区域清零也不保证内容延续到新大小时的行为——内容按要求延续但超出的部分未定义。用realloc配合memset手动清零新区域是常规做法。内存分配的配对规则是malloc配freecalloc配freerealloc后返回的新指针配free。数组用calloc一次性分配比malloc加memset快因为calloc可能用mmap拿到零页省去显式清零。4.2 随机数与字符串转换种子、溢出与错误检测rand返回0到RAND_MAX之间的伪随机数RAND_MAX至少是32767但可以更大。srand设置种子常用time(NULL)作为种子但同一秒内多次调用rand序列完全一样——需要更细的熵源时用clock_gettime或getrandom。rand() % 100这种取余做法有模偏差当RAND_MAX不是100的整数倍时低段数字出现概率更高。消除偏差的常见写法是(int)(rand() / (RAND_MAX 1.0) * 100)。字符串转数值函数里atoi不检测错误输入非法时返回0无法区分“真的是0”和“转换失败”。strtol、strtoul、strtod提供错误检测和指针位置#include stdio.h #include stdlib.h #include errno.h int main(void) { const char *s 123abc; char *endptr; errno 0; long val strtol(s, endptr, 10); if (errno ERANGE) { perror(out of range); return 1; } if (endptr s) { printf(no digits found\n); } else { printf(parsed %ld, rest: %s\n, val, endptr); } return 0; }strtol第三个参数是进制10表示十进制0表示自动识别前缀0x十六进制、0八进制。返回后endptr指向第一个未参与转换的字符endptr s说明一个数字都没解析。errno配合ERANGE检测溢出大于LONG_MAX时返回LONG_MAX并设置errno。4.3 可变参数宏va_list 与自定义日志函数stdarg.h里的va_start、va_arg、va_end三个宏是printf家族的底层机制。va_start初始化va_list指向第一个可变参数va_arg按类型逐个取出va_end清理。类型不对齐是灾难比如调用方传int但va_arg按double取结果是未定义行为。实际项目中自定义日志函数是stdarg最典型的使用场景#include stdio.h #include stdarg.h void log_msg(const char *fmt, ...) { va_list args; va_start(args, fmt); vfprintf(stderr, fmt, args); va_end(args); fprintf(stderr, \n); } int main(void) { int code 42; log_msg(error code: %d, code); log_msg(user %s, level %d, alice, 3); return 0; }vfprintf接收va_list直接转发这样封装的日志函数可以接受任意格式和参数。关键点是va_start和va_end必须成对中间可以用多次va_arg取参数但不能跨函数调用传递va_list——除非函数参数类型是va_list且用va_copy复制。va_arg没有运行时类型检查格式串和实际参数不匹配时轻则乱码重则崩栈。4.4 信号处理与远程跳转signal、raise、setjmp 的适用边界signal和raise构成C标准库的信号机制。signal注册信号处理函数raise从当前进程发送信号。信号处理函数的限制很多只能调用异步信号安全函数write可以printf不行不能访问大多数全局状态。SIGSEGV、SIGFPE这类同步信号的处理要格外谨慎处理函数本身出错会再次触发信号形成死循环。setjmp和longjmp提供非局部跳转绕过了正常函数调用的栈回收。setjmp保存当前执行环境longjmp跳回保存点。这个机制常用于处理深层嵌套中的异常但代价是跳过栈帧后局部变量的值不再保证——哪些变量在longjmp后保留值取决于编译器volatile是唯一可靠的办法。实际工程中尽量少用longjmp它让资源释放路径变得非线性极易泄漏内存。atexit注册进程正常退出时调用的函数多个注册函数按逆序执行可以注册32个。abort发送SIGABRT并终止进程不执行atexit处理器也不刷新缓冲适合异常终止场景。exit会刷新stdio缓冲、执行atexit是正常退出路径。5. 用函数指针把 qsort、bsearch 和回调串成实战5.1 函数指针的定义与传递函数指针是C语言里把“函数”当数据传递的机制也是stdlib.h里qsort、bsearch和signal、atexit能工作的前提。声明语法容易绕晕从右往左读int (*cmp)(const void *, const void *)读作“cmp是指针指向一个接收两个const void *参数、返回int的函数”。去掉括号变成int *cmp(...)就成了返回int*的函数声明语义完全不同。用typedef把函数指针类型固化代码可读性大幅提升typedef int (*compare_fn)(const void *, const void *);这个类型声明表示compare_fn是“指向比较函数”的类型。给qsort传参时只要数组元素类型固定比较函数就能复用。5.2 用 qsort 排序结构体数组qsort是标准库提供的快速排序实现接口设计成void *任何类型都能排。代价是比较函数自己写类型转换。排序结构体数组时比较函数里要先转回结构体指针再取值#include stdio.h #include stdlib.h #include string.h typedef struct { int id; char name[32]; } user_t; static int cmp_by_id(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return (ua-id ub-id) - (ua-id ub-id); } static int cmp_by_name(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return strcmp(ua-name, ub-name); } int main(void) { user_t users[] { {3, alice}, {1, carol}, {2, bob} }; size_t n sizeof(users) / sizeof(users[0]); qsort(users, n, sizeof(user_t), cmp_by_id); for (size_t i 0; i n; i) { printf(%d %s\n, users[i].id, users[i].name); } printf(---\n); qsort(users, n, sizeof(user_t), cmp_by_name); for (size_t i 0; i n; i) { printf(%d %s\n, users[i].id, users[i].name); } return 0; }比较函数里用(a b) - (a b)而不是a - b是为了避免减法溢出。a - b在a是INT_MAX、b是INT_MIN时直接溢出行为未定义减号写法是安全替代。cmp_by_name直接复用strcmp注意strcmp的返回值不保证是-1和1可能是任意负数和正数但qsort只看正负零所以没问题。sizeof(users) / sizeof(users[0])是数组长度的标准写法类型是size_t传给qsort前要转成size_t避免隐式截断。5.3 用 bsearch 做有序查找bsearch要求在已排序数组上二分查找时间复杂度O(log n)。比较函数必须和排序时用的严格一致否则查找结果无意义。查找目标用临时变量包裹因为bsearch的key参数是const void *传结构体指针要显式转型#include stdio.h #include stdlib.h #include string.h typedef struct { int id; char name[32]; } user_t; static int cmp_by_id(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return (ua-id ub-id) - (ua-id ub-id); } int main(void) { user_t users[] { {1, alice}, {2, bob}, {3, carol} }; size_t n sizeof(users) / sizeof(users[0]); int target_id 2; user_t key {target_id, }; user_t *found bsearch(key, users, n, sizeof(user_t), cmp_by_id); if (found) { printf(found: %s\n, found-name); } else { printf(not found: %d\n, target_id); } return 0; }这里的坑是key只初始化了idname是空字符串比较函数只比id所以没问题。如果比较函数用到namekey就得完整构造。bsearch返回void *赋值给user_t *在C语言里允许隐式转换但C不允许C代码里为了类型安全也可显式转换。5.4 回调函数qsort、signal、atexit 的统一模式回调的本质是把函数指针作为参数传给另一个函数后者在特定时机调用它。qsort是同步回调排序过程中反复调用比较函数signal是异步回调信号到达时跳转到处理函数atexit是延迟回调进程退出时执行。三者的共同点是“注册函数指针等待触发”区别只在触发时机和上下文。写回调函数时有个通用原则不要在回调里做重操作。qsort的比较函数会被调用O(n log n)次如果每次比较都做磁盘IO性能直接崩。signal处理器里不能调printf因为printf不是异步信号安全函数。atexit回调里不要依赖已被exit清理的资源多条atexit按注册逆序执行清理顺序要自洽。最后给出一个实践建议拿到新的C代码库时先按头文件把函数归类整理再对每个函数标注“参数约束、返回值、错误标志、线程安全性”四列做一次头脑里的安全审计。这个方法比死记函数签名高效得多也能把strcpy这类高危函数挡在代码审查的门外。本文还有配套的精品资源点击获取 C语言标准库避坑指南：从字符处理到内存管理的边界问题
简介这是一份面向C语言学习者的常用函数与头文件整理文档适合正在系统复习C语言基础、备战考试或从事嵌入式开发的读者。内容以函数库为主线覆盖ctype.h字符处理、math.h数学运算、stdio.h输入输出、stdlib.h实用工具、string.h字符串操作、time.h日期时间等核心模块并对每个函数的用途、所属头文件和调用场景做了分类说明便于按需查阅与快速定位。资源为docx格式共1个文件包体约29KB轻量便携可直接导入笔记软件或打印使用。目前已有234人学习下载。文档重点包括字符测试与转换函数、格式化输入输出、文件读写与定位、内存分配与随机数、可变参数宏、信号处理及非局部跳转等基本覆盖日常C编程的高频API对搭建个人函数速查手册、提升编码效率较有帮助。1. C语言标准库的真正价值不在“会用”而在“知道边界”写C的人大多有过这种经历strcpy一把梭程序跑得好好的直到某天线上数据一长栈直接被打穿printf想打印size_t编译器警告满天飞你还没意识到是%d和%zu的问题feof当循环条件用文件读完一遍多读了一行。这些问题的根源不是语法没背熟而是对标准库函数背后的约定、缓冲机制和未定义行为缺少系统梳理。这份文档把C语言常用头文件按“字符处理、数学计算、输入输出、内存管理、字符串操作”等类别拆开讲覆盖了ctype.h、stdio.h、stdlib.h、string.h、math.h、stdarg.h、signal.h、setjmp.h、time.h等十余个头文件。适合两类人一类是刚入门C、想把函数体系建立成知识树的初学者另一类是写了几年C但总在边界问题上栽跟头的工程师。前者能借此搭骨架后者能从参数约定和典型误用里排查隐患。下面按实际开发中“从字符处理到文件操作再到内存与跳转”这条主线展开。2. 字符分类与字符串处理ctype.h 与 string.h 里的坑比想象中多2.1 字符分类函数不是简单的 if-else而是查表ctype.h里的isalpha、isdigit、isspace这类函数很多人以为是(c a c z)的简写。其实标准库实现通常用一张静态查找表按字符的unsigned char值做索引直接返回位掩码比手写多条件判断快得多而且天然支持locale切换。使用时有一条硬性规则参数必须是unsigned char或EOF。如果直接传char在默认带符号的平台上\xFF会先被转成int -1再传给函数就变成未定义行为。常见的修法是先转成unsigned char#include ctype.h #include stdio.h int main(void) { char s[] A1 b!\n; for (int i 0; s[i] ! \0; i) { unsigned char c (unsigned char)s[i]; if (isalpha(c)) { printf(alpha: %c\n, s[i]); } else if (isdigit(c)) { printf(digit: %c\n, s[i]); } else if (isspace(c)) { printf(space: 0x%02X\n, s[i]); } } return 0; }这段代码先把每个字符转成unsigned char再交给isalpha规避了符号扩展带来的未定义行为。输出时isspace命中换行符\n打印为0x0A。实际调试时isprint、isgraph、ispunct三个函数最容易混淆isgraph不含空格isprint含空格ispunct要求“可显示且既不是字母也不是数字”等于isprint减去isalnum的结果。三者边界不同做文本清洗时要选对。toupper和tolower同样要传unsigned char并且只保证对isalpha为真的字符做转换传其他值返回原值。注意它们返回的是int不要直接赋给char再回来遇到EOF会丢信息。下表是文档里列举的字符测试函数按测试类别做了收敛函数测试内容典型返回值C localeisalnum字母或数字a、7为真isalpha字母A、z为真isdigit十进制数字0到9为真islower小写字母依赖localeisupper大写字母依赖localeisspace空白字符空格、\t、\n、\v、\f、\rispunct标点符号,、!为真isxdigit十六进制数字0-9、A-F、a-fiscntrl控制字符\0、\x1F为真注意isxdigit只认十六进制的数字和字母不认giscntrl在ASCII下是0x00到0x1F加上0x7F但C标准只说“控制字符”不同字符集下具体集合有差异。跨平台时不要硬编码范围判断。2.2 字符串拷贝与比较memcpy、memmove、strcpy 的选择逻辑字符串处理函数里strcpy/strncpy是缓冲区溢出的重灾区。strcpy不检查目标缓冲区长度源字符串比目标长就直接写穿。strncpy看似安全但有个反直觉行为如果源长度大于n它不会在目标末尾补\0如果源长度小于n它会把剩余位置全部填\0。所以strncpy(dst, src, sizeof(dst))在src刚好比dst长时dst不是C字符串后续strlen、printf(%s)都会越界读。memcpy和memmove的区别是很多面试常考题也是实际调试中容易忽略的点。C标准规定memcpy的源和目的不能重叠memmove允许重叠。区别不在实现效率而在语义保证memmove内部会判断地址前后关系必要时从后往前拷贝。当你要把数组后移一个位置时只能选memmove#include stdio.h #include string.h int main(void) { char buf[16] abcdef; // 把 buf[1] 到 buf[4] 整体后移一格到 buf[2] 到 buf[5] memmove(buf 2, buf 1, 4); printf(%s\n, buf); // aabcdf return 0; }这段代码演示了重叠拷贝源区间buf[1..4]和目标区间buf[2..5]重叠用memcpy是未定义行为memmove保证结果正确。输出aabcdf原b复制到buf[2]原c复制到buf[3]依此类推。比较函数里strcmp按unsigned char值比较不是按charstrncmp多一个长度参数。strcoll按当前locale的排序规则比较适用于多语言文本但性能比strcmp差一个量级非本地化场景不要用。strxfrm把字符串转换成适合strcmp比较的形式类似“预排序”适合需要大量重复比较的场景。memcmp按字节比较内存块不关心字符串终止符。2.3 strtok 与查找函数状态不是你想的那么简单strtok用静态内部缓冲区记录分割位置所以不可重入两个线程同时对不同字符串做分割会互相覆盖。多线程环境用strtok_rPOSIX或自己维护位置指针。strtok还会把分隔符替换成\0会修改原字符串传入字符串字面量直接崩溃。查找函数的选择看需求strchr查字符strrchr从尾部查字符strstr查子串memchr在指定长度内查字节。strchr对\0的处理容易踩坑——strchr(s, \0)返回指向字符串末尾的指针这可能是你要的结果也可能不是。做协议解析时推荐用memchr加显式长度避免依赖\0。3. 文件与流式输入输出stdio.h 的缓冲、定位与格式化3.1 fopen 模式与缓冲策略setvbuf 用在哪fopen的模式参数文档列得很全但实际编码时容易漏掉两点一是二进制模式下b标志在Windows下会影响\r\n转换在Linux下无效果二是追加模式a和a的文件定位行为C标准规定无论上次读到哪写操作前都会移到文件末尾fseek对a的读位置有效但对写位置无效。setvbuf和setbuf控制流的缓冲方式。默认情况下全缓冲适用于普通文件行缓冲适用于终端无缓冲适用于stderr。网络交互或日志场景里默认策略可能造成数据延迟或丢失#include stdio.h int main(void) { FILE *fp fopen(log.txt, w); if (fp NULL) { perror(fopen); return 1; } // 全缓冲缓冲区大小 4096 字节 setvbuf(fp, NULL, _IOFBF, 4096); fprintf(fp, important log\n); // 不调用 fclose 或 fflush这里数据可能在缓冲区内未落盘 fflush(fp); // 手动刷一次 fclose(fp); return 0; }setvbuf的第二个参数传NULL让库自动分配缓冲区第三个参数选_IOFBF全缓冲、_IOLBF行缓冲或_IONBF无缓冲第四个参数是缓冲区字节数。fflush(fp)把缓冲数据写入底层文件fclose内部也会做一次fflush。如果程序异常退出缓冲区数据会丢。文件访问函数里freopen不常被提及但用途很实用把标准输入输出重定向到文件典型场景是测试脚本中批量喂数据。fclose的返回值要检查因为延迟写错误只在关闭时暴露不检查等于吞掉磁盘满、权限变更等错误。3.2 格式化输入输出%zu 与 %s 的边界printf、fprintf、sprintf、snprintf这一族函数的区别只在前两个参数输出到哪、格式串是什么。真正容易出问题的是格式符与参数类型不匹配。size_t要用%zulong long用%lld指针用%p。64位平台上long是8字节但%ld和%zu混用仍然是未定义行为因为类型不匹配不保证按字节解释。snprintf比sprintf多一个缓冲区长度参数但返回值依然按完整长度计算如果截断则返回应写入的字符数不含\0。用snprintf再加个足够大的缓冲是常见做法但不能因为用了它就忽略返回值检查#include stdio.h int main(void) { char buf[8]; int n snprintf(buf, sizeof(buf), %s, hello world); if (n (int)sizeof(buf)) { fprintf(stderr, truncated, need %d bytes\n, n); } printf(buf %s\n, buf); return 0; }snprintf返回11缓冲区只存得下7个字符含\0截断后buf是hello w。判断n sizeof(buf)就知道是否被截断但注意sizeof(buf)是size_t无符号类型直接和n比较前要把n转成int或把sizeof转成size_t避免有符号和无符号比较的隐式转换问题。scanf家族的输入格式化更苛刻%s会跳过空白但不能读带空格的字符串读行要么用fgets要么用%[^\n]。%d遇到非数字字符时停止但坏字符留在输入流里下一轮循环可能死循环。正确的做法是每次scanf后检查返回值并清理残留#include stdio.h int main(void) { int n; char ch; while (scanf(%d, n) ! 1) { while ((ch getchar()) ! \n ch ! EOF) ; printf(invalid input, try again\n); } printf(got %d\n, n); return 0; }scanf返回成功赋值的参数个数返回0表示第一个参数就失败返回EOF表示输入流结束。清理残留用getchar读到换行或EOF否则坏字符永远堵在流里。gets在C11标准中被移除绝不要用fgets才是正解。3.3 文件定位fseek、ftell 与 fgetpos 的正确用法文件定位函数组里fseek和ftell用long表示文件偏移32位平台下long是4字节超过2GB的文件偏移会溢出。fgetpos和fsetpos用fpos_t类型不同平台可以是结构体适合超大文件。rewind等价于fseek(fp, 0L, SEEK_SET)加clearerr但很多人忘了后者。读取文件时feof的常见误用是当循环判断条件。feof只在“读操作遇到EOF之后”才返回真文件读到末尾但没执行读操作时它仍然返回假导致循环多执行一次。正确范式是#include stdio.h #include stdlib.h int main(void) { FILE *fp fopen(data.bin, rb); if (fp NULL) { perror(fopen); return 1; } fseek(fp, 0, SEEK_END); long size ftell(fp); fseek(fp, 0, SEEK_SET); unsigned char *buf malloc(size); if (buf NULL) { perror(malloc); fclose(fp); return 1; } size_t read_bytes fread(buf, 1, size, fp); if (read_bytes ! (size_t)size) { if (ferror(fp)) { perror(fread); } else { fprintf(stderr, unexpected EOF\n); } free(buf); fclose(fp); return 1; } printf(read %zu bytes\n, read_bytes); free(buf); fclose(fp); return 0; }这个例子先用fseek/ftell拿到文件大小再按大小分配缓冲然后用fread读完整文件。ferror区分“读错误”和“文件提前结束”perror输出系统错误信息。这套组合在二进制协议分析、配置解析里非常常用。注意fread(item, size, nmemb, fp)的参数含义——第二个参数是单个元素大小第三个是元素个数返回值是成功读取的元素个数不是字节数。4. 内存分配、可变参数与信号跳转stdlib.h、stdarg.h 与 setjmp.h4.1 内存管理malloc、calloc、realloc 的搭配原则stdlib.h里的内存函数是C程序生命周期管理的基础。malloc不初始化内存calloc初始化成全零realloc在扩大或缩小空间时尽量原地操作但不能保证。free释放后指针要置NULL否则二次释放是未定义行为。realloc有个经典陷阱必须用临时变量接收返回值不能直接p realloc(p, new_size)。如果realloc失败原指针仍然有效但未被释放直接覆盖p就丢掉了原来的地址造成泄漏#include stdio.h #include stdlib.h #include string.h int main(void) { char *p malloc(16); if (p NULL) return 1; strcpy(p, hello); // 错误写法失败后 p 变 NULL原内存丢失 // p realloc(p, 1024); // 正确写法先用临时指针接收 char *tmp realloc(p, 1024); if (tmp NULL) { perror(realloc failed); free(p); // 原指针仍然有效需要手动释放 return 1; } p tmp; printf(%s\n, p); free(p); return 0; }这段代码里realloc失败时返回NULL但原内存块还在tmp为NULL就不能直接覆盖p先释放原块再返回错误。realloc扩大空间时不保证新区域清零也不保证内容延续到新大小时的行为——内容按要求延续但超出的部分未定义。用realloc配合memset手动清零新区域是常规做法。内存分配的配对规则是malloc配freecalloc配freerealloc后返回的新指针配free。数组用calloc一次性分配比malloc加memset快因为calloc可能用mmap拿到零页省去显式清零。4.2 随机数与字符串转换种子、溢出与错误检测rand返回0到RAND_MAX之间的伪随机数RAND_MAX至少是32767但可以更大。srand设置种子常用time(NULL)作为种子但同一秒内多次调用rand序列完全一样——需要更细的熵源时用clock_gettime或getrandom。rand() % 100这种取余做法有模偏差当RAND_MAX不是100的整数倍时低段数字出现概率更高。消除偏差的常见写法是(int)(rand() / (RAND_MAX 1.0) * 100)。字符串转数值函数里atoi不检测错误输入非法时返回0无法区分“真的是0”和“转换失败”。strtol、strtoul、strtod提供错误检测和指针位置#include stdio.h #include stdlib.h #include errno.h int main(void) { const char *s 123abc; char *endptr; errno 0; long val strtol(s, endptr, 10); if (errno ERANGE) { perror(out of range); return 1; } if (endptr s) { printf(no digits found\n); } else { printf(parsed %ld, rest: %s\n, val, endptr); } return 0; }strtol第三个参数是进制10表示十进制0表示自动识别前缀0x十六进制、0八进制。返回后endptr指向第一个未参与转换的字符endptr s说明一个数字都没解析。errno配合ERANGE检测溢出大于LONG_MAX时返回LONG_MAX并设置errno。4.3 可变参数宏va_list 与自定义日志函数stdarg.h里的va_start、va_arg、va_end三个宏是printf家族的底层机制。va_start初始化va_list指向第一个可变参数va_arg按类型逐个取出va_end清理。类型不对齐是灾难比如调用方传int但va_arg按double取结果是未定义行为。实际项目中自定义日志函数是stdarg最典型的使用场景#include stdio.h #include stdarg.h void log_msg(const char *fmt, ...) { va_list args; va_start(args, fmt); vfprintf(stderr, fmt, args); va_end(args); fprintf(stderr, \n); } int main(void) { int code 42; log_msg(error code: %d, code); log_msg(user %s, level %d, alice, 3); return 0; }vfprintf接收va_list直接转发这样封装的日志函数可以接受任意格式和参数。关键点是va_start和va_end必须成对中间可以用多次va_arg取参数但不能跨函数调用传递va_list——除非函数参数类型是va_list且用va_copy复制。va_arg没有运行时类型检查格式串和实际参数不匹配时轻则乱码重则崩栈。4.4 信号处理与远程跳转signal、raise、setjmp 的适用边界signal和raise构成C标准库的信号机制。signal注册信号处理函数raise从当前进程发送信号。信号处理函数的限制很多只能调用异步信号安全函数write可以printf不行不能访问大多数全局状态。SIGSEGV、SIGFPE这类同步信号的处理要格外谨慎处理函数本身出错会再次触发信号形成死循环。setjmp和longjmp提供非局部跳转绕过了正常函数调用的栈回收。setjmp保存当前执行环境longjmp跳回保存点。这个机制常用于处理深层嵌套中的异常但代价是跳过栈帧后局部变量的值不再保证——哪些变量在longjmp后保留值取决于编译器volatile是唯一可靠的办法。实际工程中尽量少用longjmp它让资源释放路径变得非线性极易泄漏内存。atexit注册进程正常退出时调用的函数多个注册函数按逆序执行可以注册32个。abort发送SIGABRT并终止进程不执行atexit处理器也不刷新缓冲适合异常终止场景。exit会刷新stdio缓冲、执行atexit是正常退出路径。5. 用函数指针把 qsort、bsearch 和回调串成实战5.1 函数指针的定义与传递函数指针是C语言里把“函数”当数据传递的机制也是stdlib.h里qsort、bsearch和signal、atexit能工作的前提。声明语法容易绕晕从右往左读int (*cmp)(const void *, const void *)读作“cmp是指针指向一个接收两个const void *参数、返回int的函数”。去掉括号变成int *cmp(...)就成了返回int*的函数声明语义完全不同。用typedef把函数指针类型固化代码可读性大幅提升typedef int (*compare_fn)(const void *, const void *);这个类型声明表示compare_fn是“指向比较函数”的类型。给qsort传参时只要数组元素类型固定比较函数就能复用。5.2 用 qsort 排序结构体数组qsort是标准库提供的快速排序实现接口设计成void *任何类型都能排。代价是比较函数自己写类型转换。排序结构体数组时比较函数里要先转回结构体指针再取值#include stdio.h #include stdlib.h #include string.h typedef struct { int id; char name[32]; } user_t; static int cmp_by_id(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return (ua-id ub-id) - (ua-id ub-id); } static int cmp_by_name(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return strcmp(ua-name, ub-name); } int main(void) { user_t users[] { {3, alice}, {1, carol}, {2, bob} }; size_t n sizeof(users) / sizeof(users[0]); qsort(users, n, sizeof(user_t), cmp_by_id); for (size_t i 0; i n; i) { printf(%d %s\n, users[i].id, users[i].name); } printf(---\n); qsort(users, n, sizeof(user_t), cmp_by_name); for (size_t i 0; i n; i) { printf(%d %s\n, users[i].id, users[i].name); } return 0; }比较函数里用(a b) - (a b)而不是a - b是为了避免减法溢出。a - b在a是INT_MAX、b是INT_MIN时直接溢出行为未定义减号写法是安全替代。cmp_by_name直接复用strcmp注意strcmp的返回值不保证是-1和1可能是任意负数和正数但qsort只看正负零所以没问题。sizeof(users) / sizeof(users[0])是数组长度的标准写法类型是size_t传给qsort前要转成size_t避免隐式截断。5.3 用 bsearch 做有序查找bsearch要求在已排序数组上二分查找时间复杂度O(log n)。比较函数必须和排序时用的严格一致否则查找结果无意义。查找目标用临时变量包裹因为bsearch的key参数是const void *传结构体指针要显式转型#include stdio.h #include stdlib.h #include string.h typedef struct { int id; char name[32]; } user_t; static int cmp_by_id(const void *a, const void *b) { const user_t *ua a; const user_t *ub b; return (ua-id ub-id) - (ua-id ub-id); } int main(void) { user_t users[] { {1, alice}, {2, bob}, {3, carol} }; size_t n sizeof(users) / sizeof(users[0]); int target_id 2; user_t key {target_id, }; user_t *found bsearch(key, users, n, sizeof(user_t), cmp_by_id); if (found) { printf(found: %s\n, found-name); } else { printf(not found: %d\n, target_id); } return 0; }这里的坑是key只初始化了idname是空字符串比较函数只比id所以没问题。如果比较函数用到namekey就得完整构造。bsearch返回void *赋值给user_t *在C语言里允许隐式转换但C不允许C代码里为了类型安全也可显式转换。5.4 回调函数qsort、signal、atexit 的统一模式回调的本质是把函数指针作为参数传给另一个函数后者在特定时机调用它。qsort是同步回调排序过程中反复调用比较函数signal是异步回调信号到达时跳转到处理函数atexit是延迟回调进程退出时执行。三者的共同点是“注册函数指针等待触发”区别只在触发时机和上下文。写回调函数时有个通用原则不要在回调里做重操作。qsort的比较函数会被调用O(n log n)次如果每次比较都做磁盘IO性能直接崩。signal处理器里不能调printf因为printf不是异步信号安全函数。atexit回调里不要依赖已被exit清理的资源多条atexit按注册逆序执行清理顺序要自洽。最后给出一个实践建议拿到新的C代码库时先按头文件把函数归类整理再对每个函数标注“参数约束、返回值、错误标志、线程安全性”四列做一次头脑里的安全审计。这个方法比死记函数签名高效得多也能把strcpy这类高危函数挡在代码审查的门外。本文还有配套的精品资源点击获取