C++ vector存储栈对象指针调用失效原因咨询

指针本身有效，但指针数组中存储的指针无效。
运行如下代码会触发断点，初步猜测是qqq()函数中创建的类对象b的内存被释放，导致指针失效。

#include<iostream>
#include<vector>
#include"ww.h"// 自定义头文件，其中定义了apple类
using namespace std;

vector<apple*>arr_apple_p;
void qqq(apple* &);

int main()
{
    apple* p_apple=NULL;
    qqq(p_apple);
    arr_apple_p[0]->print();
}

void qqq(apple* &a)
{
    apple b;
    a = &b;
    arr_apple_p.push_back(a);
}

如果将代码

arr_apple_p[0]->print();

修改为

p_apple->print();

程序就可以正常运行，需要定位该现象的根本原因。

两个指针本质上都是悬空指针，所谓"一个能跑一个崩溃"是未定义行为的随机表现，不存在"指针数组存的指针无效、外部指针有效"的区别。

1. 局部对象生命周期规则：qqq()函数内声明的apple b是栈上分配的局部变量，生命周期仅在qqq()函数执行期间有效。当qqq()执行结束返回main函数时，b会被自动析构，它占用的栈内存会被标记为可复用，此时所有指向b地址的指针都成为非法的悬空指针。
2. 两个指针的值完全一致：在qqq()中既把&b赋值给了引用传入的p_apple，也把同一个地址存入了arr_apple_p数组，p_apple和arr_apple_p[0]存储的内存地址完全相同，没有任何有效性差异。
3. "正常运行"只是巧合：函数返回后，原b占用的栈内存不会被立刻清零，只是标记为可覆盖。如果调用print()时这块内存的残留数据还没被新的栈操作改写，且print()逻辑不依赖对象成员的合法状态，就会出现"正常运行"的假象；如果调用过程中栈操作刚好覆盖了这块内存，或者运行时检测到非法栈访问，就会触发断点崩溃。这种表现和用p_apple还是数组里的指针调用没有必然联系，换编译选项、调整代码顺序、换编译器版本都可能改变运行结果，本质是完全不可靠的未定义行为。

不要把栈上局部对象的地址传递到生命周期超出函数范围的场景，可根据需求选择以下方案：

• 需要对象全局存活时，将b声明为静态局部变量：static apple b;，对象生命周期会持续到程序退出
• 手动管理堆内存：在qqq()中用new apple()创建堆对象，将地址存入指针，后续不需要使用时手动调用delete释放，避免内存泄漏
• 优先推荐值语义：将arr_apple_p改为vector<apple>类型，直接存储对象副本，不需要手动管理内存，从根源避免悬空指针问题。

内容的提问来源于stack exchange，提问作者香辛料