函数返回时栈帧销毁时机疑问：返回结构体场景分析

你的理解存在一个关键误区：bar的栈帧确实会在返回时立即销毁，但你看到的“内存有效”并不是因为栈帧没销毁，而是结构体返回时的值拷贝机制在起作用。

具体细节拆解：

• 当bar返回bill时，编译器会在bar栈帧销毁前，把bill的所有成员（包括amount、id、address数组里的所有字符）完整拷贝一份到调用者foo的栈帧中——也就是billRecord的内存位置。
• bar栈帧销毁后，原来的bill内存会被标记为可被后续函数调用复用，但此时foo里的billRecord已经拥有了独立的拷贝，和bar的旧栈帧没有任何关联。
• 如果是返回栈上变量的指针（比如return &bill;），那才会出现问题：指针指向的内存已经随bar栈帧销毁，后续访问就是非法的悬垂指针操作。

结合你的代码流程来看：

1. foo执行到Bill billRecord = bar(56);时，先在自己的栈帧里为billRecord分配好内存空间。
2. 调用bar，bar在自身栈帧中创建并初始化bill变量。
3. bar准备返回前，将bill的所有数据拷贝到foo栈帧里的billRecord位置。
4. bar的栈帧被销毁，控制权回到foo，此时billRecord已经是完全独立的结构体实例，后续操作不受bar栈帧的影响。

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