1. 指针与引用的核心区别这俩真的不是一回事很多人学C学到一半最容易卡住的一个点就是指针pointer和引用reference到底有什么区别为什么有了指针还要发明引用为什么函数参数里有时候用*有时候用有时候还用*我当年带新人时光这个问题就能聊一下午。今天干脆把这块掰开揉碎讲清楚。先直接给结论指针是变量存的是地址引用是别名绑定的是对象本身。这句话听起来简单但背后牵扯出的行为差异、语法差异、使用场景差异足够写一篇长文。1.1 指针变量你手里拿的是一张“门牌号”指针本身是一个变量它的值是另一个变量的内存地址。你可以把内存想象成一栋巨大的公寓楼每个房间都有编号这个编号就是地址。指针变量就是一张便签上面记着某个房间的编号。你拿着这张便签就能找到那个房间进去拿东西、放东西。int a 42; int *p a; // p 存的是 a 的地址这里出现了两个符号和*。是取地址运算符作用在变量上得到这个变量的内存地址*在这里是声明符表示p是一个指针类型指向int。这两个符号光看长相非常容易混淆尤其是*它在不同位置有完全不同的含义。关键点指针变量本身也有自己的地址。这句话很重要。p是一个变量它也有自己的房间号地址只不过它房间里面放的“东西”不是普通的数值而是另一个房间的编号。这就引出了“指针的指针”这个概念。int **pp p; // pp 存的是 p 的地址pp是一个指向指针的指针。你可以无限套娃下去但在实际工程中两层指针已经非常罕见了三层以上基本属于炫技或者设计有问题。1.2 解引用操作通过门牌号找到房间有了门牌号就得有“开门”的动作。对指针使用*运算符就是在执行这个动作这个动作叫解引用dereference。它拿到的是指针所指向的那个对象本身你可以通过它读值也可以修改值。int a 42; int *p a; *p 100; // 修改了 a 的值 printf(%d\n, a); // 输出 100这里*p和a是等价的因为它们指向同一个内存位置。解引用操作是读内存、写内存的操作所以它是有成本的而且在某些场景下是危险的——如果你拿着一个无效的门牌号去开门轻则程序崩溃重则产生难以排查的内存错误。这就是后面要讲的“空指针”和“悬垂指针”问题的根源。1.3 引用给房间起个“外号”引用就完全不同了。它不是便签而是给原来的房间又挂了一块牌子两块牌子指向同一个房间。引用在声明时必须初始化而且一旦绑定就不能再改绑到别的对象上。int a 42; int r a; // r 是 a 的别名 r 100; // 等价于 a 100int a 42; int b 10; int r a; r b; // 注意这不是让 r 改绑到 b而是把 b 的值赋给 a引用不是一个对象它没有自己的地址也不占额外的存储空间至少在语义上是这样。这就是它和指针最本质的差别。你可以对引用取地址得到的是被引用对象的地址而不是引用本身的地址——因为引用本身没有地址。2. 函数参数里的*和值传递、指针传递、引用传递这是指针和引用在实战中最常见的应用场景。我见过太多初学者在写函数时纠结参数到底应该写int *p还是int r它们都能修改外部变量那到底有什么区别先说结论如果只是想在函数内部修改外部变量优先用引用如果参数可能为空或者说你需要表达“没有传入任何东西”的语义用指针。2.1 值传递拷贝一份改的是副本void change(int x) { x 100; } int main() { int a 42; change(a); printf(%d\n, a); // 还是 42 }值传递时函数拿到的是a的一份拷贝函数内部修改x只影响拷贝不影响原始变量。这是最安全的传递方式也是很多新手默认会写的写法但它的代价是对象可能很大拷贝成本高。而且如果你想在函数内部修改外部变量值传递是做不到的。2.2 指针传递传递地址通过地址操作原始对象void change(int *p) { *p 100; } int main() { int a 42; change(a); printf(%d\n, a); // 100 }这里传入的是a的地址。函数内部解引用p修改的是a本身。指针传递的语义是我给你一个地址你可以通过这个地址去操作那个对象。这个地址本身是拷贝的指针变量本身是传值的但地址指向的对象是同一个。指针传递有个很明显的优势可以传空指针。也就是说调用方可以传入nullptr来表达“这里没有对象”的语义函数内部需要判空。void change(int *p) { if (p nullptr) { return; } *p 100; }但这也意味着使用指针参数时每个人的第一反应都应该是这个函数会不会收到空指针我需要判空吗C 的std::optional能解决一部分问题但指针在这个场景下仍然简单直接。2.3 引用传递绑定原始对象直接操作void change(int r) { r 100; } int main() { int a 42; change(a); printf(%d\n, a); // 100 }引用传递的语义是r是a的别名你在函数里操作r就是操作a。不需要取地址不需要解引用写起来最干净。而且因为引用不能为空函数内部不需要判空也天然避免了空指针问题。这也是为什么现代 C 的最佳实践是能传引用就不传指针。引用更安全、更直观、更少出错。那什么时候必须用指针答案是需要表示“没有对象”时或者需要重新绑定到其他对象时比如链表节点、树节点的指针。2.4const修饰只读与可写的语义控制在函数参数中引入const后情况又丰富了一层const T 常引用只读不拷贝。这是性能最佳的选择也是 C 中“万能”的参数形式。T *和T 可修改原对象。const T *指向常量的指针不能通过该指针修改所指对象但指针本身可以指向其他对象。T *const常量指针指针本身不能改但可以通过它修改所指对象。const T *const既不能改指针也不能改所指对象。void print(const std::string s) { // 只读 s不会拷贝 }这里有个容易混淆的点const T *和T *const的顺序。我记的方法是const修饰的是它左边最近的那个类型如果左边没有类型就修饰它右边的类型。不过这个规则有点绕我更喜欢直接看*的位置const在*左边修饰的是所指对象const在*右边修饰的是指针本身。注意顶层指针指针本身是 const和底层指针所指对象是 const之间不能随意赋值。比如int *不能隐式转换成const int *的反方向——你不能用const int *去给int *赋值这会破坏 const 的约束。但是反过来int *可以赋给const int *这是安全的相当于你告诉编译器“我会遵守只读约定”。网络热搜里有人问“顶层指针和底层指针可以相互赋值吗”答案就是单向可行。T *能赋给const T *const T *不能赋给T *。如果你确实需要去掉 const得用const_cast但那通常说明设计有问题不推荐。我在实际项目中见过很多因为这个规则没搞清楚导致的编译错误理解了底层和顶层的区别之后这类错误基本就能一眼看穿。3. 指针运算与数组指针不是数组但两者关系密切有一个老生常谈但又极其容易踩坑的话题数组和指针的关系。很多初学者会认为“数组名就是指针”严格来讲这个说法不对但也不能说完全错。数组名在大部分表达式中会隐式转换成指向首元素的指针这是“数组退化”规则。3.1 指针加减运算的“步长”问题指针的加减运算不是简单地“地址值加1”而是加上或减去所指类型的大小的整数倍。int arr[4] {10, 20, 30, 40}; int *p arr; // 指向 arr[0] p; // 指向 arr[1]地址值加了 sizeof(int) 个字节这个设计看起来奇怪但其实非常合理指针的真正用途是“指向某个类型的对象”那么p 1就应该是“指向下一个同类型对象”所以必须按对象大小步进。如果你用一个char *去遍历int数组步长就变成 1 个字节那完全变味了。这就是所谓“数组指针”和“指针数组”容易混淆的两个概念要分开int *p[10]是“指针数组”它首先是一个数组数组里面有 10 个元素每个元素都是int *类型。int (*p)[10]是“数组指针”它首先是一个指针指向一个有 10 个int元素的数组。这个括号非常关键。没有括号时[]的优先级高于*所以int *p[10]被解析成“有 10 个int *元素的数组”。加上括号后(*p)表示p是指针然后它指向一个有 10 个int的数组。3.2 数组名与取地址的区别再来个经典问题arr和arr到底有什么区别int arr[4] {0}; int *p1 arr; // 指向 arr[0] int (*p2)[4] arr; // 指向整个数组arr退化成int *指向首元素p1 1跳到第二个元素。arr的类型是int (*)[4]指向整个数组p2 1会跳过整个数组。两者的数值可能相同但类型完全不同步长也不同。我在面试时特别喜欢问这个问题因为它能一次性检验你对类型、退化规则、指针运算是不是真的理解。能把这个问题讲明白的人C/C 基础不会差。3.3 数组和指针的边界之争虽然数组名可以退化成指针但数组和指针本质上不一样数组是一块连续的内存区域它拥有元素指针只是一个变量存着地址。sizeof(arr)返回整个数组占用的字节数而sizeof(p)只返回指针本身的大小64 位平台上通常是 8 字节。所以千万别在函数参数里写void func(int arr[10])你以为限定了长度其实编译器会把它当成int *arr函数内部用的是指针语义。4. 字符串、结构体与函数指针三个高频实战场景指针和引用的知识只有落到实际场景中才有意义。我挑三个平时项目里最常用的场景展开字符串处理、结构体指针、函数指针。4.1 字符串与字符指针C 语言的字符串本质上就是字符数组所以字符指针char *就是指向字符串首字符的指针。这个太常用了但也太容易出错了。char str[] hello; char *p str; // 指向 h p; // 指向 e但是注意字符串字面量在 C 里是const char[]类型所以用char *s hello在 C 中是无法编译的必须写成const char *s hello。而在某些嵌入式 C 编译器中这个写法会通过编译但如果你尝试修改s[0]可能导致未定义行为——因为字符串字面量可能存放在只读区。另外字符串数组指针的话题也值得提一下。很多时候我们需要一个数组来存多个字符串比如一个命令列表const char *commands[] {help, list, quit}; const char **p commands; // 指向第一个字符串的指针这里commands是一个由const char *组成的数组p是指向指针的指针。4.2 结构体指针与成员访问结构体指针在 C 语言里尤其重要几乎所有的数据结构和算法都离不开它链表、树、图全都是用结构体指针连起来的。struct Node { int data; struct Node *next; }; struct Node n1 {1, nullptr}; struct Node *p n1; p-data 100; // 等价于 (*p).data 100-是结构体指针访问成员时最常用的运算符它本质上就是“先解引用再访问成员”的语法糖。用-还是用(*p).纯粹是写法问题但我强烈建议统一用-代码更清晰。和数组结合时就出现了“结构体指针数组”这种常见写法一个数组里存多个结构体指针可以用来组织和管理一组动态创建的对象。这在做对象池、索引表时非常常见。4.3 函数指针把函数当作参数传递函数名本身也是地址指向函数的入口。你可以把函数指针存起来传参给别的函数实现回调机制。int add(int a, int b) { return a b; } int sub(int a, int b) { return a - b; } int (*op)(int, int) add; int result op(3, 4); // 调用 add(3, 4)在实际项目中函数指针最常见的用途就是回调函数、状态机表和插件机制。C 里很多场景已经不直接用函数指针了而是用std::function包装任意的可调用对象但在纯 C 的环境里函数指针仍然是不可替代的。4.4 指向成员函数的指针C 里除了普通函数指针还有指向成员函数的指针。这个语法比较难记因为成员函数有个隐藏的this参数所以它的类型包含了类名class Foo { public: void hello() { printf(hello\n); } }; void (Foo::*pmf)() Foo::hello; Foo f; (f.*pmf)(); // 调用 f.hello() Foo *pf f; (pf-*pmf)(); // 调用 pf-hello()说实话指向成员函数的指针在日常业务代码里用得不算多更多出现在框架、消息映射、信号槽等机制中。但如果完全不懂遇到相关代码会非常痛苦至少要知道它的存在和基本用法。5. 智能指针现代 C 的“内存安全”答案聊完裸指针必须聊聊智能指针。C11 引入了std::unique_ptr、std::shared_ptr、std::weak_ptr这让内存管理从“手动挡”变成了“自动挡”大大减少了内存泄漏和悬垂指针这类问题。std::unique_ptr独占所有权同一时刻只有一个指针拥有对象不能拷贝只能移动。开销几乎为零。std::shared_ptr共享所有权内部有引用计数计数归零时自动释放对象。因为要维护原子引用计数性能有一定的损耗。std::weak_ptr弱引用不增加引用计数用来打破shared_ptr之间的循环引用。一个经典的问题两个shared_ptr互相持有对方会导致引用计数无法归零内存泄漏。解决办法就是用weak_ptr打破循环。struct Node { std::shared_ptrNode next; std::weak_ptrNode parent; };这样父子节点的相互引用不会阻碍释放。关于std::shared_ptr的循环引用为什么会造成泄漏可以这样理解两个对象 A 和 B 互相持有对方的shared_ptrA 的释放依赖 B 的引用计数归零B 的释放依赖 A 的引用计数归零结果谁都不能先释放。weak_ptr不参与引用计数类似一个“观察者”它不影响持有关系所以能打破死锁。实际项目中我个人的原则是默认优先用unique_ptr需要真正共享所有权时才用shared_ptr永远不要裸new永远不要用shared_ptr去管理数组要用带删除器的版本或std::vector。智能指针也有一些易错点比如用shared_ptr时不要从裸指针重复构造多个实例那会导致多个控制块、重复释放的问题。这也是一个高频排查项用同一个new出来的指针初始化两个shared_ptr会崩正确做法是用std::make_shared只分配一次内存也比手动new加构造更高效。6. 常见问题与排查技巧实录从编译报错到运行时崩溃这一节把我在项目里反复遇到过的指针和引用问题整理成一个速查表这些都是真实踩过的坑希望对你有直接的参考价值。现象可能原因排查思路与解决方法编译报错cannot convert int* to const int*底层指针的 const 转换方向错误检查是否试图把const int *赋给int *确保类型一致必要时重构接口编译报错error: invalid pointer指针指向了已释放的内存或者未初始化检查指针是否被赋了初值是否在对象生命周期结束后仍在使用程序运行时崩溃segfault解引用了空指针或悬垂指针在解引用前判空用智能指针或引用代替裸指针避免悬挂程序崩溃但定位不到位置数组越界导致指针意外偏移使用std::vector和at()代替裸数组开启 AddressSanitizer 或 Valgrind 排查内存泄漏手动new的资源没有delete用智能指针接管所有权或统一使用 RAII 思想管理资源两个shared_ptr释放同一块内存用同一个裸指针构造了多个shared_ptr统一用std::make_shared构造不要用裸指针重复构造指针值未被修改传递指针参数时只修改了指针本身而非指向的内容检查是否忘记解引用若要修改指针本身应传二级指针或引用引用绑定后值不对可能没有正确初始化为对象绑定了临时量注意避免引用绑定到即将销毁的临时对象尤其是函数返回局部变量的引用6.1 二级指针与“修改指针本身”一个不那么好理解但非常实用的问题如果函数要修改指针变量本身比如把一个指针重新指向另一个对象那参数该怎么传bool allocate(int **pp) { *pp new int(10); return *pp ! nullptr; } int *p nullptr; allocate(p);这里传的是指针的地址函数内部解引用一次*pp就能拿到p本身然后给它赋值。二级指针的常见场景包括链表头指针的修改、动态分配并返回指针参数、某些 C 接口的“出参”写法。如果你用的是 C更推荐用“指针的引用”来写同样的逻辑可读性会好很多bool allocate(int *pp) { pp new int(10); return pp ! nullptr; }int *pp读法先看pp说明pp是引用再看int *说明它引用的是一个int *类型的变量。6.2 悬垂引用与悬垂指针引用虽然比指针安全但如果返回了局部变量的引用照样会出问题int bad() { int x 100; return x; // x 在函数返回时就销毁了引用悬垂 }这种情况编译器往往会给你一个 warning但不是所有编译器都会拦下来。运行时这个悬垂引用指向的内存可能已经被复用读出来的值完全是垃圾值。断然禁止返回局部变量或局部临时对象的引用。同理悬垂指针也是类似情况——你看似拿着一个地址但地址对应的内存已经被释放了。之所以强调“悬垂”而不是“野指针”是因为前者有明确的指向但指向的对象已经不存在这种错误更难发现。6.3 空指针检查与防御式编程在 C 里解引用空指针属于未定义行为可能崩溃也可能不崩溃但不崩溃时往往是更危险的沉默问题。我习惯的做法是所有可能为空的裸指针在使用前都做判空。void process(Widget *w) { if (w nullptr) { // 记录日志或直接返回 return; } w-doSomething(); }在大型项目里容错要前置在入口处而不是等到深处崩溃了再来回溯。用引用参数就不需要判空这也从根源上避免了问题——这是引用相比指针最大的工程优势。6.4 左值引用与右值引用最后再聊聊引用家族里一个容易让人困惑的新成员右值引用。C11 引入的符号表示右值引用它绑定到即将销毁的临时对象主要用于移动语义和完美转发能显著减少不必要的拷贝。std::string a hello; std::string b std::move(a); // 移动构造函数被调用a 的资源被转移到 b右值引用为什么会提高效率核心在于“偷资源”而不是“复制资源”。比如std::string内部有一个指向堆内存的指针拷贝是重新分配一片内存并把数据复制过去移动只是把手里的指针直接转交给新对象再把原指针置空。这样省掉了一次堆分配和多次内存拷贝尤其是处理大容器、长字符串时性能差距非常明显。还需要明白std::move并不是一个“移动”操作它只是把一个左值强制转换成右值引用真正的移动发生在移动构造函数或移动赋值运算符里。这在实现具有资源管理的类时尤其重要。7. 巧妙使用引用返回值和 const 修饰如何写出更优的代码很多时候我们使用指针只是为了在函数间传递大对象而不发生拷贝。其实这是引用最擅长的领域在现代 C 里应优先考虑引用而且最好加上const。class BigObject { // 大量数据 }; void readBigObject(const BigObject obj) { // 直接只读访问零拷贝 }如果只是读取数据用const BigObject 既避免拷贝又保证函数内不会误改原对象。语义清晰性能又好。std::vector、std::string、std::map等容器对象作为参数或返回值时也是同样的道理。返回值如果很大很多编译器会做 RVO返回值优化或移动构造但如果你返回的是一个局部变量一般用值返回就行不需要返回引用。只有像operator[]这类语义上就是要返回容器内部元素引用的场景才返回引用。设计取舍上的个人建议默认参数用const T 需要修改外部对象用T 可选参数用T *或std::optionalT来明确“可能没有”。这四句话基本能覆盖绝大多数日常函数的参数设计需求。指针和引用的本质区别归根结底就是“间接层次”和“别名语义”的区别。我见过太多项目因为对指针和引用的理解不到位写出的代码又绕又容易崩。把这些概念梳理清楚后代码风格会干净很多排查问题的速度也会快一个量级。最后再分享一个小技巧如果你在读别人代码时被复杂的指针类型绕晕了试着从最右边的标识符往左读逐层拆解“这是什么类型的指针/引用”。比如int *pp从右往左读就是“pp 是一个引用引用的是一个 int 指针”。这个习惯我一直用到现在遇到再复杂的类型声明都能快速拆解。建议你把每个代码片段都自己编译一遍动手修改几个场景光看不练记不住。
C++指针与引用：核心区别、用法与实战避坑指南
1. 指针与引用的核心区别这俩真的不是一回事很多人学C学到一半最容易卡住的一个点就是指针pointer和引用reference到底有什么区别为什么有了指针还要发明引用为什么函数参数里有时候用*有时候用有时候还用*我当年带新人时光这个问题就能聊一下午。今天干脆把这块掰开揉碎讲清楚。先直接给结论指针是变量存的是地址引用是别名绑定的是对象本身。这句话听起来简单但背后牵扯出的行为差异、语法差异、使用场景差异足够写一篇长文。1.1 指针变量你手里拿的是一张“门牌号”指针本身是一个变量它的值是另一个变量的内存地址。你可以把内存想象成一栋巨大的公寓楼每个房间都有编号这个编号就是地址。指针变量就是一张便签上面记着某个房间的编号。你拿着这张便签就能找到那个房间进去拿东西、放东西。int a 42; int *p a; // p 存的是 a 的地址这里出现了两个符号和*。是取地址运算符作用在变量上得到这个变量的内存地址*在这里是声明符表示p是一个指针类型指向int。这两个符号光看长相非常容易混淆尤其是*它在不同位置有完全不同的含义。关键点指针变量本身也有自己的地址。这句话很重要。p是一个变量它也有自己的房间号地址只不过它房间里面放的“东西”不是普通的数值而是另一个房间的编号。这就引出了“指针的指针”这个概念。int **pp p; // pp 存的是 p 的地址pp是一个指向指针的指针。你可以无限套娃下去但在实际工程中两层指针已经非常罕见了三层以上基本属于炫技或者设计有问题。1.2 解引用操作通过门牌号找到房间有了门牌号就得有“开门”的动作。对指针使用*运算符就是在执行这个动作这个动作叫解引用dereference。它拿到的是指针所指向的那个对象本身你可以通过它读值也可以修改值。int a 42; int *p a; *p 100; // 修改了 a 的值 printf(%d\n, a); // 输出 100这里*p和a是等价的因为它们指向同一个内存位置。解引用操作是读内存、写内存的操作所以它是有成本的而且在某些场景下是危险的——如果你拿着一个无效的门牌号去开门轻则程序崩溃重则产生难以排查的内存错误。这就是后面要讲的“空指针”和“悬垂指针”问题的根源。1.3 引用给房间起个“外号”引用就完全不同了。它不是便签而是给原来的房间又挂了一块牌子两块牌子指向同一个房间。引用在声明时必须初始化而且一旦绑定就不能再改绑到别的对象上。int a 42; int r a; // r 是 a 的别名 r 100; // 等价于 a 100int a 42; int b 10; int r a; r b; // 注意这不是让 r 改绑到 b而是把 b 的值赋给 a引用不是一个对象它没有自己的地址也不占额外的存储空间至少在语义上是这样。这就是它和指针最本质的差别。你可以对引用取地址得到的是被引用对象的地址而不是引用本身的地址——因为引用本身没有地址。2. 函数参数里的*和值传递、指针传递、引用传递这是指针和引用在实战中最常见的应用场景。我见过太多初学者在写函数时纠结参数到底应该写int *p还是int r它们都能修改外部变量那到底有什么区别先说结论如果只是想在函数内部修改外部变量优先用引用如果参数可能为空或者说你需要表达“没有传入任何东西”的语义用指针。2.1 值传递拷贝一份改的是副本void change(int x) { x 100; } int main() { int a 42; change(a); printf(%d\n, a); // 还是 42 }值传递时函数拿到的是a的一份拷贝函数内部修改x只影响拷贝不影响原始变量。这是最安全的传递方式也是很多新手默认会写的写法但它的代价是对象可能很大拷贝成本高。而且如果你想在函数内部修改外部变量值传递是做不到的。2.2 指针传递传递地址通过地址操作原始对象void change(int *p) { *p 100; } int main() { int a 42; change(a); printf(%d\n, a); // 100 }这里传入的是a的地址。函数内部解引用p修改的是a本身。指针传递的语义是我给你一个地址你可以通过这个地址去操作那个对象。这个地址本身是拷贝的指针变量本身是传值的但地址指向的对象是同一个。指针传递有个很明显的优势可以传空指针。也就是说调用方可以传入nullptr来表达“这里没有对象”的语义函数内部需要判空。void change(int *p) { if (p nullptr) { return; } *p 100; }但这也意味着使用指针参数时每个人的第一反应都应该是这个函数会不会收到空指针我需要判空吗C 的std::optional能解决一部分问题但指针在这个场景下仍然简单直接。2.3 引用传递绑定原始对象直接操作void change(int r) { r 100; } int main() { int a 42; change(a); printf(%d\n, a); // 100 }引用传递的语义是r是a的别名你在函数里操作r就是操作a。不需要取地址不需要解引用写起来最干净。而且因为引用不能为空函数内部不需要判空也天然避免了空指针问题。这也是为什么现代 C 的最佳实践是能传引用就不传指针。引用更安全、更直观、更少出错。那什么时候必须用指针答案是需要表示“没有对象”时或者需要重新绑定到其他对象时比如链表节点、树节点的指针。2.4const修饰只读与可写的语义控制在函数参数中引入const后情况又丰富了一层const T 常引用只读不拷贝。这是性能最佳的选择也是 C 中“万能”的参数形式。T *和T 可修改原对象。const T *指向常量的指针不能通过该指针修改所指对象但指针本身可以指向其他对象。T *const常量指针指针本身不能改但可以通过它修改所指对象。const T *const既不能改指针也不能改所指对象。void print(const std::string s) { // 只读 s不会拷贝 }这里有个容易混淆的点const T *和T *const的顺序。我记的方法是const修饰的是它左边最近的那个类型如果左边没有类型就修饰它右边的类型。不过这个规则有点绕我更喜欢直接看*的位置const在*左边修饰的是所指对象const在*右边修饰的是指针本身。注意顶层指针指针本身是 const和底层指针所指对象是 const之间不能随意赋值。比如int *不能隐式转换成const int *的反方向——你不能用const int *去给int *赋值这会破坏 const 的约束。但是反过来int *可以赋给const int *这是安全的相当于你告诉编译器“我会遵守只读约定”。网络热搜里有人问“顶层指针和底层指针可以相互赋值吗”答案就是单向可行。T *能赋给const T *const T *不能赋给T *。如果你确实需要去掉 const得用const_cast但那通常说明设计有问题不推荐。我在实际项目中见过很多因为这个规则没搞清楚导致的编译错误理解了底层和顶层的区别之后这类错误基本就能一眼看穿。3. 指针运算与数组指针不是数组但两者关系密切有一个老生常谈但又极其容易踩坑的话题数组和指针的关系。很多初学者会认为“数组名就是指针”严格来讲这个说法不对但也不能说完全错。数组名在大部分表达式中会隐式转换成指向首元素的指针这是“数组退化”规则。3.1 指针加减运算的“步长”问题指针的加减运算不是简单地“地址值加1”而是加上或减去所指类型的大小的整数倍。int arr[4] {10, 20, 30, 40}; int *p arr; // 指向 arr[0] p; // 指向 arr[1]地址值加了 sizeof(int) 个字节这个设计看起来奇怪但其实非常合理指针的真正用途是“指向某个类型的对象”那么p 1就应该是“指向下一个同类型对象”所以必须按对象大小步进。如果你用一个char *去遍历int数组步长就变成 1 个字节那完全变味了。这就是所谓“数组指针”和“指针数组”容易混淆的两个概念要分开int *p[10]是“指针数组”它首先是一个数组数组里面有 10 个元素每个元素都是int *类型。int (*p)[10]是“数组指针”它首先是一个指针指向一个有 10 个int元素的数组。这个括号非常关键。没有括号时[]的优先级高于*所以int *p[10]被解析成“有 10 个int *元素的数组”。加上括号后(*p)表示p是指针然后它指向一个有 10 个int的数组。3.2 数组名与取地址的区别再来个经典问题arr和arr到底有什么区别int arr[4] {0}; int *p1 arr; // 指向 arr[0] int (*p2)[4] arr; // 指向整个数组arr退化成int *指向首元素p1 1跳到第二个元素。arr的类型是int (*)[4]指向整个数组p2 1会跳过整个数组。两者的数值可能相同但类型完全不同步长也不同。我在面试时特别喜欢问这个问题因为它能一次性检验你对类型、退化规则、指针运算是不是真的理解。能把这个问题讲明白的人C/C 基础不会差。3.3 数组和指针的边界之争虽然数组名可以退化成指针但数组和指针本质上不一样数组是一块连续的内存区域它拥有元素指针只是一个变量存着地址。sizeof(arr)返回整个数组占用的字节数而sizeof(p)只返回指针本身的大小64 位平台上通常是 8 字节。所以千万别在函数参数里写void func(int arr[10])你以为限定了长度其实编译器会把它当成int *arr函数内部用的是指针语义。4. 字符串、结构体与函数指针三个高频实战场景指针和引用的知识只有落到实际场景中才有意义。我挑三个平时项目里最常用的场景展开字符串处理、结构体指针、函数指针。4.1 字符串与字符指针C 语言的字符串本质上就是字符数组所以字符指针char *就是指向字符串首字符的指针。这个太常用了但也太容易出错了。char str[] hello; char *p str; // 指向 h p; // 指向 e但是注意字符串字面量在 C 里是const char[]类型所以用char *s hello在 C 中是无法编译的必须写成const char *s hello。而在某些嵌入式 C 编译器中这个写法会通过编译但如果你尝试修改s[0]可能导致未定义行为——因为字符串字面量可能存放在只读区。另外字符串数组指针的话题也值得提一下。很多时候我们需要一个数组来存多个字符串比如一个命令列表const char *commands[] {help, list, quit}; const char **p commands; // 指向第一个字符串的指针这里commands是一个由const char *组成的数组p是指向指针的指针。4.2 结构体指针与成员访问结构体指针在 C 语言里尤其重要几乎所有的数据结构和算法都离不开它链表、树、图全都是用结构体指针连起来的。struct Node { int data; struct Node *next; }; struct Node n1 {1, nullptr}; struct Node *p n1; p-data 100; // 等价于 (*p).data 100-是结构体指针访问成员时最常用的运算符它本质上就是“先解引用再访问成员”的语法糖。用-还是用(*p).纯粹是写法问题但我强烈建议统一用-代码更清晰。和数组结合时就出现了“结构体指针数组”这种常见写法一个数组里存多个结构体指针可以用来组织和管理一组动态创建的对象。这在做对象池、索引表时非常常见。4.3 函数指针把函数当作参数传递函数名本身也是地址指向函数的入口。你可以把函数指针存起来传参给别的函数实现回调机制。int add(int a, int b) { return a b; } int sub(int a, int b) { return a - b; } int (*op)(int, int) add; int result op(3, 4); // 调用 add(3, 4)在实际项目中函数指针最常见的用途就是回调函数、状态机表和插件机制。C 里很多场景已经不直接用函数指针了而是用std::function包装任意的可调用对象但在纯 C 的环境里函数指针仍然是不可替代的。4.4 指向成员函数的指针C 里除了普通函数指针还有指向成员函数的指针。这个语法比较难记因为成员函数有个隐藏的this参数所以它的类型包含了类名class Foo { public: void hello() { printf(hello\n); } }; void (Foo::*pmf)() Foo::hello; Foo f; (f.*pmf)(); // 调用 f.hello() Foo *pf f; (pf-*pmf)(); // 调用 pf-hello()说实话指向成员函数的指针在日常业务代码里用得不算多更多出现在框架、消息映射、信号槽等机制中。但如果完全不懂遇到相关代码会非常痛苦至少要知道它的存在和基本用法。5. 智能指针现代 C 的“内存安全”答案聊完裸指针必须聊聊智能指针。C11 引入了std::unique_ptr、std::shared_ptr、std::weak_ptr这让内存管理从“手动挡”变成了“自动挡”大大减少了内存泄漏和悬垂指针这类问题。std::unique_ptr独占所有权同一时刻只有一个指针拥有对象不能拷贝只能移动。开销几乎为零。std::shared_ptr共享所有权内部有引用计数计数归零时自动释放对象。因为要维护原子引用计数性能有一定的损耗。std::weak_ptr弱引用不增加引用计数用来打破shared_ptr之间的循环引用。一个经典的问题两个shared_ptr互相持有对方会导致引用计数无法归零内存泄漏。解决办法就是用weak_ptr打破循环。struct Node { std::shared_ptrNode next; std::weak_ptrNode parent; };这样父子节点的相互引用不会阻碍释放。关于std::shared_ptr的循环引用为什么会造成泄漏可以这样理解两个对象 A 和 B 互相持有对方的shared_ptrA 的释放依赖 B 的引用计数归零B 的释放依赖 A 的引用计数归零结果谁都不能先释放。weak_ptr不参与引用计数类似一个“观察者”它不影响持有关系所以能打破死锁。实际项目中我个人的原则是默认优先用unique_ptr需要真正共享所有权时才用shared_ptr永远不要裸new永远不要用shared_ptr去管理数组要用带删除器的版本或std::vector。智能指针也有一些易错点比如用shared_ptr时不要从裸指针重复构造多个实例那会导致多个控制块、重复释放的问题。这也是一个高频排查项用同一个new出来的指针初始化两个shared_ptr会崩正确做法是用std::make_shared只分配一次内存也比手动new加构造更高效。6. 常见问题与排查技巧实录从编译报错到运行时崩溃这一节把我在项目里反复遇到过的指针和引用问题整理成一个速查表这些都是真实踩过的坑希望对你有直接的参考价值。现象可能原因排查思路与解决方法编译报错cannot convert int* to const int*底层指针的 const 转换方向错误检查是否试图把const int *赋给int *确保类型一致必要时重构接口编译报错error: invalid pointer指针指向了已释放的内存或者未初始化检查指针是否被赋了初值是否在对象生命周期结束后仍在使用程序运行时崩溃segfault解引用了空指针或悬垂指针在解引用前判空用智能指针或引用代替裸指针避免悬挂程序崩溃但定位不到位置数组越界导致指针意外偏移使用std::vector和at()代替裸数组开启 AddressSanitizer 或 Valgrind 排查内存泄漏手动new的资源没有delete用智能指针接管所有权或统一使用 RAII 思想管理资源两个shared_ptr释放同一块内存用同一个裸指针构造了多个shared_ptr统一用std::make_shared构造不要用裸指针重复构造指针值未被修改传递指针参数时只修改了指针本身而非指向的内容检查是否忘记解引用若要修改指针本身应传二级指针或引用引用绑定后值不对可能没有正确初始化为对象绑定了临时量注意避免引用绑定到即将销毁的临时对象尤其是函数返回局部变量的引用6.1 二级指针与“修改指针本身”一个不那么好理解但非常实用的问题如果函数要修改指针变量本身比如把一个指针重新指向另一个对象那参数该怎么传bool allocate(int **pp) { *pp new int(10); return *pp ! nullptr; } int *p nullptr; allocate(p);这里传的是指针的地址函数内部解引用一次*pp就能拿到p本身然后给它赋值。二级指针的常见场景包括链表头指针的修改、动态分配并返回指针参数、某些 C 接口的“出参”写法。如果你用的是 C更推荐用“指针的引用”来写同样的逻辑可读性会好很多bool allocate(int *pp) { pp new int(10); return pp ! nullptr; }int *pp读法先看pp说明pp是引用再看int *说明它引用的是一个int *类型的变量。6.2 悬垂引用与悬垂指针引用虽然比指针安全但如果返回了局部变量的引用照样会出问题int bad() { int x 100; return x; // x 在函数返回时就销毁了引用悬垂 }这种情况编译器往往会给你一个 warning但不是所有编译器都会拦下来。运行时这个悬垂引用指向的内存可能已经被复用读出来的值完全是垃圾值。断然禁止返回局部变量或局部临时对象的引用。同理悬垂指针也是类似情况——你看似拿着一个地址但地址对应的内存已经被释放了。之所以强调“悬垂”而不是“野指针”是因为前者有明确的指向但指向的对象已经不存在这种错误更难发现。6.3 空指针检查与防御式编程在 C 里解引用空指针属于未定义行为可能崩溃也可能不崩溃但不崩溃时往往是更危险的沉默问题。我习惯的做法是所有可能为空的裸指针在使用前都做判空。void process(Widget *w) { if (w nullptr) { // 记录日志或直接返回 return; } w-doSomething(); }在大型项目里容错要前置在入口处而不是等到深处崩溃了再来回溯。用引用参数就不需要判空这也从根源上避免了问题——这是引用相比指针最大的工程优势。6.4 左值引用与右值引用最后再聊聊引用家族里一个容易让人困惑的新成员右值引用。C11 引入的符号表示右值引用它绑定到即将销毁的临时对象主要用于移动语义和完美转发能显著减少不必要的拷贝。std::string a hello; std::string b std::move(a); // 移动构造函数被调用a 的资源被转移到 b右值引用为什么会提高效率核心在于“偷资源”而不是“复制资源”。比如std::string内部有一个指向堆内存的指针拷贝是重新分配一片内存并把数据复制过去移动只是把手里的指针直接转交给新对象再把原指针置空。这样省掉了一次堆分配和多次内存拷贝尤其是处理大容器、长字符串时性能差距非常明显。还需要明白std::move并不是一个“移动”操作它只是把一个左值强制转换成右值引用真正的移动发生在移动构造函数或移动赋值运算符里。这在实现具有资源管理的类时尤其重要。7. 巧妙使用引用返回值和 const 修饰如何写出更优的代码很多时候我们使用指针只是为了在函数间传递大对象而不发生拷贝。其实这是引用最擅长的领域在现代 C 里应优先考虑引用而且最好加上const。class BigObject { // 大量数据 }; void readBigObject(const BigObject obj) { // 直接只读访问零拷贝 }如果只是读取数据用const BigObject 既避免拷贝又保证函数内不会误改原对象。语义清晰性能又好。std::vector、std::string、std::map等容器对象作为参数或返回值时也是同样的道理。返回值如果很大很多编译器会做 RVO返回值优化或移动构造但如果你返回的是一个局部变量一般用值返回就行不需要返回引用。只有像operator[]这类语义上就是要返回容器内部元素引用的场景才返回引用。设计取舍上的个人建议默认参数用const T 需要修改外部对象用T 可选参数用T *或std::optionalT来明确“可能没有”。这四句话基本能覆盖绝大多数日常函数的参数设计需求。指针和引用的本质区别归根结底就是“间接层次”和“别名语义”的区别。我见过太多项目因为对指针和引用的理解不到位写出的代码又绕又容易崩。把这些概念梳理清楚后代码风格会干净很多排查问题的速度也会快一个量级。最后再分享一个小技巧如果你在读别人代码时被复杂的指针类型绕晕了试着从最右边的标识符往左读逐层拆解“这是什么类型的指针/引用”。比如int *pp从右往左读就是“pp 是一个引用引用的是一个 int 指针”。这个习惯我一直用到现在遇到再复杂的类型声明都能快速拆解。建议你把每个代码片段都自己编译一遍动手修改几个场景光看不练记不住。
