在S s = S（）中，是否保证不会创建临时值？

Question

在下面的代码中， 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对此进行了测试，但我对标准不够熟悉，以确保能够保证这一点。

Answer 1

没有

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

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

我可以通过-fno-elide-constructors elide -fno-elide-constructors禁用copy elision，然后两个指针肯定会有所不同。 例如：

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

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

Answer 2

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

Coliru的实例

Answer 3

无法保证不会有临时性。 但三巨头编译器将优化它（即使使用-O0开关）。

为了保证没有临时性，只需写：

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

或者只是S s; 。