函数局部变量与临时对象生命周期的跨编译器差异原因咨询

我在不同编译器中观察到了不一致的行为：在GCC中，临时对象和局部变量会在表达式末尾被销毁；而在MSVC编译器中，局部变量和临时对象则在函数末尾被销毁。请问出现这种行为差异的原因是什么？

示例代码 #

#include <iostream>
using namespace std;

struct X{ 
    X() 
    {
        std::cout << "X::X() " << '\n';
    }

    X(const X& arg)
    {
        std::cout << "X::Copy" << '\n';
    }

    X(X&& arg)
    {
        std::cout << "X::move" << '\n'; // 修正原代码笔误：应为X::move而非C::move
    }
        
    ~X(){ std::cout << "Goodbye, cruel world!\n"; }

};

X f(X x){
    X arg{};
    std::cout << "Inside f()\n";
    return x;
}

void g(X x){
    std::cout << "Inside g()\n";
}

int main()
{
    X arg{};
    g(f(arg));
}

编译器输出 #

GCC输出:

X::X() 
X::Copy
X::X() 
Inside f()
X::move
Goodbye, cruel world!
Inside g()
Goodbye, cruel world!
Goodbye, cruel world!
Goodbye, cruel world!

MSVC输出:

X::X() 
X::Copy
X::X() 
Inside f()
X::move
Goodbye, cruel world!
Goodbye, cruel world!
Inside g()
Goodbye, cruel world!
Goodbye, cruel world!

问题解答 #

1. 移动构造函数的调用位置

输出中的X::move是在函数f返回参数x时触发的：f的返回值是按值传递，此时x作为即将销毁的函数参数，符合移动语义的触发条件，编译器会调用移动构造函数将x的资源转移到返回值临时对象中。

2. 销毁的对象与时机

先梳理所有创建的对象：

• main函数中的局部对象arg（构造输出：X::X()）
• f的函数参数x（由main的arg拷贝构造，输出：X::Copy）
• f内部的局部对象arg（构造输出：X::X()）
• f返回的临时对象（由x移动构造，输出：X::move）
• g的函数参数x（由f的返回临时对象构造，此处被编译器优化省略了拷贝/移动）

GCC的销毁逻辑：

• 第一个Goodbye：销毁f内部的局部对象arg，时机是f返回后、g开始执行前（表达式f(arg)执行完毕，进入g调用前）。
• 后续三次销毁：分别是f的参数x、g的参数x、main的arg，均在对应生命周期结束时销毁。

MSVC的销毁逻辑：

• 前两个Goodbye：同时销毁f的参数x和内部局部对象arg，时机推迟到g执行完毕后（整个g(f(arg))表达式执行结束）。
• 后两个销毁：对应g的参数x和main的arg。

3. 行为差异的原因

本质是不同编译器对C++标准中临时对象生命周期和函数参数销毁时机的实现细节与优化策略不同：

• C++标准允许编译器在不改变程序可见行为的前提下，调整对象的销毁时机，只要符合对象生命周期的基本规则（比如对象必须在其所有使用结束后销毁）。
• GCC倾向于尽早销毁不再使用的对象（如函数局部变量、参数），以释放资源；而MSVC在某些场景下会延迟销毁这些对象，直到包含函数调用的完整表达式结束，这是编译器自身的优化策略选择，均符合标准要求。

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