为什么结构的析构函数是否运行取决于成员变量的类型？

Question

我对C++还很陌生,在研究构造函数和析构函数行为时,我发现了这个问题：

#include <iostream>
using namespace std;
struct Student
{
    string a;
    ~Student()
    {
        cout << "Destructor called" << endl;
    }
};
Student S;
void TesDes()
{
    cout << "Call TesDes" << endl;
    S = {"uet"};
}
int main(int argc, char *argv[])
{
    cout << "start" << endl;
    TesDes();
    cout << S.a << endl;
    return 0;
}

当我运行上面的代码时，输出是：

start
Call TesDes      
Destructor called
uet
Destructor called

但是，当我将字符串A；更改为int A；并将s={“uet”}；更改为s={2}；时，则输出为：

start
Call TesDes
2
Destructor called

有人能解释一下为什么这个改变会使析构函数少运行一次吗？

Answer 1

你看到的是拷贝的剪辑。这是一种在某些情况下将绕过临时对象构造的优化。

在GCC中，可以通过传递以下编译器标志来禁用它（尽管通常不建议这样做）：

-fno-elide-constructors

在您的例子中，我相信优化是由于结构变成了一个普通类型而触发的，因此它被视为POD（普通旧数据），内存被简单地修改而不构造一个对象。

显示-fno-elide-constructors效果的现场演示:https://godbolt.org/z/6eqe8ea69