生存期延长是否在栈上构造对象？与普通构造的差异及优化疑问

核心行为差异 #

• const T& t1 = GetT();：这里是将引用绑定到GetT()返回的临时对象上，C++标准明确规定这种场景下，临时对象的生存期会被延长至引用t1的生存期结束。注意这个临时对象的存储位置由编译器决定，不一定在栈上——可能在寄存器、栈或者其他优化后的内存区域，只是逻辑上它的生命周期和t1绑定。
• T t2 = GetT();：当编译器启用返回值优化（RVO/NRVO）时，会直接在t2的内存位置构造GetT()内部的局部对象t，完全跳过临时对象的创建，也不会调用拷贝/移动构造函数。此时t2是一个独立的栈上对象（如果是局部变量的话），拥有自己的专属存储，并非引用类型。

和“栈上创建const对象”的本质区别 #

这两种写法完全是不同逻辑：

• 生存期延长的场景中，const是引用的属性，它只限制通过t1对临时对象的修改权限，但临时对象本身的可变性并未被改变——你只是没法通过t1去改它，而且临时对象的存储位置不确定。
• 如果是直接写const T t3;，那t3是从创建开始就具备const属性的栈上对象，它的存储位置固定在栈（局部变量场景），从根源上就不可修改，和临时对象生存期延长的机制没有任何关联。

构造成本的优化对比 #

• 对于T t2 = GetT();：只要编译器支持RVO/NRVO，这是成本最低的写法——编译器直接在t2的位置构造对象，没有临时对象，也没有拷贝/移动开销。而且C++标准允许这种优化跳过拷贝构造的副作用，哪怕你的拷贝构造函数有自定义逻辑，编译器也可以直接忽略。
• 对于const T& t1 = GetT();：现代编译器同样会做优化，通常会把临时对象直接放在t1引用指向的内存位置，最终的运行成本和t2几乎一致。但从标准定义的逻辑来看，前者是“创建临时对象+绑定引用+延长生存期”，后者是“直接构造到目标对象位置”，虽然实际性能没差别，但底层逻辑路径不同。

另外要注意：如果GetT()返回的是某个已有对象的引用（而非局部对象的拷贝），那两种写法的差异会非常大——但题目中的GetT()是返回局部对象，所以不用考虑这种情况。

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