C++: 函数返回类对象时是否执行析构函数

#include<iostream>
using namespace std;
struct A
{
    A(){}
    A(const A&)
    {
        cout<<"Copy constructor\n";
    }
    ~A()
    {
        cout<<"Destructor\n";
    }
};
A f()
{
    return A();
}
A g()
{
    A a;
    return a;
}
int main()
{
    A a=f();
    cout<<"f\n";
    A b=g();
    cout<<"g\n";
}

VS2019结果：

f
Copy constructor
Destructor
g
Destructor
Destructor

MinGW64(g++ v8.3.0; 10.1.0)结果：

f
g
Destructor
Destructor

可以看到，在VS下，函数返回类对象时，如果是函数体内部构造的，则不执行拷贝构造函数，直接赋值给承接返回值的变量，就像承接返回值的变量和返回值是一个实例一样；如果是在return语句后面构造的，则就像以下代码一样执行：

A returnvalue;
A var(returnvalue);//拷贝构造函数
//销毁returnvalue

而在g++下，都是按照第一种情况处理的。

今天才发现，这坑踩过多少次了°(°ˊДˋ°) °

---

Update 2023/8/29: 在最新版VS环境下发现不加优化时f()返回会执行拷贝构造函数，但加了O2优化后就不执行了。建议读者在自己的系统上针对不同的编译器、不同的优化设置亲自测试一下。