大家都知道 C 语言里指针是重点也是难点但重点和难点这两个词其实很空。真正让人卡住的往往不是指针本身的语法而是缺乏一个能把这些零散知识点串起来的实际任务。我当年在学《C 语言程序设计第四版》何钦铭、颜晖主编第十一章指针进阶时就是卡在了一堆概念上指针数组、指向指针的指针、字符串与指针的关系……说实话光看书都能看懂但一写代码就不知道从哪下手。后来是把字符串连接这道题反复做了七八遍才把这一章的内容真正串了起来。这篇文章就想以字符串连接为主线把指针进阶里那些最容易混淆、最值得抠的细节一次讲透。字符串连接这个任务放在第十一章而不是更早的章节是有道理的。前面几章你可能已经用数组写过字符串拼接了但那时候你用的大概率是数组下标思维到了指针进阶教材希望你把实现方式从数组切到指针并且能说清楚这两种写法在内存层面究竟差在哪里。字符串连接这个任务虽然短但它同时涉及字符串定位、字符搬运、结尾处理、边界条件、内存安全几乎涵盖了指针操作字符串的所有核心场景。你要是能把一个 strcat 从头到尾用指针写明白第十一章里后面那些概念回头看会顺畅很多。我见过不少人学到这一章时会写一个能跑但经不起问的版本代码能输出正确结果但你要是问他为什么目标数组必须足够大为什么函数要返回 char *如果源字符串和目的字符串是同一个数组会怎样他就答不上来了。这篇文章会把这些问题一个个拆开不光是给代码还给内存图给排查思路给我在实际调试中踩过的坑。适合刚学完指针基础、正在啃指针进阶的读者也适合已经工作但想把 C 语言底层基本功重新夯实的人。1. 字符串连接这道题为什么会放在指针进阶而不是数组章节1.1 从数组下标思维到指针算术思维的跳跃很多初学者会奇怪字符串连接不就是把第二个字符串的内容追加到第一个字符串后面吗用数组下标完全可以实现为什么教材非要到指针进阶这一章才拿出来细致讨论原因是数组下标写法在解决已知长度的字符串连接时很直观但当字符串长度不定、内存区域复用、函数需要返回操作后地址等场景出现时下标思维就很容易写出一堆问题代码。指针进阶的核心目标是让你从我按下标依次访问元素升级为我知道元素的地址可以通过指针移动来遍历内存这两种写法表面上能达到同样效果但底层逻辑完全不同。举个例子下面这两行代码在功能上是等价的str[i] A; *(str i) A;但从编译器的角度看str[i]本质上就是*(str i)的语法糖。下标写法把移动指针再解引用这个过程隐藏了指针写法把这个过程显式地写出来。第十一章安排在数组之后就是要让你逐渐摆脱靠下标感觉的舒适区用靠地址计算的方式思考问题。而字符串连接恰好同时涉及找到目标字符串的结尾和逐个复制字符这两个操作前者可以练指针比较和条件判断后者可以练指针自增和解引用是练习指针算术最好的载体没有之一。1.2 完整字符串连接要经历哪三个阶段把一个 strcat 拆开看其实只有三个阶段定位、搬运、收尾。但每个阶段都有坑。定位阶段需要找到目标字符串的终止符\0所在的位置。这是很多人写错的第一步——直接用strlen(dest)获取长度然后下标定位到dest[strlen(dest)]。这样也行但意味着你要遍历两次字符串第一次数长度第二次才开始复制。指针写法可以在一次遍历里完成定位效率更高。搬运阶段把源字符串的字符逐个复制到目标位置包括最后的\0。这一步最容易被忽略的是你不仅要复制可见字符还必须复制字符串结束符。如果漏了结尾的\0函数返回后调用方用printf(%s, dest)打印时会一路读到内存里的随机数据直到运气好碰到一个 0 才停下来表现就是输出后面跟了一堆乱码。收尾阶段返回目标字符串的首地址。这个返回值不是可有可无的它让用户可以把多次连接嵌套起来写比如strcat(strcat(a, b), c)。这个设计思路在标准库函数里很常见理解它对你后面看其他库函数源码会有帮助。2. 从零手写 strcat下标版到指针版的演进以及每一步的内存视角2.1 下标版先跑通功能再问自己还能怎么写很多教材或习题会让读者自己实现一个字符串连接函数如果你还处于下标思维通常会写成这样#include stdio.h void my_strcat(char dest[], const char src[]) { int i 0, j 0; while (dest[i] ! \0) { i; } while (src[j] ! \0) { dest[i] src[j]; i; j; } dest[i] \0; } int main() { char str1[20] Hello ; char str2[] World; my_strcat(str1, str2); printf(%s\n, str1); return 0; }我建议你写完之后画一张这次操作的内存布局图str1占了多少字节str2占了多少字节i和j分别是多少堆栈上有哪些变量。这个画图的过程比代码本身更有价值。等你能把内存图画明白再往指针版本走。下标版正确是正确但它有两个问题第一它遍历了目标字符串两次第一次数长度、第二次复制源字符串的开头可以从目标字符串的遍历结果中直接取到位置但实际上下标版是把找末尾和复制分成了两个完全独立的循环第二个循环又从头开始效率上不如指针版一个循环边判断边移动第二它没有返回值不便于链式调用。这两个问题正好是指针版要解决的。2.2 指针版*to *from这行代码到底发生了什么下面是指针进阶章节最经典的 strcat 实现char *my_strcat(char *dest, const char *src) { char *ret dest; while (*dest ! \0) { dest; } while ((*dest *src) ! \0) { ; } return ret; }很多初学者看到第二个循环就懵了*dest *src是什么意思为什么循环体是空的我用通俗的方式拆一下。*dest和*src的优先级是这样的的优先级高于*但由于是后缀形式所以它先返回变量当前值再做自增。因此*dest等价于*(dest)意思是取出 dest 当前指向的位置把 dest 向后移动一格然后对取出的位置进行解引用。用生活类比就像你排队取餐先看自己现在站在哪个窗口记住这个窗口然后往前挪一步最后把手里拿到的餐放到刚才记住的那个窗口上。所以*dest *src的完整执行顺序是取出dst当前指向的地址把它作为赋值的目标位置dst自增指向下一个存储单元取出src当前指向的地址读取该地址上的字符src自增指向源字符串的下一个字符把第 3 步读到的字符赋给第 1 步记下的目标位置整个赋值表达式的结果值就是被赋进去的那个字符把第 6 步的结果和\0比较决定循环是否继续。这七步在一行 C 代码里全部完成了。如果你之前不理解为什么循环体可以写成空语句现在应该明白了判断条件和赋值副作用都在条件表达式里完成了。这种写法紧凑但如果你是在团队项目里工作我建议还是拆成多行并加上注释否则维护的人包括三个月后的你自己会看得头大。2.3 面试和考试喜欢问的细节函数签名、const、返回值和空指针教材和标准库的strcat原型是char *strcat(char *dest, const char *src);为什么要用const char *src而不是char *src因为函数承诺不会修改源字符串的内容。这个const不只是给编译器看的也是给读代码的人看的。你以后写自己的库函数时只要某个参数是只读的就应该加const这是接口设计的好习惯。为什么要返回char *前面说了为了链式调用。但还有一层原因strcat的返回值是dest的原始值不是操作结束后的指针。这一点很容易被忽略。如果你写成char *my_strcat(char *dest, const char *src) { while (*dest ! \0) dest; while ((*dest *src) ! \0) ; return dest; // 错误返回的是目标字符串末尾 }函数返回后你拿到的指针指向的是连接后字符串的\0位置而不是开头。printf 直接用它输出什么都打不出来。标准库返回原始值正是为了避免这种错误同时让返回目标字符串这个语义更稳定。还有一个重要问题如果dest或src传入的是空指针程序会崩溃。标准库的strcat没有对此做检查因为 C 语言的设计哲学是信任调用者。你自己实现时可以加一层判断if (dest NULL || src NULL) { return dest; }但对于一个教学函数我认为不加也行反而能让你记住调用任何 C 字符串函数前必须确保指针有效。这个教训我在后面讲调试时会再提。3. 字符数组与字符指针为什么有人写char *p ...然后连接就崩了3.1 字符串字面量、字符数组、字符指针三者的内存位置差异这一节是本章最容易出现事故的地方几乎每次上机课都有人在这里把程序写崩溃。看下面三个定义char str1[] Hello; char *str2 Hello; const char *str3 Hello;str1是一个字符数组大小为 6 字节五个字符加一个\0它存储在栈上或者静态存储区取决于你声明的位置。数组名str1代表这个数组首元素的地址你可以修改str1中的内容比如str1[0] h;。str2是一个指向字符的指针它指向的是字符串字面量Hello。问题在于字符串字面量在内存中通常存放在只读区很多编译器放在 .rodata 段。你试图通过str2修改它比如str2[0] h;在现代编译器和操作系统上往往会直接触发段错误程序崩溃。str3加了一个const明确告诉编译器我不打算修改它。这是最安全的一种写法推荐在只读使用场景下采用。回到字符串连接如果你写成下面这样程序大概率崩char *dest Hello ; char *src World; strcat(dest, src); // 试图向只读区追加字符为什么因为dest指向的是一个字符串字面量它处在只读区而且Hello 后面那块内存是什么并没有保证可能紧接着是其他只读数据。strcat 要往那里写World操作系统直接拒绝。这个场景我在答疑时见过不下二十次几乎所有初学者都会踩一次。正确做法是给目标字符串预留足够的可写空间char dest[20] Hello ; char src[] World; strcat(dest, src);3.2 追加字符串的边界条件目标缓冲区必须大到能放下两个字符串加一个结束符缓冲区大小问题比只读区更难排查。因为很多时候程序不崩溃但行为诡异。举个例子char dest[10] Hello ; char src[] World; strcat(dest, src);Hello 占 6 字节加上 World 占 5 字节再加结尾的\0一共需要 12 字节但dest只有 10 字节。strcat 会继续往后写覆盖掉dest数组之后栈上其他变量的内存。C 语言数组不检查越界所以它成功了但后果无法预料可能覆盖了相邻变量、可能破坏了栈帧、可能程序运行到很后面才崩溃。这就是典型的缓冲区溢出。备考或者刷题时你只需要记住一个公式目标缓冲区可用长度 目标字符串当前长度 源字符串长度 1多出来的 1 给\0用更严谨的说法dest指向的内存区域必须能够容纳连接后的完整字符串包括结束符。判断是否越界用sizeof(dest)不行因为一旦dest作为函数参数传入它退化成指针sizeof只能得到指针大小通常 8 字节拿不到数组长度。这也是为什么很多库函数要额外接收一个缓冲区大小参数比如 Windows 的strcat_s或者你可以在自己的函数里传入dest_capacity。3.3 数组名和指针真的等价吗教材里常出现数组名就是指针这种简化的说法但到了指针进阶阶段这句话必须打折理解。数组名arr在大多数表达式中会退化decay为一个指向首元素的指针这是它和指针相似的地方。但有两个场景它们完全不同第一个是sizeof。sizeof(arr)返回整个数组的字节数而sizeof(ptr)只返回指针本身的字节数。第二个是取地址。arr的类型是指向整个数组的指针也就是char (*)[N]而ptr是指向指针的指针也就是char **。这两者不是一回事。如果你定义了一个char arr[20]然后在函数里试图用char **p arr;编译器直接报错因为类型不匹配。正确做法是char (*p)[20] arr;这才是指向数组的指针。在字符串连接这道题里函数参数char *dest和调用时的char dest[20]之间的转换背后就是退化规则。你传入数组名时编译器自动把数组名转换成指向首元素的指针函数内部拿到的是一个指针副本不是数组本身。这也解释了为什么在函数里对dest做自增操作不会影响调用方的数组名——你改的是指针形参的副本不是数组本身。理解这一点你就不会写出怎么函数返回后我的 dest 指针不移动这种疑问了。4. 从连接两个字符串到管理一堆字符串指针数组与二级指针4.1 用指针数组保存多条字符串第十一章指针进阶里字符串和指针结合的下一个层次是用指针数组来管理多条字符串。比如char *keywords[] { C Language, Pointer, String, Function };这里的keywords是一个数组每个元素都是char *指向一个字符串字面量。注意这四条字符串本身的长度各不相同但keywords数组的大小固定是 4 个指针元素在 64 位系统上是 32 字节。这种结构的好处是比起char keywords[4][30]这种二维数组指针数组不需要为每条字符串预留同样大的空间内存利用率更高但坏处是这些字符串字面量其实不可修改你只能读它们不能原地写。如果你想对keywords里的字符串进行排序或者拼接就需要把可写内容复制到自己的缓冲区里。下面的代码演示了如何用二维字符数组 strcat实现多段文本拼接#include stdio.h #include string.h int main() { char buf[128] {0}; const char *parts[] {Hello, , , world, !}; int n sizeof(parts) / sizeof(parts[0]); for (int i 0; i n; i) { if (strlen(buf) strlen(parts[i]) 1 sizeof(buf)) { printf(缓冲区空间不足操作终止\n); return 1; } strcat(buf, parts[i]); } printf(%s\n, buf); return 0; }这段代码里有几个值得注意的细节buf[128]初始化为全 0这保证即使你不主动设置\0它也是空字符串拼接之前判断剩余空间是防止缓冲区溢出的关键一步sizeof(parts) / sizeof(parts[0])是数组元素个数的经典求法但只适用于数组本身不适用于函数参数里退化的数组形参。4.2 二级指针作为函数参数实现一个通用的字符串连接处理器指针数组升级一步就是二级指针。假设你要写一个函数把多条字符串拼接起来并且希望函数内部能修改传入的指针数组比如先排序、再连接这时参数就要用二级指针#include stdio.h #include string.h #include stdlib.h char *concat_all(char **strs, int n) { int total 1; // 预留一个字节给结束符 for (int i 0; i n; i) { total strlen(strs[i]); } char *result (char *)malloc(total); if (result NULL) { return NULL; } result[0] \0; for (int i 0; i n; i) { strcat(result, strs[i]); } return result; } int main() { char *words[] {Pointer, Advanced, String, Concat}; char *joined concat_all(words, 4); if (joined ! NULL) { printf(%s\n, joined); free(joined); } return 0; }char **strs这个参数你可以这样理解strs指向一个数组数组里每个元素是char *。也就是指针的指针。在这个函数里strs[i]取出的是一条字符串的首地址strlen(strs[i])算出这条字符串的长度。二级指针在这里的意义是你传入的是一个指针数组的首地址而数组首地址本身也是一个指针所以需要两层指针来引用它。一个常见错误是把char **strs和char *strs[]混用。在绝大多数情况下作为函数参数它们等价因为数组形参也会退化成指针。但在定义变量时char **strs是一个二级指针变量char *strs[]是一个指针数组变量两者不同。你可以这样记函数参数里写char **strs还是char *strs[]编译器都会把后者调整成前者但你自己定义变量时它们不通用。4.3 动态内存版连接函数malloc、realloc 与内存释放上面的concat_all用malloc一次性分配了足够的空间。这种方法有个局限性如果调用方不知道总长度或者后续还要继续追加字符串就需要用realloc动态扩容。一个简单的可追加字符串工具函数长这样char *append_string(char *dest, const char *src) { if (dest NULL) { dest (char *)malloc(strlen(src) 1); if (dest) strcpy(dest, src); return dest; } size_t new_len strlen(dest) strlen(src) 1; char *temp (char *)realloc(dest, new_len); if (temp NULL) { return NULL; // 注意扩容失败时 dest 仍然有效但 temp 为 NULL } strcat(temp, src); return temp; }你得特别注意realloc的语义如果内存分配失败返回NULL但原来的内存块不会被释放。所以正确做法是先把返回值存到一个临时指针里判断非空后再赋给原来的指针绝对不要直接写成dest realloc(dest, new_len)。一旦 realloc 失败dest被置成 NULL原来的内存地址就找不到了会造成内存泄漏而且后续操作全乱套。内存释放也是必须考虑的问题。每次malloc或realloc得到的内存用完都应该free。在main函数里调用完concat_all后要记得释放返回的内存如果你调用append_string追加了很多次最后同样要释放。指针进阶考试中运行时崩溃很多就是因为忘了 free 或重复 free。5. 字符串连接最常见的 Bug以及我实际调试时用的三步定位法5.1 症状一程序编译通过一运行就崩溃这种崩溃最常见的原因就是我前面提到的目标字符串指向字符串字面量。表现形式是char *a Hello ; char *b World; strcat(a, b);在 Linux 上用 gcc 编译运行时通常出现Segmentation fault。在 Windows 上如果你用 VS 或 CodeBlocks可能弹出一个程序已停止工作的对话框。我的定位方法很土但极有效在 strcat 前后各加一个 printf打桩观察。如果前面能打印、后面崩了说明问题就出在这个函数调用上。这时候再检查目标指针是否指向可写内存十有八九能找到原因。5.2 症状二输出结果后面有乱码如果你能看到连接后的内容但后面跟着不明字符通常是目标缓冲区没有正确设置结束符。比如你手写连接逻辑时只搬运了可见字符忘了最后加\0。定位方法在输出前用调试器查看dest的字节内容。以 gdb 为例gdb ./a.out (gdb) break main (gdb) run (gdb) x/20bx destx/20bx命令可以让你直接查看dest地址开始的 20 个字节。你数一下如果第 11 个字节不是 0说明结束符确实丢了。另一个办法是干脆用memset(dest, 0, sizeof(dest))先把整个缓冲区清空这样即使你漏写了结束符字符串也会在缓冲区末尾自然终止问题不会暴露。不过这只是缓解手段根本办法还是每次写字符串后都要记得收尾。5.3 症状三函数返回后原来的指针不走了有个同学问过我一个问题为什么my_strcat(dest, src)执行完后dest没有指向连接后的字符串末尾我让他看函数原型里面char *dest传的是指针的值不是指针的引用。函数内部对dest自增改变的是形参副本的值不影响调用方的实参。如果你希望函数内部移动指针后调用方也能感知就必须传入char **dest然后在函数内部用*dest去操作。举个例子void move_to_end(char **p) { while (**p ! \0) { (*p); } }调用时写move_to_end(ptr);这样才能改变调用方的ptr。这个知识点在第十一章后面链表、树的部分也会反复用到值得现在就彻底搞清楚。5.4 工具链辅助gdb、printf、AddressSanitizer 的组合使用平时我调试字符串相关代码首选的不是 IDE 的图形化调试器而是 gdb 加 printf 加编译器的地址消毒器AddressSanitizer简称 ASan。ASan 的使用非常简单编译时加一个参数就行了gcc 或 clanggcc -g -fsanitizeaddress -fno-omit-frame-pointer -o test test.c ./test如果你有越界读写或者使用了已释放内存ASan 会给出非常详细的报告包括是哪个线程、哪一行代码、访问了什么地址、这个地址周围是什么。它在定位缓冲区溢出问题上比任何手打 printf 都高效。一个建议是只要在开发阶段都把这个选项开着等代码稳定了再关掉。字节序、内存对齐这类问题虽然不在字符串连接的范围里但 ASan 这个工具以后写 C 代码都用得上。6. 教材之外我建议你动手练的几道配套练习6.1 自己实现一个带安全边界的 strcat_safe教材里的 strcat 没有容量参数也就无法做边界检查。你可以自己定义int strcat_safe(char *dest, size_t dest_size, const char *src)返回值用 0 表示成功-1 表示失败。函数内部先计算dest已有长度和src长度如果两者之和加 1 超过dest_size直接返回 -1不执行任何写入。这个练习的价值在于让你从功能实现升级到接口设计理解为什么现代 C 标准库要推出一系列_s后缀的安全函数。6.2 用指针方式实现字符串逆序字符串逆序是 PTA 上非常常见的练习题网上搜C语言字符串逆序 PTA能搜到一大把。但它和字符串连接结合起来的练习更有意思先连接两个字符串再对结果做原地逆序。这个练习能同时练到指针移动和交换字符两个操作。核心伪代码void reverse(char *str) { char *left str; char *right str strlen(str) - 1; while (left right) { char temp *left; *left *right; *right-- temp; } }注意left right这个判断条件是靠指针比较实现的不能当作整数比较。C 标准里指向同一个数组内元素的指针才能用关系运算符比较这里的 left 和 right 指向同一个字符串数组的不同元素符合规则。6.3 用文件读写练字符串拼接的完整落地光在内存里拼接字符串总觉得少了点实际场景。我建议你做一个练习从一个文本文件读取多行内容把它们按顺序拼接成一个长字符串前两行之间用逗号分隔最后把结果写入另一个文件。这个题目在网上搜索c语言文件读写操作代码能找到很多参考但关键是你要自己动手把字符串连接和fopen、fgets、fputs或fprintf组合起来用。这里有一个容易踩的坑fgets会把换行符也读进缓冲区。如果你不做处理直接拼接得到的长字符串中间会夹杂着换行。处理方式是line[strcspn(line, \n)] \0;strcspn(line, \n)返回line中第一个\n的下标把那个位置替换成\0就把换行符去掉了。这个技巧可以说是文件行读取中最常用的处理之一比手动循环查找换行符省事得多。6.4 VS Code 环境配置对学指针的帮助很多初学者在 Windows 上用 VS Code 学 C但只配了编译没配调试导致出了 Bug 只能瞎猜。建议把 VS Code 的 C/C 扩展装好学会在launch.json里调用 gdb 或 lldb并且熟练使用添加监视功能实时查看指针变量的值和它指向的内容。具体配置方法网上搜vscode c语言环境配置有很多教程我这里只提醒三点第一tasks.json里编译命令要加-g选项否则没有调试符号断点和监视都无法正常工作。第二调试时要在监视窗口输入*(char (*)[20])dest这样的类型转换表达式才能完整查看一个 20 字节数组的内容直接看 dest 只能看到第一个字符。第三如果使用 VSCode 的集成终端运行程序遇到中文编码问题往往是终端代码页和源文件编码不一致可以在设置里把terminal.integrated.profiles.windows的编码调成 UTF-8或在tasks.json里加-fexec-charsetUTF-8。这些环境细节属于必要但不紧急的内容但它对你的学习效率影响非常大。我在带了几年新生之后发现指针学得好的学生往往不是智商多高而是能熟练使用调试器能在崩溃的第一时间看到调用栈和变量值能快速从现象跳到原因。这才是程序设计的核心能力。字符串连接这道题看起来只是十几行代码但如果你愿意把上面这些点都验证一遍你的指针水平会有一个肉眼可见的进步。你不需要一次性全做完可以先挑一个自我感觉最模糊的点下手。比如现在立刻打开编辑器把char *dest Hello 改成可写的数组版本再用 gdb 或者 ASan 观察一下区别。动手试过之后你再来回头看书里第十一章后面那些概念会发现轻松很多。
从strcat到二级指针：C语言指针进阶实战全解析
大家都知道 C 语言里指针是重点也是难点但重点和难点这两个词其实很空。真正让人卡住的往往不是指针本身的语法而是缺乏一个能把这些零散知识点串起来的实际任务。我当年在学《C 语言程序设计第四版》何钦铭、颜晖主编第十一章指针进阶时就是卡在了一堆概念上指针数组、指向指针的指针、字符串与指针的关系……说实话光看书都能看懂但一写代码就不知道从哪下手。后来是把字符串连接这道题反复做了七八遍才把这一章的内容真正串了起来。这篇文章就想以字符串连接为主线把指针进阶里那些最容易混淆、最值得抠的细节一次讲透。字符串连接这个任务放在第十一章而不是更早的章节是有道理的。前面几章你可能已经用数组写过字符串拼接了但那时候你用的大概率是数组下标思维到了指针进阶教材希望你把实现方式从数组切到指针并且能说清楚这两种写法在内存层面究竟差在哪里。字符串连接这个任务虽然短但它同时涉及字符串定位、字符搬运、结尾处理、边界条件、内存安全几乎涵盖了指针操作字符串的所有核心场景。你要是能把一个 strcat 从头到尾用指针写明白第十一章里后面那些概念回头看会顺畅很多。我见过不少人学到这一章时会写一个能跑但经不起问的版本代码能输出正确结果但你要是问他为什么目标数组必须足够大为什么函数要返回 char *如果源字符串和目的字符串是同一个数组会怎样他就答不上来了。这篇文章会把这些问题一个个拆开不光是给代码还给内存图给排查思路给我在实际调试中踩过的坑。适合刚学完指针基础、正在啃指针进阶的读者也适合已经工作但想把 C 语言底层基本功重新夯实的人。1. 字符串连接这道题为什么会放在指针进阶而不是数组章节1.1 从数组下标思维到指针算术思维的跳跃很多初学者会奇怪字符串连接不就是把第二个字符串的内容追加到第一个字符串后面吗用数组下标完全可以实现为什么教材非要到指针进阶这一章才拿出来细致讨论原因是数组下标写法在解决已知长度的字符串连接时很直观但当字符串长度不定、内存区域复用、函数需要返回操作后地址等场景出现时下标思维就很容易写出一堆问题代码。指针进阶的核心目标是让你从我按下标依次访问元素升级为我知道元素的地址可以通过指针移动来遍历内存这两种写法表面上能达到同样效果但底层逻辑完全不同。举个例子下面这两行代码在功能上是等价的str[i] A; *(str i) A;但从编译器的角度看str[i]本质上就是*(str i)的语法糖。下标写法把移动指针再解引用这个过程隐藏了指针写法把这个过程显式地写出来。第十一章安排在数组之后就是要让你逐渐摆脱靠下标感觉的舒适区用靠地址计算的方式思考问题。而字符串连接恰好同时涉及找到目标字符串的结尾和逐个复制字符这两个操作前者可以练指针比较和条件判断后者可以练指针自增和解引用是练习指针算术最好的载体没有之一。1.2 完整字符串连接要经历哪三个阶段把一个 strcat 拆开看其实只有三个阶段定位、搬运、收尾。但每个阶段都有坑。定位阶段需要找到目标字符串的终止符\0所在的位置。这是很多人写错的第一步——直接用strlen(dest)获取长度然后下标定位到dest[strlen(dest)]。这样也行但意味着你要遍历两次字符串第一次数长度第二次才开始复制。指针写法可以在一次遍历里完成定位效率更高。搬运阶段把源字符串的字符逐个复制到目标位置包括最后的\0。这一步最容易被忽略的是你不仅要复制可见字符还必须复制字符串结束符。如果漏了结尾的\0函数返回后调用方用printf(%s, dest)打印时会一路读到内存里的随机数据直到运气好碰到一个 0 才停下来表现就是输出后面跟了一堆乱码。收尾阶段返回目标字符串的首地址。这个返回值不是可有可无的它让用户可以把多次连接嵌套起来写比如strcat(strcat(a, b), c)。这个设计思路在标准库函数里很常见理解它对你后面看其他库函数源码会有帮助。2. 从零手写 strcat下标版到指针版的演进以及每一步的内存视角2.1 下标版先跑通功能再问自己还能怎么写很多教材或习题会让读者自己实现一个字符串连接函数如果你还处于下标思维通常会写成这样#include stdio.h void my_strcat(char dest[], const char src[]) { int i 0, j 0; while (dest[i] ! \0) { i; } while (src[j] ! \0) { dest[i] src[j]; i; j; } dest[i] \0; } int main() { char str1[20] Hello ; char str2[] World; my_strcat(str1, str2); printf(%s\n, str1); return 0; }我建议你写完之后画一张这次操作的内存布局图str1占了多少字节str2占了多少字节i和j分别是多少堆栈上有哪些变量。这个画图的过程比代码本身更有价值。等你能把内存图画明白再往指针版本走。下标版正确是正确但它有两个问题第一它遍历了目标字符串两次第一次数长度、第二次复制源字符串的开头可以从目标字符串的遍历结果中直接取到位置但实际上下标版是把找末尾和复制分成了两个完全独立的循环第二个循环又从头开始效率上不如指针版一个循环边判断边移动第二它没有返回值不便于链式调用。这两个问题正好是指针版要解决的。2.2 指针版*to *from这行代码到底发生了什么下面是指针进阶章节最经典的 strcat 实现char *my_strcat(char *dest, const char *src) { char *ret dest; while (*dest ! \0) { dest; } while ((*dest *src) ! \0) { ; } return ret; }很多初学者看到第二个循环就懵了*dest *src是什么意思为什么循环体是空的我用通俗的方式拆一下。*dest和*src的优先级是这样的的优先级高于*但由于是后缀形式所以它先返回变量当前值再做自增。因此*dest等价于*(dest)意思是取出 dest 当前指向的位置把 dest 向后移动一格然后对取出的位置进行解引用。用生活类比就像你排队取餐先看自己现在站在哪个窗口记住这个窗口然后往前挪一步最后把手里拿到的餐放到刚才记住的那个窗口上。所以*dest *src的完整执行顺序是取出dst当前指向的地址把它作为赋值的目标位置dst自增指向下一个存储单元取出src当前指向的地址读取该地址上的字符src自增指向源字符串的下一个字符把第 3 步读到的字符赋给第 1 步记下的目标位置整个赋值表达式的结果值就是被赋进去的那个字符把第 6 步的结果和\0比较决定循环是否继续。这七步在一行 C 代码里全部完成了。如果你之前不理解为什么循环体可以写成空语句现在应该明白了判断条件和赋值副作用都在条件表达式里完成了。这种写法紧凑但如果你是在团队项目里工作我建议还是拆成多行并加上注释否则维护的人包括三个月后的你自己会看得头大。2.3 面试和考试喜欢问的细节函数签名、const、返回值和空指针教材和标准库的strcat原型是char *strcat(char *dest, const char *src);为什么要用const char *src而不是char *src因为函数承诺不会修改源字符串的内容。这个const不只是给编译器看的也是给读代码的人看的。你以后写自己的库函数时只要某个参数是只读的就应该加const这是接口设计的好习惯。为什么要返回char *前面说了为了链式调用。但还有一层原因strcat的返回值是dest的原始值不是操作结束后的指针。这一点很容易被忽略。如果你写成char *my_strcat(char *dest, const char *src) { while (*dest ! \0) dest; while ((*dest *src) ! \0) ; return dest; // 错误返回的是目标字符串末尾 }函数返回后你拿到的指针指向的是连接后字符串的\0位置而不是开头。printf 直接用它输出什么都打不出来。标准库返回原始值正是为了避免这种错误同时让返回目标字符串这个语义更稳定。还有一个重要问题如果dest或src传入的是空指针程序会崩溃。标准库的strcat没有对此做检查因为 C 语言的设计哲学是信任调用者。你自己实现时可以加一层判断if (dest NULL || src NULL) { return dest; }但对于一个教学函数我认为不加也行反而能让你记住调用任何 C 字符串函数前必须确保指针有效。这个教训我在后面讲调试时会再提。3. 字符数组与字符指针为什么有人写char *p ...然后连接就崩了3.1 字符串字面量、字符数组、字符指针三者的内存位置差异这一节是本章最容易出现事故的地方几乎每次上机课都有人在这里把程序写崩溃。看下面三个定义char str1[] Hello; char *str2 Hello; const char *str3 Hello;str1是一个字符数组大小为 6 字节五个字符加一个\0它存储在栈上或者静态存储区取决于你声明的位置。数组名str1代表这个数组首元素的地址你可以修改str1中的内容比如str1[0] h;。str2是一个指向字符的指针它指向的是字符串字面量Hello。问题在于字符串字面量在内存中通常存放在只读区很多编译器放在 .rodata 段。你试图通过str2修改它比如str2[0] h;在现代编译器和操作系统上往往会直接触发段错误程序崩溃。str3加了一个const明确告诉编译器我不打算修改它。这是最安全的一种写法推荐在只读使用场景下采用。回到字符串连接如果你写成下面这样程序大概率崩char *dest Hello ; char *src World; strcat(dest, src); // 试图向只读区追加字符为什么因为dest指向的是一个字符串字面量它处在只读区而且Hello 后面那块内存是什么并没有保证可能紧接着是其他只读数据。strcat 要往那里写World操作系统直接拒绝。这个场景我在答疑时见过不下二十次几乎所有初学者都会踩一次。正确做法是给目标字符串预留足够的可写空间char dest[20] Hello ; char src[] World; strcat(dest, src);3.2 追加字符串的边界条件目标缓冲区必须大到能放下两个字符串加一个结束符缓冲区大小问题比只读区更难排查。因为很多时候程序不崩溃但行为诡异。举个例子char dest[10] Hello ; char src[] World; strcat(dest, src);Hello 占 6 字节加上 World 占 5 字节再加结尾的\0一共需要 12 字节但dest只有 10 字节。strcat 会继续往后写覆盖掉dest数组之后栈上其他变量的内存。C 语言数组不检查越界所以它成功了但后果无法预料可能覆盖了相邻变量、可能破坏了栈帧、可能程序运行到很后面才崩溃。这就是典型的缓冲区溢出。备考或者刷题时你只需要记住一个公式目标缓冲区可用长度 目标字符串当前长度 源字符串长度 1多出来的 1 给\0用更严谨的说法dest指向的内存区域必须能够容纳连接后的完整字符串包括结束符。判断是否越界用sizeof(dest)不行因为一旦dest作为函数参数传入它退化成指针sizeof只能得到指针大小通常 8 字节拿不到数组长度。这也是为什么很多库函数要额外接收一个缓冲区大小参数比如 Windows 的strcat_s或者你可以在自己的函数里传入dest_capacity。3.3 数组名和指针真的等价吗教材里常出现数组名就是指针这种简化的说法但到了指针进阶阶段这句话必须打折理解。数组名arr在大多数表达式中会退化decay为一个指向首元素的指针这是它和指针相似的地方。但有两个场景它们完全不同第一个是sizeof。sizeof(arr)返回整个数组的字节数而sizeof(ptr)只返回指针本身的字节数。第二个是取地址。arr的类型是指向整个数组的指针也就是char (*)[N]而ptr是指向指针的指针也就是char **。这两者不是一回事。如果你定义了一个char arr[20]然后在函数里试图用char **p arr;编译器直接报错因为类型不匹配。正确做法是char (*p)[20] arr;这才是指向数组的指针。在字符串连接这道题里函数参数char *dest和调用时的char dest[20]之间的转换背后就是退化规则。你传入数组名时编译器自动把数组名转换成指向首元素的指针函数内部拿到的是一个指针副本不是数组本身。这也解释了为什么在函数里对dest做自增操作不会影响调用方的数组名——你改的是指针形参的副本不是数组本身。理解这一点你就不会写出怎么函数返回后我的 dest 指针不移动这种疑问了。4. 从连接两个字符串到管理一堆字符串指针数组与二级指针4.1 用指针数组保存多条字符串第十一章指针进阶里字符串和指针结合的下一个层次是用指针数组来管理多条字符串。比如char *keywords[] { C Language, Pointer, String, Function };这里的keywords是一个数组每个元素都是char *指向一个字符串字面量。注意这四条字符串本身的长度各不相同但keywords数组的大小固定是 4 个指针元素在 64 位系统上是 32 字节。这种结构的好处是比起char keywords[4][30]这种二维数组指针数组不需要为每条字符串预留同样大的空间内存利用率更高但坏处是这些字符串字面量其实不可修改你只能读它们不能原地写。如果你想对keywords里的字符串进行排序或者拼接就需要把可写内容复制到自己的缓冲区里。下面的代码演示了如何用二维字符数组 strcat实现多段文本拼接#include stdio.h #include string.h int main() { char buf[128] {0}; const char *parts[] {Hello, , , world, !}; int n sizeof(parts) / sizeof(parts[0]); for (int i 0; i n; i) { if (strlen(buf) strlen(parts[i]) 1 sizeof(buf)) { printf(缓冲区空间不足操作终止\n); return 1; } strcat(buf, parts[i]); } printf(%s\n, buf); return 0; }这段代码里有几个值得注意的细节buf[128]初始化为全 0这保证即使你不主动设置\0它也是空字符串拼接之前判断剩余空间是防止缓冲区溢出的关键一步sizeof(parts) / sizeof(parts[0])是数组元素个数的经典求法但只适用于数组本身不适用于函数参数里退化的数组形参。4.2 二级指针作为函数参数实现一个通用的字符串连接处理器指针数组升级一步就是二级指针。假设你要写一个函数把多条字符串拼接起来并且希望函数内部能修改传入的指针数组比如先排序、再连接这时参数就要用二级指针#include stdio.h #include string.h #include stdlib.h char *concat_all(char **strs, int n) { int total 1; // 预留一个字节给结束符 for (int i 0; i n; i) { total strlen(strs[i]); } char *result (char *)malloc(total); if (result NULL) { return NULL; } result[0] \0; for (int i 0; i n; i) { strcat(result, strs[i]); } return result; } int main() { char *words[] {Pointer, Advanced, String, Concat}; char *joined concat_all(words, 4); if (joined ! NULL) { printf(%s\n, joined); free(joined); } return 0; }char **strs这个参数你可以这样理解strs指向一个数组数组里每个元素是char *。也就是指针的指针。在这个函数里strs[i]取出的是一条字符串的首地址strlen(strs[i])算出这条字符串的长度。二级指针在这里的意义是你传入的是一个指针数组的首地址而数组首地址本身也是一个指针所以需要两层指针来引用它。一个常见错误是把char **strs和char *strs[]混用。在绝大多数情况下作为函数参数它们等价因为数组形参也会退化成指针。但在定义变量时char **strs是一个二级指针变量char *strs[]是一个指针数组变量两者不同。你可以这样记函数参数里写char **strs还是char *strs[]编译器都会把后者调整成前者但你自己定义变量时它们不通用。4.3 动态内存版连接函数malloc、realloc 与内存释放上面的concat_all用malloc一次性分配了足够的空间。这种方法有个局限性如果调用方不知道总长度或者后续还要继续追加字符串就需要用realloc动态扩容。一个简单的可追加字符串工具函数长这样char *append_string(char *dest, const char *src) { if (dest NULL) { dest (char *)malloc(strlen(src) 1); if (dest) strcpy(dest, src); return dest; } size_t new_len strlen(dest) strlen(src) 1; char *temp (char *)realloc(dest, new_len); if (temp NULL) { return NULL; // 注意扩容失败时 dest 仍然有效但 temp 为 NULL } strcat(temp, src); return temp; }你得特别注意realloc的语义如果内存分配失败返回NULL但原来的内存块不会被释放。所以正确做法是先把返回值存到一个临时指针里判断非空后再赋给原来的指针绝对不要直接写成dest realloc(dest, new_len)。一旦 realloc 失败dest被置成 NULL原来的内存地址就找不到了会造成内存泄漏而且后续操作全乱套。内存释放也是必须考虑的问题。每次malloc或realloc得到的内存用完都应该free。在main函数里调用完concat_all后要记得释放返回的内存如果你调用append_string追加了很多次最后同样要释放。指针进阶考试中运行时崩溃很多就是因为忘了 free 或重复 free。5. 字符串连接最常见的 Bug以及我实际调试时用的三步定位法5.1 症状一程序编译通过一运行就崩溃这种崩溃最常见的原因就是我前面提到的目标字符串指向字符串字面量。表现形式是char *a Hello ; char *b World; strcat(a, b);在 Linux 上用 gcc 编译运行时通常出现Segmentation fault。在 Windows 上如果你用 VS 或 CodeBlocks可能弹出一个程序已停止工作的对话框。我的定位方法很土但极有效在 strcat 前后各加一个 printf打桩观察。如果前面能打印、后面崩了说明问题就出在这个函数调用上。这时候再检查目标指针是否指向可写内存十有八九能找到原因。5.2 症状二输出结果后面有乱码如果你能看到连接后的内容但后面跟着不明字符通常是目标缓冲区没有正确设置结束符。比如你手写连接逻辑时只搬运了可见字符忘了最后加\0。定位方法在输出前用调试器查看dest的字节内容。以 gdb 为例gdb ./a.out (gdb) break main (gdb) run (gdb) x/20bx destx/20bx命令可以让你直接查看dest地址开始的 20 个字节。你数一下如果第 11 个字节不是 0说明结束符确实丢了。另一个办法是干脆用memset(dest, 0, sizeof(dest))先把整个缓冲区清空这样即使你漏写了结束符字符串也会在缓冲区末尾自然终止问题不会暴露。不过这只是缓解手段根本办法还是每次写字符串后都要记得收尾。5.3 症状三函数返回后原来的指针不走了有个同学问过我一个问题为什么my_strcat(dest, src)执行完后dest没有指向连接后的字符串末尾我让他看函数原型里面char *dest传的是指针的值不是指针的引用。函数内部对dest自增改变的是形参副本的值不影响调用方的实参。如果你希望函数内部移动指针后调用方也能感知就必须传入char **dest然后在函数内部用*dest去操作。举个例子void move_to_end(char **p) { while (**p ! \0) { (*p); } }调用时写move_to_end(ptr);这样才能改变调用方的ptr。这个知识点在第十一章后面链表、树的部分也会反复用到值得现在就彻底搞清楚。5.4 工具链辅助gdb、printf、AddressSanitizer 的组合使用平时我调试字符串相关代码首选的不是 IDE 的图形化调试器而是 gdb 加 printf 加编译器的地址消毒器AddressSanitizer简称 ASan。ASan 的使用非常简单编译时加一个参数就行了gcc 或 clanggcc -g -fsanitizeaddress -fno-omit-frame-pointer -o test test.c ./test如果你有越界读写或者使用了已释放内存ASan 会给出非常详细的报告包括是哪个线程、哪一行代码、访问了什么地址、这个地址周围是什么。它在定位缓冲区溢出问题上比任何手打 printf 都高效。一个建议是只要在开发阶段都把这个选项开着等代码稳定了再关掉。字节序、内存对齐这类问题虽然不在字符串连接的范围里但 ASan 这个工具以后写 C 代码都用得上。6. 教材之外我建议你动手练的几道配套练习6.1 自己实现一个带安全边界的 strcat_safe教材里的 strcat 没有容量参数也就无法做边界检查。你可以自己定义int strcat_safe(char *dest, size_t dest_size, const char *src)返回值用 0 表示成功-1 表示失败。函数内部先计算dest已有长度和src长度如果两者之和加 1 超过dest_size直接返回 -1不执行任何写入。这个练习的价值在于让你从功能实现升级到接口设计理解为什么现代 C 标准库要推出一系列_s后缀的安全函数。6.2 用指针方式实现字符串逆序字符串逆序是 PTA 上非常常见的练习题网上搜C语言字符串逆序 PTA能搜到一大把。但它和字符串连接结合起来的练习更有意思先连接两个字符串再对结果做原地逆序。这个练习能同时练到指针移动和交换字符两个操作。核心伪代码void reverse(char *str) { char *left str; char *right str strlen(str) - 1; while (left right) { char temp *left; *left *right; *right-- temp; } }注意left right这个判断条件是靠指针比较实现的不能当作整数比较。C 标准里指向同一个数组内元素的指针才能用关系运算符比较这里的 left 和 right 指向同一个字符串数组的不同元素符合规则。6.3 用文件读写练字符串拼接的完整落地光在内存里拼接字符串总觉得少了点实际场景。我建议你做一个练习从一个文本文件读取多行内容把它们按顺序拼接成一个长字符串前两行之间用逗号分隔最后把结果写入另一个文件。这个题目在网上搜索c语言文件读写操作代码能找到很多参考但关键是你要自己动手把字符串连接和fopen、fgets、fputs或fprintf组合起来用。这里有一个容易踩的坑fgets会把换行符也读进缓冲区。如果你不做处理直接拼接得到的长字符串中间会夹杂着换行。处理方式是line[strcspn(line, \n)] \0;strcspn(line, \n)返回line中第一个\n的下标把那个位置替换成\0就把换行符去掉了。这个技巧可以说是文件行读取中最常用的处理之一比手动循环查找换行符省事得多。6.4 VS Code 环境配置对学指针的帮助很多初学者在 Windows 上用 VS Code 学 C但只配了编译没配调试导致出了 Bug 只能瞎猜。建议把 VS Code 的 C/C 扩展装好学会在launch.json里调用 gdb 或 lldb并且熟练使用添加监视功能实时查看指针变量的值和它指向的内容。具体配置方法网上搜vscode c语言环境配置有很多教程我这里只提醒三点第一tasks.json里编译命令要加-g选项否则没有调试符号断点和监视都无法正常工作。第二调试时要在监视窗口输入*(char (*)[20])dest这样的类型转换表达式才能完整查看一个 20 字节数组的内容直接看 dest 只能看到第一个字符。第三如果使用 VSCode 的集成终端运行程序遇到中文编码问题往往是终端代码页和源文件编码不一致可以在设置里把terminal.integrated.profiles.windows的编码调成 UTF-8或在tasks.json里加-fexec-charsetUTF-8。这些环境细节属于必要但不紧急的内容但它对你的学习效率影响非常大。我在带了几年新生之后发现指针学得好的学生往往不是智商多高而是能熟练使用调试器能在崩溃的第一时间看到调用栈和变量值能快速从现象跳到原因。这才是程序设计的核心能力。字符串连接这道题看起来只是十几行代码但如果你愿意把上面这些点都验证一遍你的指针水平会有一个肉眼可见的进步。你不需要一次性全做完可以先挑一个自我感觉最模糊的点下手。比如现在立刻打开编辑器把char *dest Hello 改成可写的数组版本再用 gdb 或者 ASan 观察一下区别。动手试过之后你再来回头看书里第十一章后面那些概念会发现轻松很多。
