C++指针在作用域结束后仍保留引用？栈内存复用疑问

指针a的值不变的原因 #

指针a本身是独立的变量，它存储的是另一个变量的内存地址。当if作用域结束，变量b的生命周期终止，但指针a中存储的地址值不会自动被修改——除非你主动给a重新赋值。所以两次输出的地址会保持一致。

为什么变量c没有复用b的地址 #

栈内存的分配策略由编译器和运行时环境决定，并不是某个变量销毁后，后续变量一定会立刻复用它的地址。编译器可能会基于内存对齐、局部变量的分配顺序等因素，为c分配其他栈空间，所以这次运行中c没有覆盖b曾经占用的地址。

这属于未定义行为 #

是的，这段代码中访问*a属于未定义行为。变量b在if块结束时已经销毁，它曾经占用的内存不再属于任何有效的对象。此时读取*a的结果是不可预测的：这次运行读到1只是因为内存还没被覆盖，但换个编译器、编译选项或者运行环境，可能会读到垃圾值，甚至导致程序崩溃。

正确的处理方式 #

如果需要保证指针a指向的对象始终有效，最直接的做法是将b的声明提升到和a相同的作用域，确保b的生命周期覆盖到你使用*a的代码段：

void foo()
{
  int* a = nullptr;
  int b = 1; // 提升到外层作用域
  if (true)
  {
    a = &b;
  }
  cout<<a<<endl;
  int c = 2;
  cout<<a<<" "<<*a<<endl;
}

如果场景需要动态创建对象，也可以使用new int分配堆内存，但要记得在不需要时用delete释放，避免内存泄漏。

内容的提问来源于stack exchange，提问作者NiceNAS