求教一个 c++语法问题, 这段代码为何只析构一次呢

[jdz]

class excption_test
{
public:
excption_test();
~excption_test();
};

excption_test::excption_test()
{
std::cout << "in constructor\n";
}

excption_test::~excption_test()
{
std::cout << "auto in destructor??\n";
}

excption_test get_ex()
{
excption_test c;
return c;
}

int main()
{
excption_test m = get_ex();
return 0;
}

我理解 get_ex()函数中创建了一个对象, 离开栈的时候会进行析构, 析构 c 对象, 同时调用拷贝构造函数拷贝给 main 函数中的 m 变量, 在 main 函数结束的时候再析构 m 对象

[hello2060]

很久没有搞 c++已经想不起来了，你这个 getex()对吗，确定这种写法没啥问题？

[hello2060]

我是只直接返回一个栈上对象

[hello2060]

如果可以的话看看有编译器优化吗

[jdz]

@hello2060 是对的，我测试过。另外不太会看编译器优化，我觉的编译器优化不会改变程序执行结果

[codehz]

@jdz RVO 是强制的，NRVO 是可选的，具体内容自己搜索

[twoconk]

楼上是正解，实际项目中通常返回堆内存，RVO 即返回值优化，可以少做一次拷贝构造。

[zhuangzhuang1988]

这个直接看 <深入理解 C++对象模型>
里面有很多关于 这样的题目
怎么重写

[sfqtsh]

See https://en.wikipedia.org/wiki/Copy_elision

g++你可以加选项 -fno-elide-constructors 取消优化

[nightwitch]

触发了编译器优化呗，不一定是 RVO，有可能 get_ex()函数整个都被 inline 了，实际上的函数体是
int main(){
excption_test m;
return 0;
}

[nightwitch]

在 g++10.2，开最高级别的优化，你的代码实际上被编译成了

int main()
{
std::cout << "in constructor\n";
std::cout << "auto in destructor??\n";
return 0;
}

见 https://godbolt.org/z/14o3WY

[0x11901]

@nightwitch 编译器比我会写代码系列