目录前言一、重新认识函数参数传递值传递的本质二、一级指针做形参被误解的“地址传递”2.1 经典错误示例2.2 如何让一级指针形参带回分配的内存三、二级指针做形参深入理解间接修改四、指针做返回值警惕局部变量的陷阱4.1 返回局部变量地址的错误4.2 正确的返回方式4.3 实例解析中兴笔试题片段五、内存分区与变量生命周期六、常见陷阱与最佳实践6.1 内存泄漏与野指针6.2 二级指针释放示例6.3 检查内存分配是否成功6.4 正确理解指针赋值与字符串初始化七、总结与延伸思考前言在C/C的学习与面试中指针、内存分配以及函数参数传递是永远绕不开的核心主题。很多开发者尽管编码多年依然会在“指针的指针”、“返回局部变量地址”、“野指针”等细节上栽跟头。中兴通讯2012年的一道校招笔试题就将这些知识点浓缩在了一起看似简单却能精准考察功底。本文将以此为引深入且系统地拆解指针做形参、指针做局部变量的行为并延伸到程序内存分区、堆栈原理等底层机制。一、重新认识函数参数传递值传递的本质无论是C还是C函数参数的默认传递方式都是值传递。也就是说函数被调用时实参会拷贝一份给形参形参是实参的副本。这两者占据不同的内存空间互不干扰。对于普通变量void func(int x) { x 10; // 改变的是副本实参不变 } int a 5; func(a); printf(%d, a); // 输出 5如果是指针变量同样遵守值传递规则。指针变量本身存储的是一个地址值传递指针时拷贝的是这个地址值。因此你可以通过指针形参修改指向的内容解引用操作。但你无法修改指针形参本身的值去影响实参指针即无法改变实参指针的指向。很多人误以为传递指针就是“地址传递”或“引用传递”可以改变指针本身这是理解错误的核心来源。实际上C语言只有值传递C中才有真正的引用传递。理解了这一点后续所有现象都能迎刃而解。二、一级指针做形参被误解的“地址传递”2.1 经典错误示例看下面这段代码很多人觉得它应该能正常工作#include stdio.h #include malloc.h #include string.h void GetMemory1(char *p) { p (char *)malloc(100); if (p NULL) { printf(error memory); } } int main() { char *str1 NULL; GetMemory1(str1); strcpy(str1, Hello world); // 危险操作 printf(%s\n, str1); return 0; }运行结果是程序崩溃或根本无法输出因为 str1 依然是 NULL。原因分析如下调用 GetMemory1(str1) 时实参 str1 的值NULL被拷贝给形参 p。在函数内部p (char *)malloc(100) 让形参 p 指向了一块新分配的堆内存但这只是改变了副本 p 的指向实参 str1 仍然指向 NULL。函数返回后形参 p 被销毁那100字节的堆内存再也无法被访问造成内存泄漏。主函数中对 str1 解引用并拷贝字符串即访问空指针触发未定义行为。2.2 如何让一级指针形参带回分配的内存有三种常见解决方案方案一使用函数返回值char* GetMemory1_return() { char *p (char *)malloc(100); if (p NULL) { printf(error memory); return NULL; } return p; } // 调用 char *str GetMemory1_return(); if (str ! NULL) { strcpy(str, Hello world); printf(%s\n, str); free(str); str NULL; }这是最直观的方式通过返回值将新指针传递出来。但需要注意返回的必须是堆内存或静态/全局内存绝不能是局部变量地址 。方案二使用二级指针指针的指针void GetMemory3(char **p, int num) { *p (char *)malloc(num); if (*p NULL) { printf(error memory); } } // 调用 char *str3 NULL; GetMemory3(str3, 100); strcpy(str3, hello world); printf(%s\n, str3); free(str3); str3 NULL;这里传递的是 str3 的地址str3类型为 char**。在函数内部*p 就是 str3 本身修改 *p 就能真正改变实参指针的指向。二级指针依然是值传递拷贝了 str3 这个地址值但拷贝后的地址值指向了 str3因此我们可以通过这个地址间接修改 str3 的值。方案三C中的引用传递void GetMemory1_cpp(char *p) { p new char[100]; // 或者 malloc if (p NULL) { std::cerr error memory; } }char *p 表示 p 是实参指针的引用别名对 p 的任何操作都等同于对实参的操作。这是C独有的语法糖底层实现往往也是通过指针但语法更清晰。如果用C语言就只能使用二级指针。三、二级指针做形参深入理解间接修改二级指针常用于需要修改一级指针指向的场景比如动态创建二维数组、链表操作、或者刚刚的内存分配。它的原理是二级指针本身存储的是一个一级指针变量的地址。通过解引用一次*得到那个一级指针变量再修改它即可。示例用二级指针修改外部指针void resetPointer(int **pp) { static int b 20; *pp b; // 让外部一级指针指向静态变量b } int main() { int a 10; int *ptr a; printf(%d\n, *ptr); // 10 resetPointer(ptr); printf(%d\n, *ptr); // 20 return 0; }这里 resetPointer 成功改变了 ptr 的指向从 a 变成了 b。注意 pp 本身在函数栈内是 ptr 的副本修改 pp 本身让它指向别处对实参无影响但修改 *pp 影响的是 ptr 的值。警告不可以让二级指针指向一个非法的局部变量地址比如把函数内局部变量的地址赋给 *pp函数返回后局部变量销毁外部一级指针会成为悬垂指针。四、指针做返回值警惕局部变量的陷阱4.1 返回局部变量地址的错误char* GetMemory2(void) { char p[] hello world; return p; } int main() { char *str2 GetMemory2(); printf(%s\n, str2); // 输出乱码或不确定内容 return 0; }数组 p 是分配在栈上的局部变量函数返回后其内存被自动回收栈帧弹出原来数组的内容可能被后续函数调用覆盖。返回的指针成了“悬垂指针”打印出乱码甚至导致崩溃。4.2 正确的返回方式返回字符串常量char *d ZET; return d; 字符串常量存储在静态常量区生命周期是整个程序因此安全。返回静态局部变量的地址static char p[] hello; return p;静态变量生命周期也是整个程序。返回堆内存地址char *p malloc(100); return p;但要注意调用者负责释放。返回全局变量的地址。4.3 实例解析中兴笔试题片段char* a() { char *d ZET; return d; } char* b() { char p[10] {3G平台}; return p; } void c(int n, char *pName) { char *a[4] {aaa,bbb,ccc,ddd}; pName a[n]; } int main() { printf(%s\n, a()); // 输出 ZET printf(%s\n, b()); // 随机乱码或不确定内容 char *pName DB; c(2, pName); printf(%s\n, pName); // 输出 DB }a() 中 d 指向字符串常量返回后常量仍在安全输出 ZET。b() 中数组 p 是栈变量返回后失效输出乱码可能巧合下能输出原内容但属于未定义行为。c() 中 pName 是值传递修改形参不影响实参所以主函数中 pName 依然指向 DB。这再次验证了一级指针做形参时无法改变实参指向的道理。五、内存分区与变量生命周期理解上述问题必须掌握程序内存布局。典型的C/C程序内存分为以下几个区(1).栈区Stack由编译器自动分配释放存放函数的参数值、局部变量等。其操作方式类似数据结构中的栈后进先出。函数调用时开辟栈帧返回时栈帧销毁其中的局部变量内存即被回收这就是为什么不能返回局部变量地址的原因。(2).堆区Heap由程序员手动分配、释放。在C中用 malloc/calloc/realloc 分配free 释放C中用 new 分配delete 释放。如果不释放程序结束时可能由操作系统回收但长时间运行的程序会造成内存泄漏。堆内存的生命周期从分配开始直到free/delete或程序结束。(3).全局/静态区Data Segment存储全局变量和静态变量static。已初始化的全局变量和静态变量存放在一块区域未初始化的存放在相邻区域BSS段。程序结束时由系统释放。函数内部定义的 static 局部变量也放在这里但其作用域仅限于该函数内生命周期却是整个程序。(4).常量区Text/Read-Only Data存放字符串常量、const 修饰的全局变量等。程序结束时释放。这部分内存通常是只读的试图修改会导致运行时错误。例如 char *p hello; 中 hello 就在常量区而指针 p 本身在栈上。(5).代码区Text Segment存放函数体的二进制代码。程序加载时分配只读。代码示例对应内存位置int a 0; // 全局初始化区 char *p1; // 全局未初始化区BSS int main() { int b; // 栈 char s[] abc; // 栈数组的内容从常量区拷贝到栈上 char *p2; // 栈 char *p3 123456; // p3在栈123456在常量区 static int c 0; // 全局/静态初始化区 p1 (char *)malloc(10); // p1指向堆中10字节 p2 (char *)malloc(20); // p2指向堆中20字节 strcpy(p1, 123456); // 把常量区的字符串拷贝到堆 free(p1); free(p2); return 0; }六、常见陷阱与最佳实践6.1 内存泄漏与野指针忘记释放每一个 malloc / new 都要有对应的 free / delete。释放后未置空free(p); 后指针 p 仍然保存着原来的地址成为野指针。继续使用它是危险的。应养成 free(p); p NULL; 的习惯。多次释放对同一块内存调用两次 free 会导致崩溃。置空后free(NULL) 是安全的。释放不匹配malloc 与 delete 混用或 new 与 free 混用行为未定义。6.2 二级指针释放示例分配二级指针动态二维数组时需要逐级释放int **arr (int **)malloc(rows * sizeof(int *)); for (int i 0; i rows; i) { arr[i] (int *)malloc(cols * sizeof(int)); } // 使用... // 释放 for (int i 0; i rows; i) { free(arr[i]); arr[i] NULL; } free(arr); arr NULL;6.3 检查内存分配是否成功任何内存分配函数都可能失败返回NULL尤其在嵌入式或内存紧张的环境。必须判断char *buf (char *)malloc(1024); if (buf NULL) { // 错误处理可能是记录日志并退出 return; }6.4 正确理解指针赋值与字符串初始化char *d ZET; // d指向常量区字符串不允许修改内容如 d[0]z 会出错 char arr[] ZET; // 将常量区的字符串拷贝到栈上的数组arr可以修改如果要可修改的字符串请使用数组或分配堆内存。七、总结与延伸思考本文从值传递的本质出发逐层解析了一级指针、二级指针做形参时的行为差异彻底理清了“能否修改实参指向”这个核心问题。随后我们结合内存分区、堆栈特性、局部变量的生命周期回答了“为什么返回局部变量地址会出错”、“常量字符串为何安全”等经典疑问。这些知识点环环相扣构成了C/C内存管理的基石。掌握它们不仅能在笔试中游刃有余更能在实际编码中写出安全、高效的代码。延伸思考C中引入的智能指针unique_ptr, shared_ptr正是通过RAII机制自动管理堆内存从根本上避免了忘记释放和悬挂指针的问题。理解底层内存管理才能更好地驾驭智能指针。多级指针三级及以上虽然语法允许但极度降低可读性在工程中应尽量避免必要时用结构体封装。函数调用约定cdecl, stdcall等会影响参数入栈顺序和清理方式对指针传递也有影响深入操作系统或逆向工程时可以研究。希望这篇博客能帮大家构筑起牢固的指针与内存知识体系在未来的编程实践中少走弯路。如果觉得有帮助欢迎分享给更多朋友。
