在 S = S(） 中，保证不会创建临时

In S s = S() is it guaranteed that no temporary will be created?

本文关键字：创建      更新时间：2023-10-16

在下面的代码中，pS和s.pS保证在最后一行相等吗？换句话说，在语句S s = S();中，我能确定不会构造临时S吗？

#include <iostream>
using namespace std;
struct S
{
  S() { pS = this; }
  S* pS;
};
int main()
{
  S s = S();
  S* pS = &s;
  cout << pS << " " << s.pS << endl;
}

在每个编译器中，我都用pS == s.pS测试过这一点，但我对标准不够熟悉，无法满足自己这是有保证的。

否

编译器没有义务执行复制省略。该标准只是规定 [class.copy]：

当满足某些条件时，允许实现省略类对象的复制/移动构造 [...]

我可以通过-fno-elide-constructors禁用复制省略，然后两个指针肯定会不同。例如：

$g++ -std=c++11 -Wall -pedantic -fno-elide-constructors -Wall -Wextra main.cpp && ./a.out
0x7fff5a598920 0x7fff5a598930

在一般情况下，如果我们添加 S(S&& ) = delete ，那么上面的代码甚至不会编译。

大多数编译器执行所谓的复制/移动 elision，这是由 C++ 标准指定的。但这并不能保证。例如，您可以在 gcc 中使用 -fno-elide-constructors 进行编译，您将看到所有构造函数的所有荣耀。

科里鲁的现场例子

不能保证不会有临时的。但是三大编译器会优化它(即使使用-O0开关(。

要保证根本没有临时性，只需编写：

int main()
{
  // ...
  S s{};
  // ...
}

或者干脆S s;.

相关文章：