指针这个知识点C语言学习的同学几乎没有不被它折磨过的。前面两篇我们聊了指针的基础概念、指针与一维数组的关系这一篇直接往深处走——指针数组与数组指针、函数指针与回调机制、多级指针、以及最让人头疼的内存安全问题。这些内容不是课本上那种“了解即可”的层面而是你真正写项目、做嵌入式开发、刷OJ题时绕不开的硬骨头。尤其是想在C语言面试里拿到Offer的同学本篇内容基本属于“必考范围”。这篇文章适合的人群很明确已经掌握了指针基本语法声明、赋值、解引用但遇到稍微复杂的指针用法就容易懵的初学者以及能写代码但总在段错误和内存泄漏里挣扎的自学者。我会结合自己在实际项目里踩过的坑把指针第三篇的每个核心细节都拆开揉碎。1. 指针数组与数组指针一字之差天壤之别1.1 指针数组的本质数组里装的是地址先看一个最经典的判断题int *p1[5]; // 这是什么 int (*p2)[5]; // 这又是什么这两行代码长得极为相似但含义完全不同。很多初学者在这里栽跟头根源在于没搞懂运算符优先级。[]的下标运算符优先级高于*解引用运算符所以在int *p1[5]中p1先和[5]结合说明p1首先是一个数组数组的元素类型是int *也就是每个元素都是一个指针。这就叫指针数组。你可以这样理解p1是一个装了5个地址的容器。每个元素都可以单独指向一个int变量或者指向一个数组的首地址。最常见的应用就是存放字符串const char *week[] {Monday, Tuesday, Wednesday, Thursday, Friday};这里的week就是一个指针数组每个元素指向一个字符串常量。用这种方式存放字符串比用二维数组char week[5][10]更省内存——因为二维数组要按最长字符串的长度分配空间而指针数组每个元素指向的字符串长度是实际占用的长度。这在单片机、嵌入式这类内存敏感的场合非常实用。遍历时也很直观for (int i 0; i 5; i) { printf(%s\n, week[i]); }注意如果字符串需要修改不能直接用const char *指向要用char []这种可写内存否则运行时大概率触发段错误。1.2 数组指针一个指针锁定一整行再看int (*p2)[5]。这里括号改变了优先级*先和p2结合说明p2是一个指针这个指针指向的类型是int[5]也就是一个长度为5的整型数组。所以它叫数组指针指向的是一个数组整体而不是单个变量。拿到一个二维数组时数组指针就能派上大用场int arr[3][5] {0}; int (*p)[5] arr; // p 指向二维数组的第一行这时p加1不是往后移一个整数而是往后移一整行5个int。这就是指针加减整数时单位取决于所指向类型的大小的具体体现。p指向int[5]所以p 1在内存中跳过了5 * sizeof(int)个字节。用数组指针操作二维数组非常优雅void print_matrix(int rows, int cols, int (*mat)[cols]) { for (int i 0; i rows; i) { for (int j 0; j cols; j) { printf(%d , mat[i][j]); } putchar(\n); } }这种形参声明方式在C99之后支持可变长度数组语法在项目里处理矩阵运算、图像数据宽高都是变量时很常用。1.3 什么时候用哪个一个实用的选择标准我的经验是先问自己一个问题我到底是要存多个地址还是想通过一个指针去访问一块连续区域需要存多个字符串、多个缓冲区地址时用指针数组简单直接遍历也方便。需要把二维数组整个交给函数处理或者在多个函数里共享某几行数据时用数组指针。这里补一句容易混淆的细节。int arr[3][5]的类型其实也是int (*)[5]。也就是说二维数组名在表达式里会退化成一个数组指针。这也是为什么很多老手写函数形参时直接用int arr[][5]编译器内部其实还是要把它当作int (*)[5]来处理。理解了这一层这两个概念就不容易搞混了。注意一点数组指针虽然听起来很灵活但它的维度是固定的。如果两个函数对数组的列数要求不一致传参时编译器会报不兼容警告。这也是为什么可变形参int (*mat)[cols]的写法在C99之后越来越流行。2. 函数指针与回调机制把函数变成数据2.1 函数指针的声明与调用在C语言里函数名本身就是函数的入口地址。那这个地址能不能存进变量当然可以。存函数地址的变量就叫函数指针。声明一个函数指针的语法非常拗口但掌握了拆解法就不难int (*handler)(int, int);从handler开始往外看*handler说明它是个指针括号结束后面(int, int)说明它指向的函数接收两个int参数最前面的int说明返回值是int。所以handler是一个指向“接收两个int、返回int”的函数的指针。赋值和调用int add(int a, int b) { return a b; } handler add; // 不需要取地址符函数名就是地址 int result handler(3, 5); // 直接通过指针调用函数指针的价值不是省那几行代码。它最大的意义是把函数当成一个参数、一个变量来传递也就是回调机制的基础。2.2 实际应用qsort 里的回调C标准库的qsort函数就是用函数指针实现回调的典型void qsort(void *base, size_t nmemb, size_t size, int (*compar)(const void *, const void *));最后一个参数就是一个函数指针它指向一个比较函数。不同的数据排序逻辑不同但排序框架可以复用。你只需要告诉qsort什么样的顺序叫“前小后大”。比如对整型数组排序int cmp_int(const void *a, const void *b) { return *(int *)a - *(int *)b; } int arr[] {42, 3, 17, 99, 23}; qsort(arr, 5, sizeof(int), cmp_int);注意cmp_int的参数是const void *所以需要强转成int *再解引用。这是qsort的固定套路也是C语言泛型编程的一个雏形——通过void *和回调函数让同一段代码处理不同类型的数据。对结构体按成员排序也很常见typedef struct { int id; char name[32]; } Student; int cmp_by_id(const void *a, const void *b) { const Student *sa a; const Student *sb b; return sa-id - sb-id; }2.3 项目里的典型用法菜单、状态机、插件函数指针在真实项目中最常见的使用场景之一就是实现菜单操作或命令分发。比如一个嵌入式设备串口收到指令temp就去读温度传感器收到humi就去读湿度传感器收到on就打开继电器。用if-else链也能写但一旦指令数量增多代码会变得非常难看。用函数指针做命令表清晰又容易扩展typedef struct { const char *cmd; void (*handler)(void); } CommandEntry; static void cmd_temp(void) { /* 读取温度 */ } static void cmd_humi(void) { /* 读取湿度 */ } CommandEntry commands[] { {temp, cmd_temp}, {humi, cmd_humi}, };处理串口数据时只需要遍历一张表for (int i 0; i sizeof(commands)/sizeof(commands[0]); i) { if (strcmp(input, commands[i].cmd) 0) { commands[i].handler(); break; } }以后新增指令只需要增加一个函数然后在表里加一行主逻辑完全不用动。这就是回调函数带来的可扩展性。实操心得函数指针的声明容易写错尤其是参数类型比较复杂的时候。建议给函数指针类型起个别名typedef int (*CompareFunc)(const void *, const void *);之后声明就简单了CompareFunc comparator;。在项目里维护性会比写满星号和括号好很多。3. 多级指针与指针的指针什么时候真的需要两层地址3.1 二级指针的声明与概念二级指针就是“指向指针的指针”声明长这样int **pp;老样子从pp开始拆*pp说明pp是指针前面的int *说明它指向的类型是int *。也就是说pp里面存的是一个地址这个地址所在的内存里又存了另一个地址。很多学习者看到“二级指针”就害怕其实类比一下就好你有一个朋友他手里有一张纸条纸条上写着一个百宝箱的位置。一级指针变量存的是百宝箱的位置二级指针存的是“那张纸条”的位置。你拿到二级指针先读第一层得到朋友手里的纸条内容再去定位百宝箱。3.2 在函数中修改指针实参二级指针的真正用武之地我用一个非常实际的场景说明这个问题。假设你写了一个链表头插函数void insert_head(Node *head, int value) { Node *new_node (Node *)malloc(sizeof(Node)); new_node-data value; new_node-next head; head new_node; // 这样改外部能感知吗 }这里有个严重的坑C语言函数传参是值传递。head这个指针变量本身是按值拷贝进去的函数内部的head new_node只改了形参外部实参依然是原来的旧地址。等函数返回外部的链表头指针根本没变。解决办法有两个。一是用返回值接收新的头指针Node *insert_head(Node *head, int value) { Node *new_node malloc(sizeof(Node)); new_node-data value; new_node-next head; return new_node; }调用方写head insert_head(head, value);就行。这种写法很常见但要注意误用返回值的情况。第二种就是本题的主角——用二级指针void insert_head(Node **head_ref, int value) { Node *new_node malloc(sizeof(Node)); new_node-data value; new_node-next *head_ref; *head_ref new_node; }调用时传入头指针的地址insert_head(head, value);。函数内部*head_ref就是head本身所以*head_ref new_node可以真正改变外部的头指针。如果你需要写一些要修改调用方指针变量本身的代码比如双向链表插入、树节点的修改二级指针几乎必不可少。3.3 二维数组与指针数组做参数时的微妙区别二级指针还经常和二维数组、指针数组混在一起成为面试题的重灾区。这里说清楚一个观点二级指针不能直接指向二维数组。原因是类型不匹配。二维数组名退化后类型是int (*)[N]也就是上面讲的数组指针而二级指针的类型是int **。它们指向的数据布局完全不同。二维数组在内存里是连续的第0行之后紧跟着第1行而int **指向的是一组单独的int *元素这组指针再各自指向别处的数据。所以如果你想写一个函数既能接收char *arr[]这样的指针数组又想在函数里修改这些指针那时用char **才合适void sort_strings(char **strs, int n) { // 对 strs[0] ~ strs[n-1] 进行排序 }这里的strs本质是传入的指针数组名。因为数组名作为参数时会退化为指向其元素类型的指针而元素类型是char *所以形参应该是char **。避坑提示写代码时用int **matrix接收一个int matrix[3][3]编译可能只有警告但运行时访问matrix[i][j]大概率会崩。原因就是两者对内存布局的假设不一样。矩阵函数形参要么用int (*mat)[cols]要么把二维数组自行拆分成“手动的二级结构”先分配一维指针数组再为每个指针分配数据行。后者常见于动态创建矩阵int **create_mat(int rows, int cols) { int **m malloc(rows * sizeof(int *)); for (int i 0; i rows; i) { m[i] malloc(cols * sizeof(int)); } return m; }这种动态矩阵最终确实是一个int **但它和编译器里的二维数组是两种不同内存模型要区分清楚。4. 指针与内存安全见惯了崩溃才能长记性4.1 悬垂指针、野指针与空指针三种不同的问题C语言对内存的管理全靠开发者自觉这三类指针问题是最常见的内存事故源头。悬垂指针Dangling Pointer指的是指针原本指向一块合法内存但内存已经被释放或回收了指针还留着原来的地址。典型场景int *ptr malloc(sizeof(int)); free(ptr); // 此时 ptr 就是悬垂指针更隐蔽的是返回局部变量的地址int *foo() { int local 42; return local; // local 是栈上变量函数返回后这块内存就不属于你了 }这种代码在编译时只会给warning运行时偶尔正常、偶尔出错非常难排查。在嵌入式裸机环境栈空间可能马上被其他函数覆盖在多线程环境可能下一帧就被别的线程改掉。野指针Uninitialized Pointer则是指声明了指针变量但没有初始化它里面的值是一个随机垃圾值。如果直接解引用int *p; // 野指针地址不确定 *p 10; // 疯掉了往哪里写不同编译器和调试模式下未初始化指针可能默认是0可能是栈上的残留数据结果完全没有保证。这种问题的可怕之处在于它可能偶尔正常工作然后在最不该出错的时候崩溃。空指针NULL是比较友善的一次它明确指向地址0。解引用空指针会立刻触发段错误Segmentation Fault崩得干脆利落。从排查角度说空指针反而比前两类好调试——至少它稳定地报错。最危险的就是悬垂指针和野指针因为它们的表现是不确定的。实操心得我个人的编码习惯是——在free之后立刻把指针置为NULLfree(ptr); ptr NULL;这样即使后续代码误用了ptr会触发空指针错误而空指针比悬垂指针容易排查得多。这不是强迫症是真正能救命的好习惯。4.2 内存分配失败与double free看这段代码int *buffer malloc(1024 * sizeof(int)); buffer[0] 1; // malloc 失败呢当系统内存不足时malloc会返回NULL。但很多人会忽略这个检查直接对buffer解引用就会导致空指针崩溃。在PC上应用内存不足会触发异常或杀进程在嵌入式环境下malloc失败的概率更高因为堆空间本身就小。所以写这类代码最好先判断int *buffer malloc(1024 * sizeof(int)); if (!buffer) { // 处理分配失败别硬着头皮往下走 return -1; }另一个高频问题是double free。同一个指针被free两次行为未定义。一些glibc版本会检测到重复释放然后报free(): double free detected in tcache 2直接终止进程但在较老或者更简单的运行环境中可能直接导致堆管理数据结构损坏最典型的表现是后面某次 malloc 莫名崩溃。所以我在写代码时对同一块内存的释放保持“谁分配、谁释放、只释放一次”的原则避免多个模块都对同一个指针调free。4.3 用静态工具和调试器给指针上保险写完代码人眼找野指针和悬垂指针总归不靠谱。我一般在编译时打开常用告警比如 GCC 下开-Wall -Wextra。还有专门的静态分析工具比如clang-tidy、cppcheck它们能检查出一些普通编译器发现不了的问题例如函数返回局部变量地址。到了运行时在 Linux 下我习惯配-fsanitizeaddress编译AddressSanitizer 能在指针越界、释放后使用、double free 等问题发生时直接定位到源代码的具体行号。开发时开这个选项调试效率能提升好几倍比打印日志慢慢猜强太多。段错误发生后的排查思路我用一个具体的例子来说明。比如运行一个程序直接崩了屏幕只显示Segmentation fault。第一步用gdb跑一下gdb ./program (gdb) run (gdb) wherewhere命令会打印调用栈定位到崩溃的函数和行号。如果只有一条栈信息没有其它库调用那大概率就是指针访问了非法内存。在嵌入式设备里没有 gdb我用最笨但很有效的办法在可疑代码块前后加printf做二分定位确认崩溃代码范围再逐行检查该范围内的指针使用。5. 指针常见问题快查表与调试心得5.1 常见问题速查表我把平时自己遇到过的、以及读者问过的高频问题整理成一张表方便以后直接对照排查。问题表现可能原因排查要点程序崩溃段错误空指针解引用、野指针、越界访问gdb定位调用栈重点检查指针初始化与边界函数里改了指针值外部没生效传参时只拷贝了指针变量本身需要二级指针或返回值偶发崩溃重跑不一定复现悬垂指针释放后未置NULL搜索所有 free 调用确认是否置NULL字符串处理乱码指针指向只读存储区却尝试修改检查是否用char *指向字符串常量数组越界但没立刻崩刚好访问了相邻的合法内存越界是未定义行为后续隐患巨大malloc之后程序运行变慢可能有内存泄漏堆越用越碎用 valgrind 检查内存泄漏结构体指针用-报错指针为NULL或未初始化打印指针地址确认5.2 我个人的调试习惯与避坑清单在这里分享几个真正经过实践检验的经验。第一个写代码时保持指针的最小生命周期。能用函数内局部变量解决的问题不用动态内存能传一级指针解决的不引入二级指针。指针层级越多理清所有权关系越难。我见过不少报错就是多人协作时一个人malloc、另一个人free、还有一个人继续用最后陷入混乱。第二个格外关注“地址传递”和“值传递”的边界。函数形参如果只是读数据用const修饰指针比如const int *p这样可以防止误改原数据。如果函数内部需要让实参指针重新指向别的地址那就说明需要二级指针或者返回新值。这个边界没想清楚写着写着自己就糊涂了。第三个面对一份没法复现的偶发崩溃先别急着猜先想想有没有哪块内存被重复释放有没有某个指针指向了已释放的堆内存有没有函数返回了局部数组的地址。这三大类是最常见的“幽灵Bug”来源。我早期调试过一个串口通信程序问题就出在回调函数里保存了另一个栈变量的地址中断一触发数据就被覆盖了。这类问题用眼睛很难看用ASan或者-fstack-protector这类选项可以更快暴露。最后再分享一个小技巧遇到复杂的指针声明或者使用场景时不妨把字符串作为练手对象。字符串天然就是 char 类型的指针问题集合搞懂了char *、char **、char *[]、char (*)[]的区别和用途再回头处理int *这类的指针就会觉得轻松很多。指针是个越用越熟的工具多写、多调试、多踩坑才能真正掌握它。
C语言指针进阶：数组指针、函数指针与内存安全实战
指针这个知识点C语言学习的同学几乎没有不被它折磨过的。前面两篇我们聊了指针的基础概念、指针与一维数组的关系这一篇直接往深处走——指针数组与数组指针、函数指针与回调机制、多级指针、以及最让人头疼的内存安全问题。这些内容不是课本上那种“了解即可”的层面而是你真正写项目、做嵌入式开发、刷OJ题时绕不开的硬骨头。尤其是想在C语言面试里拿到Offer的同学本篇内容基本属于“必考范围”。这篇文章适合的人群很明确已经掌握了指针基本语法声明、赋值、解引用但遇到稍微复杂的指针用法就容易懵的初学者以及能写代码但总在段错误和内存泄漏里挣扎的自学者。我会结合自己在实际项目里踩过的坑把指针第三篇的每个核心细节都拆开揉碎。1. 指针数组与数组指针一字之差天壤之别1.1 指针数组的本质数组里装的是地址先看一个最经典的判断题int *p1[5]; // 这是什么 int (*p2)[5]; // 这又是什么这两行代码长得极为相似但含义完全不同。很多初学者在这里栽跟头根源在于没搞懂运算符优先级。[]的下标运算符优先级高于*解引用运算符所以在int *p1[5]中p1先和[5]结合说明p1首先是一个数组数组的元素类型是int *也就是每个元素都是一个指针。这就叫指针数组。你可以这样理解p1是一个装了5个地址的容器。每个元素都可以单独指向一个int变量或者指向一个数组的首地址。最常见的应用就是存放字符串const char *week[] {Monday, Tuesday, Wednesday, Thursday, Friday};这里的week就是一个指针数组每个元素指向一个字符串常量。用这种方式存放字符串比用二维数组char week[5][10]更省内存——因为二维数组要按最长字符串的长度分配空间而指针数组每个元素指向的字符串长度是实际占用的长度。这在单片机、嵌入式这类内存敏感的场合非常实用。遍历时也很直观for (int i 0; i 5; i) { printf(%s\n, week[i]); }注意如果字符串需要修改不能直接用const char *指向要用char []这种可写内存否则运行时大概率触发段错误。1.2 数组指针一个指针锁定一整行再看int (*p2)[5]。这里括号改变了优先级*先和p2结合说明p2是一个指针这个指针指向的类型是int[5]也就是一个长度为5的整型数组。所以它叫数组指针指向的是一个数组整体而不是单个变量。拿到一个二维数组时数组指针就能派上大用场int arr[3][5] {0}; int (*p)[5] arr; // p 指向二维数组的第一行这时p加1不是往后移一个整数而是往后移一整行5个int。这就是指针加减整数时单位取决于所指向类型的大小的具体体现。p指向int[5]所以p 1在内存中跳过了5 * sizeof(int)个字节。用数组指针操作二维数组非常优雅void print_matrix(int rows, int cols, int (*mat)[cols]) { for (int i 0; i rows; i) { for (int j 0; j cols; j) { printf(%d , mat[i][j]); } putchar(\n); } }这种形参声明方式在C99之后支持可变长度数组语法在项目里处理矩阵运算、图像数据宽高都是变量时很常用。1.3 什么时候用哪个一个实用的选择标准我的经验是先问自己一个问题我到底是要存多个地址还是想通过一个指针去访问一块连续区域需要存多个字符串、多个缓冲区地址时用指针数组简单直接遍历也方便。需要把二维数组整个交给函数处理或者在多个函数里共享某几行数据时用数组指针。这里补一句容易混淆的细节。int arr[3][5]的类型其实也是int (*)[5]。也就是说二维数组名在表达式里会退化成一个数组指针。这也是为什么很多老手写函数形参时直接用int arr[][5]编译器内部其实还是要把它当作int (*)[5]来处理。理解了这一层这两个概念就不容易搞混了。注意一点数组指针虽然听起来很灵活但它的维度是固定的。如果两个函数对数组的列数要求不一致传参时编译器会报不兼容警告。这也是为什么可变形参int (*mat)[cols]的写法在C99之后越来越流行。2. 函数指针与回调机制把函数变成数据2.1 函数指针的声明与调用在C语言里函数名本身就是函数的入口地址。那这个地址能不能存进变量当然可以。存函数地址的变量就叫函数指针。声明一个函数指针的语法非常拗口但掌握了拆解法就不难int (*handler)(int, int);从handler开始往外看*handler说明它是个指针括号结束后面(int, int)说明它指向的函数接收两个int参数最前面的int说明返回值是int。所以handler是一个指向“接收两个int、返回int”的函数的指针。赋值和调用int add(int a, int b) { return a b; } handler add; // 不需要取地址符函数名就是地址 int result handler(3, 5); // 直接通过指针调用函数指针的价值不是省那几行代码。它最大的意义是把函数当成一个参数、一个变量来传递也就是回调机制的基础。2.2 实际应用qsort 里的回调C标准库的qsort函数就是用函数指针实现回调的典型void qsort(void *base, size_t nmemb, size_t size, int (*compar)(const void *, const void *));最后一个参数就是一个函数指针它指向一个比较函数。不同的数据排序逻辑不同但排序框架可以复用。你只需要告诉qsort什么样的顺序叫“前小后大”。比如对整型数组排序int cmp_int(const void *a, const void *b) { return *(int *)a - *(int *)b; } int arr[] {42, 3, 17, 99, 23}; qsort(arr, 5, sizeof(int), cmp_int);注意cmp_int的参数是const void *所以需要强转成int *再解引用。这是qsort的固定套路也是C语言泛型编程的一个雏形——通过void *和回调函数让同一段代码处理不同类型的数据。对结构体按成员排序也很常见typedef struct { int id; char name[32]; } Student; int cmp_by_id(const void *a, const void *b) { const Student *sa a; const Student *sb b; return sa-id - sb-id; }2.3 项目里的典型用法菜单、状态机、插件函数指针在真实项目中最常见的使用场景之一就是实现菜单操作或命令分发。比如一个嵌入式设备串口收到指令temp就去读温度传感器收到humi就去读湿度传感器收到on就打开继电器。用if-else链也能写但一旦指令数量增多代码会变得非常难看。用函数指针做命令表清晰又容易扩展typedef struct { const char *cmd; void (*handler)(void); } CommandEntry; static void cmd_temp(void) { /* 读取温度 */ } static void cmd_humi(void) { /* 读取湿度 */ } CommandEntry commands[] { {temp, cmd_temp}, {humi, cmd_humi}, };处理串口数据时只需要遍历一张表for (int i 0; i sizeof(commands)/sizeof(commands[0]); i) { if (strcmp(input, commands[i].cmd) 0) { commands[i].handler(); break; } }以后新增指令只需要增加一个函数然后在表里加一行主逻辑完全不用动。这就是回调函数带来的可扩展性。实操心得函数指针的声明容易写错尤其是参数类型比较复杂的时候。建议给函数指针类型起个别名typedef int (*CompareFunc)(const void *, const void *);之后声明就简单了CompareFunc comparator;。在项目里维护性会比写满星号和括号好很多。3. 多级指针与指针的指针什么时候真的需要两层地址3.1 二级指针的声明与概念二级指针就是“指向指针的指针”声明长这样int **pp;老样子从pp开始拆*pp说明pp是指针前面的int *说明它指向的类型是int *。也就是说pp里面存的是一个地址这个地址所在的内存里又存了另一个地址。很多学习者看到“二级指针”就害怕其实类比一下就好你有一个朋友他手里有一张纸条纸条上写着一个百宝箱的位置。一级指针变量存的是百宝箱的位置二级指针存的是“那张纸条”的位置。你拿到二级指针先读第一层得到朋友手里的纸条内容再去定位百宝箱。3.2 在函数中修改指针实参二级指针的真正用武之地我用一个非常实际的场景说明这个问题。假设你写了一个链表头插函数void insert_head(Node *head, int value) { Node *new_node (Node *)malloc(sizeof(Node)); new_node-data value; new_node-next head; head new_node; // 这样改外部能感知吗 }这里有个严重的坑C语言函数传参是值传递。head这个指针变量本身是按值拷贝进去的函数内部的head new_node只改了形参外部实参依然是原来的旧地址。等函数返回外部的链表头指针根本没变。解决办法有两个。一是用返回值接收新的头指针Node *insert_head(Node *head, int value) { Node *new_node malloc(sizeof(Node)); new_node-data value; new_node-next head; return new_node; }调用方写head insert_head(head, value);就行。这种写法很常见但要注意误用返回值的情况。第二种就是本题的主角——用二级指针void insert_head(Node **head_ref, int value) { Node *new_node malloc(sizeof(Node)); new_node-data value; new_node-next *head_ref; *head_ref new_node; }调用时传入头指针的地址insert_head(head, value);。函数内部*head_ref就是head本身所以*head_ref new_node可以真正改变外部的头指针。如果你需要写一些要修改调用方指针变量本身的代码比如双向链表插入、树节点的修改二级指针几乎必不可少。3.3 二维数组与指针数组做参数时的微妙区别二级指针还经常和二维数组、指针数组混在一起成为面试题的重灾区。这里说清楚一个观点二级指针不能直接指向二维数组。原因是类型不匹配。二维数组名退化后类型是int (*)[N]也就是上面讲的数组指针而二级指针的类型是int **。它们指向的数据布局完全不同。二维数组在内存里是连续的第0行之后紧跟着第1行而int **指向的是一组单独的int *元素这组指针再各自指向别处的数据。所以如果你想写一个函数既能接收char *arr[]这样的指针数组又想在函数里修改这些指针那时用char **才合适void sort_strings(char **strs, int n) { // 对 strs[0] ~ strs[n-1] 进行排序 }这里的strs本质是传入的指针数组名。因为数组名作为参数时会退化为指向其元素类型的指针而元素类型是char *所以形参应该是char **。避坑提示写代码时用int **matrix接收一个int matrix[3][3]编译可能只有警告但运行时访问matrix[i][j]大概率会崩。原因就是两者对内存布局的假设不一样。矩阵函数形参要么用int (*mat)[cols]要么把二维数组自行拆分成“手动的二级结构”先分配一维指针数组再为每个指针分配数据行。后者常见于动态创建矩阵int **create_mat(int rows, int cols) { int **m malloc(rows * sizeof(int *)); for (int i 0; i rows; i) { m[i] malloc(cols * sizeof(int)); } return m; }这种动态矩阵最终确实是一个int **但它和编译器里的二维数组是两种不同内存模型要区分清楚。4. 指针与内存安全见惯了崩溃才能长记性4.1 悬垂指针、野指针与空指针三种不同的问题C语言对内存的管理全靠开发者自觉这三类指针问题是最常见的内存事故源头。悬垂指针Dangling Pointer指的是指针原本指向一块合法内存但内存已经被释放或回收了指针还留着原来的地址。典型场景int *ptr malloc(sizeof(int)); free(ptr); // 此时 ptr 就是悬垂指针更隐蔽的是返回局部变量的地址int *foo() { int local 42; return local; // local 是栈上变量函数返回后这块内存就不属于你了 }这种代码在编译时只会给warning运行时偶尔正常、偶尔出错非常难排查。在嵌入式裸机环境栈空间可能马上被其他函数覆盖在多线程环境可能下一帧就被别的线程改掉。野指针Uninitialized Pointer则是指声明了指针变量但没有初始化它里面的值是一个随机垃圾值。如果直接解引用int *p; // 野指针地址不确定 *p 10; // 疯掉了往哪里写不同编译器和调试模式下未初始化指针可能默认是0可能是栈上的残留数据结果完全没有保证。这种问题的可怕之处在于它可能偶尔正常工作然后在最不该出错的时候崩溃。空指针NULL是比较友善的一次它明确指向地址0。解引用空指针会立刻触发段错误Segmentation Fault崩得干脆利落。从排查角度说空指针反而比前两类好调试——至少它稳定地报错。最危险的就是悬垂指针和野指针因为它们的表现是不确定的。实操心得我个人的编码习惯是——在free之后立刻把指针置为NULLfree(ptr); ptr NULL;这样即使后续代码误用了ptr会触发空指针错误而空指针比悬垂指针容易排查得多。这不是强迫症是真正能救命的好习惯。4.2 内存分配失败与double free看这段代码int *buffer malloc(1024 * sizeof(int)); buffer[0] 1; // malloc 失败呢当系统内存不足时malloc会返回NULL。但很多人会忽略这个检查直接对buffer解引用就会导致空指针崩溃。在PC上应用内存不足会触发异常或杀进程在嵌入式环境下malloc失败的概率更高因为堆空间本身就小。所以写这类代码最好先判断int *buffer malloc(1024 * sizeof(int)); if (!buffer) { // 处理分配失败别硬着头皮往下走 return -1; }另一个高频问题是double free。同一个指针被free两次行为未定义。一些glibc版本会检测到重复释放然后报free(): double free detected in tcache 2直接终止进程但在较老或者更简单的运行环境中可能直接导致堆管理数据结构损坏最典型的表现是后面某次 malloc 莫名崩溃。所以我在写代码时对同一块内存的释放保持“谁分配、谁释放、只释放一次”的原则避免多个模块都对同一个指针调free。4.3 用静态工具和调试器给指针上保险写完代码人眼找野指针和悬垂指针总归不靠谱。我一般在编译时打开常用告警比如 GCC 下开-Wall -Wextra。还有专门的静态分析工具比如clang-tidy、cppcheck它们能检查出一些普通编译器发现不了的问题例如函数返回局部变量地址。到了运行时在 Linux 下我习惯配-fsanitizeaddress编译AddressSanitizer 能在指针越界、释放后使用、double free 等问题发生时直接定位到源代码的具体行号。开发时开这个选项调试效率能提升好几倍比打印日志慢慢猜强太多。段错误发生后的排查思路我用一个具体的例子来说明。比如运行一个程序直接崩了屏幕只显示Segmentation fault。第一步用gdb跑一下gdb ./program (gdb) run (gdb) wherewhere命令会打印调用栈定位到崩溃的函数和行号。如果只有一条栈信息没有其它库调用那大概率就是指针访问了非法内存。在嵌入式设备里没有 gdb我用最笨但很有效的办法在可疑代码块前后加printf做二分定位确认崩溃代码范围再逐行检查该范围内的指针使用。5. 指针常见问题快查表与调试心得5.1 常见问题速查表我把平时自己遇到过的、以及读者问过的高频问题整理成一张表方便以后直接对照排查。问题表现可能原因排查要点程序崩溃段错误空指针解引用、野指针、越界访问gdb定位调用栈重点检查指针初始化与边界函数里改了指针值外部没生效传参时只拷贝了指针变量本身需要二级指针或返回值偶发崩溃重跑不一定复现悬垂指针释放后未置NULL搜索所有 free 调用确认是否置NULL字符串处理乱码指针指向只读存储区却尝试修改检查是否用char *指向字符串常量数组越界但没立刻崩刚好访问了相邻的合法内存越界是未定义行为后续隐患巨大malloc之后程序运行变慢可能有内存泄漏堆越用越碎用 valgrind 检查内存泄漏结构体指针用-报错指针为NULL或未初始化打印指针地址确认5.2 我个人的调试习惯与避坑清单在这里分享几个真正经过实践检验的经验。第一个写代码时保持指针的最小生命周期。能用函数内局部变量解决的问题不用动态内存能传一级指针解决的不引入二级指针。指针层级越多理清所有权关系越难。我见过不少报错就是多人协作时一个人malloc、另一个人free、还有一个人继续用最后陷入混乱。第二个格外关注“地址传递”和“值传递”的边界。函数形参如果只是读数据用const修饰指针比如const int *p这样可以防止误改原数据。如果函数内部需要让实参指针重新指向别的地址那就说明需要二级指针或者返回新值。这个边界没想清楚写着写着自己就糊涂了。第三个面对一份没法复现的偶发崩溃先别急着猜先想想有没有哪块内存被重复释放有没有某个指针指向了已释放的堆内存有没有函数返回了局部数组的地址。这三大类是最常见的“幽灵Bug”来源。我早期调试过一个串口通信程序问题就出在回调函数里保存了另一个栈变量的地址中断一触发数据就被覆盖了。这类问题用眼睛很难看用ASan或者-fstack-protector这类选项可以更快暴露。最后再分享一个小技巧遇到复杂的指针声明或者使用场景时不妨把字符串作为练手对象。字符串天然就是 char 类型的指针问题集合搞懂了char *、char **、char *[]、char (*)[]的区别和用途再回头处理int *这类的指针就会觉得轻松很多。指针是个越用越熟的工具多写、多调试、多踩坑才能真正掌握它。
