临时对象的存储与处理机制解析——含代码示例相关疑问

这个问题问到点子上了！咱们从你给出的代码例子入手，再扩展到通用类型的场景：

先看int这类标量类型的情况 #

先贴你的代码：

int a = 5; int b = 10; int c = a + b; //(a+b)的值存储在何处？
a = a + b; //此时该值又存储在何处？

对于int这种简单标量，编译器的优化空间非常大：

• 第一行int c = a + b;：
  通常a + b的计算结果会直接存在CPU寄存器（比如x86架构的eax寄存器）里，然后直接把寄存器的值写入c的栈内存位置——不会额外在栈上创建临时变量存这个值。除非你强制关闭所有编译器优化，才可能看到栈上临时存储的情况，但这是极端场景。
• 第二行a = a + b;：
  逻辑和上面类似，计算结果先留在寄存器里，然后直接覆盖a的栈内存，没有多余的复制步骤。

你猜想“临时对象类似局部变量存在栈顶”，这个说法对复杂类型更适用，标量类型因为体积小、操作快，编译器会优先用寄存器来省掉栈操作。

再聊非int类型的通用场景 #

当操作数是自定义类、std::string、std::vector这类复杂类型时，临时对象的处理就更贴近你的初始猜想：
举个例子：

std::string s1 = "hello";
std::string s2 = "world";
std::string s3 = s1 + s2; // s1+s2生成临时string
s1 = s1 + s2; // 同样生成临时string

• 对于std::string s3 = s1 + s2;：
  s1 + s2会生成一个临时std::string对象，这个对象确实存在当前函数的栈帧里。不过现代编译器（C17及以后）会做强制拷贝消除，直接在s3的内存位置构造这个临时对象，完全跳过复制；C17之前则可能先构造临时对象，再移动（而非复制）到s3，效率也很高。
• 对于s1 = s1 + s2;：
  首先生成临时对象存在栈上，然后调用std::string的赋值运算符，把临时对象的内容移动到s1的内存空间，之后临时对象会在当前表达式结束时自动销毁。

总结几个关键结论 #

• 标量类型（int、char、指针等）：临时值优先用寄存器存储，直接写入目标变量，几乎不会有栈上临时对象的复制开销。
• 复杂类型（自定义类、STL容器等）：临时对象通常存在当前函数的栈帧中，但编译器会通过返回值优化（RVO）、移动语义、拷贝消除等手段，尽可能减少不必要的复制。
• 临时对象的生命周期：默认只在当前表达式范围内有效，表达式结束后自动销毁；除非被绑定到const引用，此时生命周期会延长到引用的生命周期结束。

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