函数中指针的学习这个话题我太有发言权了。我自己当年在函数这块栽过的跟头、后来带身边人时看他们重复踩的坑加起来能绕教室一圈。指针本身就已经够让人头大了一旦钻进函数里它就开始表演隐身术——你以为你传了个指针进去就能改数据结果出来一看原封不动你以为函数返回了个指针就能拿着用结果过一会儿数据就变成了一堆乱码。这篇文章我就把函数中指针这条线彻底捋清楚从值传递的本质、指针参数的内存原理、返回指针的雷区到二级指针和函数指针的实际应用全程配上我实际跑过的代码和使用体会。适合刚学完指针基础、开始被函数折磨的初学者也适合那些会写但说不清原理的开发者看完之后你至少能明白一件事函数里到底什么时候该用指针用了之后内存和生活会发生什么变化。我尽量不堆砌教科书式的抽象概念所有结论都用能实际运行的例子说话。会拆到函数调用瞬间内存里发生了什么这种粒度因为这些底层动作才是理解指针的关键。1. 先搞清楚本质函数传参到底是传值不是传东西1.1 传值调用里那个让人抓狂的副本很多初学者学指针卡壳根源在于对函数参数传递机制没有一个画面感。C和C里函数调用时实参到形参的传递本质就是一次赋值操作而这个赋值操作传递的是值不是变量本身。什么意思举个例子你有个变量int a 10;把它传给一个函数void func(int x)。在调用那一刻系统在栈上重新开辟一块空间给形参x然后把a的值 10 拷贝进去。从此以后函数体内操作的是x这块新空间它和a只是值相等而已地址完全不同。void change(int x) { x 100; } int main() { int a 10; change(a); printf(%d\n, a); // 输出 10 return 0; }这段代码输出一定是 10不是 100。因为 change 函数里头改的是局部形参 x出了函数就没了。用生活类比来解释这就好比你把自己的身份证复印件交给别人委托他去派出所改你的住址信息——他拿到的只是复印件改得再起劲原件上的信息纹丝不动。函数传值就是递复印件。那这不是很憋屈吗我需要函数帮我改掉主调函数里的某个变量怎么办答案就是把原件的存放地址传过去。1.2 指针参数是在传你可以找到我的线索把参数类型改成指针传递的东西就变了。void change(int *p)这种形式实参传进来的是指针的值也就是目标变量的地址。注意指针本身依然按值传递函数会得到形参p的一份拷贝但这份拷贝里面存着和实参一模一样的地址。void change(int *p) { *p 100; } int main() { int a 10; change(a); printf(%d\n, a); // 输出 100 return 0; }这里change(a)把 a 的地址传了进去函数内通过*p解引用沿着地址找到了 a 本体直接修改它的值。这时候你交出去的不是复印件而是一张写着你家详细门牌号的便签。拿到便签的人顺着门牌号找上门把你家里的家具重新摆了一遍——你家的地址没变家具确实被动了。这是理解所有函数中指针用法的最底层逻辑。不管后面引申出多复杂的场景——数组、字符串、结构体、回调函数——底子都是这一句话传指针是为了让函数通过地址找到主调方的数据本体从而修改它或者避免大面积拷贝。1.3 我当时学到这里最容易混的一个点我记得很多同学包括当年的我都会困惑既然指针是按值传递的我在函数里让指针本身指向别的地方外面的指针为什么没变void point_to_new(int *p) { int new_val 20; p new_val; // 只是改了形参 p 的指向 } int main() { int a 10; int *p a; point_to_new(p); printf(%d\n, *p); // 还是 10 return 0; }这段代码里外面 p 依然指向 a打印出来是 10。道理和普通值传递一模一样内层 p 是拷贝你修改拷贝的指向跟外层没有半毛钱关系。要想修改外层指针本身的指向就得用二级指针int **p把外层指针的地址传进去。这个我在后面的章节详细展开因为它是一个特别经典又特别实用的岔路口。2. 指针参数的内存真相栈帧、地址拷贝与解引用链路2.1 函数调用瞬间栈上发生了什么要给初学者讲明白指针传参就必须聊聊函数调用时的内存布局。很多讲法只停留在指针可以修改值但没讲清楚为什么能修改导致读者一旦遇到复杂情况又懵了。每一个函数被调用时系统会为它在内存的栈区分配一块连续的存储区域叫做栈帧。栈帧里存着这个函数的局部变量、形参、返回地址等等。当 main 调用 foo 时流程是这样的把实参的值压栈也就是为形参准备初始化数据。跳转到 foo 的指令入口。为 foo 的局部变量在栈上分配空间。执行 foo 的函数体。销毁 foo 的栈帧回到 main 接着往下走。关键在第一步。main 调用foo(a)压栈的是 a 的地址值比如 0x7ffc12345678。foo 的形参int *p拿到的是这个地址放在自己的栈帧里。之后 foo 访问*p程序就从 p 中取出地址 0x7ffc12345678去这块内存上读写数据。这块内存不属于 foo 的栈帧而属于 main 的栈帧所以 foo 才能越界操作main 的家当。2.2 解引用就是沿着门牌号找房子*p这个操作在机器层面是什么简单说它做两件事第一从 p 里取地址第二按照这个地址发起一次内存读写。在 C 语言层面这是取指针指向的内容在汇编层面就是一个基于寻址的 load 或 store 指令。理解了这一点你就明白为什么指针参数能实现修改外部变量。因为 p 里存的地址指向的是外部变量所在的内存单元store 指令直接写那个单元。而普通值传递时x 的地址是函数自己栈帧里的写 x 只是写自己的局部空间。为了加深感受可以看一个带地址输出的例子void show_addr(int *p) { printf(形参 p 自己所在: %p\n, p); printf(p 指向的地址: %p\n, p); } int main() { int a 0; int *p a; printf(实参 p 自己所在: %p\n, p); printf(p 指向的地址: %p\n, p); show_addr(p); return 0; }你会看到两次输出的p变量地址不同但两次输出的p 指向的地址完全相同。这直观地证明了形参是实参的拷贝但拷贝里存着同一份地址。以此为基础任何复杂的指针传参你都能推演出来。2.3 数组参数为何自动堕落成指针函数中指针的一大高频场景是数组。很多人一开始会以为数组作为参数是整个传进去的因此写出void print(int arr[])就觉得放心了。但真相是数组名在表达式中会被隐式转换为指向首元素的指针作为参数传递时传的也是这个指针值。void print_size(int arr[]) { printf(sizeof(arr) %zu\n, sizeof(arr)); // 8在64位系统上是指针大小 } int main() { int arr[10]; printf(sizeof(arr) %zu\n, sizeof(arr)); // 4010个int的大小 print_size(arr); return 0; }同样的arr在 main 里是数组类型sizeof为 40进入了函数形参列表它就退化成了int *sizeof变成 8。这也是初学者最容易崩溃的地方。C 语言这种设计一开始让人觉得坑但反过来看它大大提高了大数组的传递效率——不用把整个数组拷贝进栈里只要传一个起始地址就够了。代价是函数里不再知道数组长度所以一般都要配套传入一个int len参数这是 C 语言写函数的常见惯例。3. 函数返回指针光鲜背后全是雷区3.1 最大的坑返回局部变量的地址如果说指针作为入参是很多人的第一道坎那指针作为返回值就是第二道坎而且这道坎摔得人更疼因为它的问题通常不会立即暴露。你写了这样一个函数int *get_value() { int local 42; return local; } int main() { int *p get_value(); printf(%d\n, *p); return 0; }这段代码在部分编译器上可能打印出 42部分编译器上打印出垃圾值还可能在打印前就崩溃。原因在于local是函数栈帧里的局部变量函数返回时栈帧被销毁这块内存就不再属于你。但它上面的旧数据可能还没被覆盖所以侥幸输出 42一旦其他代码又压栈使用这块区域数据就被篡改。这是典型的悬空指针即指针所指向的内存已被系统回收。正确的返回方式有这么几种返回静态变量的地址static int local 42;生命周期到程序结束。在堆区分配返回堆地址。例如int *p malloc(sizeof(int)); *p 42; return p;但要求调用者自行free这就引出了谁分配谁释放的约定。通过指针参数在外部传入缓冲区函数只往里面写数据不返回地址。3.2 一个从能跑到随机崩的完整排查经历我印象特别深有段时间我写一个字符串处理的小工具里面有个函数负责把两个短字符串拼接成新串。当时为了省事直接写成了返回一个局部数组。第一版跑起来一切正常我甚至一度以为局部变量返回也没什么。直到某一天我在调用它前后多了一行负责任的日志代码程序就开始随机崩溃或者输出乱码。那次的排查过程让我彻底养成了看汇编和看栈的习惯。我先是在返回语句前打印地址再在调用方打印同一地址的数据发现每次的值时好时坏。后来我终于反应过来是新增的日志函数及其参数压栈把原来存字符串的那块栈内存覆盖掉了。而崩溃或乱码完全看新压栈内容和函数返回后到使用前的时间窗所以具有随机性。从那以后我给自己的代码定了一条死规矩凡是函数内部需要生成数据并交到外部继续使用的要么由调用方提供足够大的缓冲区要么用堆内存并明确注释由调用方释放。这一条能挡掉至少一半的指针悬空事故。3.3 返回指向堆内存的指针时的注意事项堆内存是另一条路。malloc分配的内存在堆区生命周期由开发者控制函数返回后依然有效。但它的坑在于内存泄漏。如果你写了一个模块专门生成一堆返回值调用者忘记释放程序跑久了内存占用会像滚雪球一样膨胀。char *concat(const char *a, const char *b) { size_t len_a strlen(a); size_t len_b strlen(b); char *result (char *)malloc(len_a len_b 1); if (result NULL) { return NULL; } strcpy(result, a); strcat(result, b); return result; }这种写法本身没问题实践上也很常见但一定要配套明确的文档注释或接口命名比如create_xxx()、make_xxx()让人一眼看出它返回的是需要释放的资源。最怕的是那种看起来不需要管但其实需要 free的接口几乎所有经历过内存泄漏煎熬的人都对这种设计恨之入骨。4. 进阶岔路二级指针和指向指针的指针4.1 为什么修改指针本身需要二级指针返回第一个章节留下的问题如果你需要在函数里让外部的指针指向一个新的地址该怎么做比如你写了一个初始化函数希望它做完之后外部的链表头指针指向一个新创建的节点。如果只传一级指针void init_node(int *head) { static int cell; head cell; // 白搭改的是形参的指向 } int main() { int *head NULL; init_node(head); if (head NULL) { printf(还是NULL\n); } return 0; }head的值不会变。因为函数形参里的int *head是一份拷贝你让拷贝指向一边原来的还是原来的。这时你需要的是指向指针的指针——把外层指针的地址传进去函数在解引用一层后拿到外层的指针变量本体从而修改它的值。void init_node(int **head) { static int cell; static int calls 0; cell 100 calls; *head cell; // 通过二级指针修改外部指针的指向 } int main() { int *head NULL; init_node(head); if (head ! NULL) { printf(%d\n, *head); } return 0; }二级指针的使用逻辑用一句话包装一级指针指向数据二级指针指向指向数据的指针。当你需要在函数中修改调用者的指针变量时就必须把这个指针变量的地址传进去。如果你的参数是想修改某个内存区域里的内容一级指针就够了你的参数是想让调用者的指针指向一块全新区域就得二级指针。4.2 链表、树这些结构的插入删除都是典型应用动态数据结构的增删操作尤其是链表的头插和树的旋转是二级指针最具说服力的应用场景。头插法里新节点要成为新的头指针指向的开头所以insert_head(Node **head, Node *new_node)是标准写法。如果不传二级指针而是通过返回值更新头指针代码也能写但容易遗漏一遗漏就丢链表。传二级指针函数内部自动更新头节点调用方的head变量会在函数返回后自动指向新节点这种直接的副作用是许多工业代码偏爱二级指针的原因。树的节点旋转则需要修改某个祖父节点的左指针或右指针字段这时如果你使用void insert(Node *root, Node *node)当需要更新根节点时你做不到。很多库函数干脆在接口里返回新的根节点root insert(root, node)这也是合理的。但一旦返回值和调用点之间隔着多层跳转维护成本升高二级指针的价值就体现出来了。我在实际写代码时的一个偏好是二叉树这种结构尽量用返回值方式管理根节点链表这种结构用二级指针管理头节点。前者能写出一目了然的递归后者能省去大量p insert(p, q)的重复赋值。4.3 二维数组、指针数组与二级指针的边界很多同学学到二维数组会想当然地认为int **和int a[3][4]通用。但这是一个经典陷阱。int a[3][4]的本质是长度为3的数组每个元素是长度为4的 int 数组。作为参数传递时它会退化成指向长度为4的int数组的指针也就是int (*p)[4]而不是int **。如果你强行用一个int **去接编译器会告警或崩溃因为二维数组的内存布局是连续的 12 个 int而int **期望的是指向一个元素该元素本身又是指针两者布局完全不同。我用一个简单例子说明void func(int (*p)[4], int rows) { // p[i][j] 访问方法成立 } // 这不对: // void wrong_func(int **p) { // // p[i][j] 极可能会崩因为 p 被要求是指针的指针 // }正确理解各种指针的指针和数组的指针最好的方式是从内存布局出发而不是死记硬背。二维数组名在表达式里时而表现为数组时而表现为行指针这个边界一定要亲手写段代码验证一遍比看十遍定义都有效。5. 函数指针把函数当数据用的底层乐趣5.1 函数也有地址声明与调用拆解函数指针是C 语言函数学里最容易被忽略的一章但它其实特别能打通思路。每个函数编译之后在内存中占据一块区域函数名就是这个区域的起始地址。所以和变量一样函数也有地址也就可以被存放在指针变量里。声明一个指向函数的指针语法看起来劝退int (*func_ptr)(int, int);。要读这种声明一个核心口诀是从变量名出发由内向外读func_ptr先被*修饰说明它是一个指针然后被(int, int)修饰说明它指向一个有两个 int 形参的函数最前面int是那个函数的返回类型。所以它表示指向‘接收两个 int 参数返回 int 的函数’的指针。简单用法int add(int a, int b) { return a b; } int sub(int a, int b) { return a - b; } int main() { int (*op)(int, int) add; printf(%d\n, op(3, 4)); // 7 op sub; printf(%d\n, op(3, 4)); // -1 return 0; }在给函数指针赋值时可以直接用函数名它会隐式转换成指针调用时op(3, 4)和(*op)(3, 4)在功能上是等价的。现代 C 程序员普遍直接用op(3, 4)看着更清爽。5.2 函数指针作为参数回调函数是怎么一回事把函数指针当成参数传给另一个函数就是所谓的回调机制。很多框架代码里函数指针参数无处不在。比如你想实现一个遍历数组并对每个元素做某种操作的工具函数操作本身可以是调用方传进来的函数这就是标准库里很多对容器元素施加操作类函数的雏形。void for_each(int *arr, int n, int (*action)(int)) { for (int i 0; i n; i) { arr[i] action(arr[i]); } } int double_it(int x) { return x * 2; } int square_it(int x) { return x * x; } int main() { int arr[] {1, 2, 3}; for_each(arr, 3, double_it); // arr 变为 2, 4, 6 for_each(arr, 3, square_it); // arr 变为 4, 16, 36 return 0; }这种风格的代码把行为作为一种参数传递灵活性一下子拉开了一个档次。写完了double_it、square_it后面再有新操作只写新函数就好for_each一行不用动。我在给嵌入式设备写菜单模块时也经常把菜单项对应的处理函数存成函数指针数组按索引调用整个分发逻辑变得异常简洁。5.3 函数指针作为返回值按需选择行为函数指针还可以作为函数的返回类型。最常见的场景就是根据运行时的不同情况返回不同的处理函数。假设你要做一个计算器根据运算符选择对应的运算函数int add(int a, int b) { return a b; } int sub(int a, int b) { return a - b; } int (*get_op(char c))(int, int) { if (c ) { return add; } else { return sub; } } int main() { int (*op)(int, int) get_op(); printf(%d\n, op(3, 5)); // 8 return 0; }这段代码的返回类型声明int (*get_op(char c))(int, int)读起来很绕但拆开看还是那套由内向外读法则先看get_op(char c)说明它是一个接收 char 的函数再看前面的*说明它返回一个指针最后看(int, int)和int说明这个指针指向的是一个接收两个 int 并返回 int 的函数。不喜欢这种绕的声明可以用typedef把它简化typedef int (*BinaryOp)(int, int); BinaryOp get_op(char c) { if (c ) { return add; } return sub; }一旦用了 typedef代码的可读性直线上升二进制的运算函数、UI 事件映射、状态机状态转换表全都好写了。6. 实战选型心得这些场景我建议你少用、别用或大胆用指针6.1 用 const 给指针参数上保险函数中指针的另一个实用话题是const修饰。它解决的是只读输入与可写输出之间的语义问题。具体有三种常见形态const int *p指针指向的内容不可修改但指针本身可改。适合表示我只读取数据不会修改。int *const p指针本身不可修改但指向的内容可改。这多用于固定指向某缓冲区、不允许指针乱跑的场合。const int *const p内容和指向都不许改基本是个保险箱。在写接口时我很推荐用const来传达参数意图。如果一个函数只读输入它就该声明成const int *调用者一眼知道这个函数不会改我的数据一个函数如果要生产数据它的缓冲区参数也建议用char *out这种带out命名的方式标注。代码是给人读的语义清晰比炫技重要太多。6.2 什么时候用指针、什么时候别硬撑着用指针有不少初学者在学完指针之后恨不得所有参数都写成指针觉得这样高级。实际上这会造成反效果。我给自己总结了几条选型经验传单个内置类型int、double、char 这类且不需要修改实参时直接值传递。拷贝成本极低代码也更简单。传大型结构体且只读时用const 结构体类型 *。避免整块结构体的拷贝开销。传数组、字符串时用指针传递数组退化的天然机制同时带上长度参数或靠约定好的终止符号如字符串结尾的\0判断边界。需要通过函数修改调用方的基础类型变量时用指针参数也就是int *。需要通过函数修改调用方的指针变量本身时用二级指针int **。需要把函数作为参数抽象化时用函数指针。另外一个我踩过很多次的坑是能通过返回值返回小结构体的情况下不要强行用输出参数或者堆内存。很多初学者喜欢把一切 return 都替换成指针参数理由是返回多个值。但现代 C 语言对返回小结构体其实非常友好比如返回一个struct Point { int x, y; };完全合理没必要让调用方先定义变量再传地址。过早地引入指针参数只会让代码可读性降级。6.3 学习路径建议到底怎么练才算真会了学习函数中指针这件事唯一有效的路径就是自己动手画内存图和走读汇编级别的行为。我可以给出一个可复现的练习序列基础练习写一个swap函数的指针版本和非指针版本对比结果并且打印两个版本里形参和实参的地址。数组练习写一个函数遍历 int 数组内部打印sizeof(arr)验证数组参数退化再用指针算术方式重写遍历逻辑体会p[i]等价于*(p i)。返回练习分别实现返回局部变量地址的坏版返回静态变量地址的版本返回堆地址的版本对照着跑观察不同版本下数据的存活时长。二级指针练习实现链表的头插函数分别用一级指针失效的版本和二级指针成功的版本即使不写完整链表只写节点插入也能体会到差异。函数指针练习实现一个极简计算器把加减乘除四个函数存到函数指针数组里根据输入的运算符选择调用再把这个计算器扩展成函数指针作为参数的模式加深回调运用。做完这五组函数中指针的基本功就非常扎实了。剩下的就是在真实项目里反复遇到 bug、反复排查慢慢形成肌肉记忆。我个人的体会是函数中指针这块内容最难的其实不是语法本身而是很多教程默认你会在函数被调用瞬间脑中自动构建栈帧图和类型退化图。如果你每次读一段带指针的代码时都能下意识地问自己三个问题这个指针指向的风格是什么类型函数内有没有修改指针本身返回的指针指向的内存还会不会存在那你就已经超过九成初学者了。等你把这套思维方式固化成习惯再回头看那些以前让你崩溃的声明和调用真的会流畅很多。