c++ - 在 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]:

When certain criteria are met, an implementation is allowed to omit the copy/move construction of a class object [...]

我可以通过-fno-elide-constructors禁用复制省略，那么这两个指针肯定会不一样。例如:

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

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