c++ - 当 const 引用绑定(bind)到临时引用时，堆栈中会发生什么？

Question

C++ 标准允许将 const 引用绑定(bind)到右值，从而延长临时对象的生命周期，直到引用超出范围。但是，我无法弄清楚这实际上是如何编译的，让我用一个例子来解释:

std::string foo() {
    return std::string("foo");
}

void bar() {
    VeryBigObject obj;
    // Perhaps do something with the big object
}

int main(int, char **) {
    const std::string &foo_str = foo();
    bar();
    return 0;
}

据我所知，以 x86 架构为例，首先调用函数 foo() 并在堆栈中构造字符串对象，这意味着从 rsp 寄存器中减去所需的空间量(假设 64 位架构)；之后，rsp 寄存器返回到它的原始值，释放函数 foo() 填充的堆栈空间，如果我理解正确的话，调用 bar() 将使用该堆栈空间来构造 VeryBigObject，这将覆盖字符串。

考虑到所有这些，如何在程序集域中调用 foo() 后延长字符串的生命周期？

Answer 1

临时返回值将在 main 的堆栈帧中构造，或者通过从 foo 的堆栈帧复制/移动一个临时值，或者更可能的是，使用 RVO 来删除拷贝并直接在调用者的框架中构造它。

一旦绑定(bind)到引用，临时文件将与引用一样长。实际上，临时变量的管理方式与具有相同作用域的命名变量的管理方式完全相同。