默认/删除移动构造函数和赋值存在RVO

Question

我想这个问题已经被问到了，但我还没有找到类似的答案。

让我们看一个人为的例子。

#include <iostream>
#include <string>
#include <cassert>

#define LOG \
  std::cout << __PRETTY_FUNCTION__ << ' ' << str_ << '\t' << this << std::endl;

    class Test {
     public:
      Test(std::string const &str) : str_(str) { LOG; }
      Test(Test const &rhs) : str_(rhs.str_) { LOG; }
      // Test(Test &&rhs) = delete;
      Test(Test &&rhs) : str_(std::move(rhs.str_)) { LOG; }
      // Test &operator=(Test const &rhs) {
      // if (this == &rhs) return this;
      //   str_ = rhs.str_;
      //   LOG;
      //   return *this;
      // }
      // Test &operator=(Test &&rhs) = delete;
      // Test &operator=(Test &&rhs) {
      //   assert(this != &rhs);
      //   str_.swap(rhs.str_);
      //   LOG;
      //   return *this;
      // }
      ~Test() { LOG; }
      static Test gen() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
        return Test("DUMMY");
      }

     private:
      std::string str_;
    };

    int main(void) {
      {
        Test test = Test("test");
        Test t(test);
      }
      std::cout << std::endl;
      { Test t0(Test("t0")); }
      std::cout << std::endl;
      {
        Test t1 = Test{"t1"};
        /// t1 = Test("t2");
      }
      std::cout << std::endl;
      { Test t(Test::gen()); }
      return 0;
    }

当我明确Test(Test &&test) = delete;并使用clang-3.4编译此段时，会发出如下错误：

simple.cc:29:12: error: call to deleted constructor of 'Test'
    return Test("DUMMY");
           ^~~~~~~~~~~~~
simple.cc:12:3: note: function has been explicitly marked deleted here
  Test(Test &&rhs) = delete;

当我自定义像src中的那个移动构造函数时，它会编译。然而

然而甚至没有移动构造函数（这是结果）：

Test::Test(const std::string &) test    0x7fff2e513448
Test::Test(const Test &) test   0x7fff2e513430
Test::~Test() test  0x7fff2e513430
Test::~Test() test  0x7fff2e513448

Test::Test(const std::string &) t0  0x7fff2e513428
Test::~Test() t0    0x7fff2e513428

Test::Test(const std::string &) t1  0x7fff2e513410
Test::~Test() t1    0x7fff2e513410

static Test Test::gen()
Test::Test(const std::string &) DUMMY   0x7fff2e5133f8
Test::~Test() DUMMY 0x7fff2e5133f8

后来我发现它可能来自return value optimization所以我再次使用-fno-elide-constructors进行编译。这次结果如下：

Test::Test(const std::string &) test    0x7fff9590cd90
Test::Test(Test &&) test    0x7fff9590cd98
Test::~Test()   0x7fff9590cd90
Test::Test(const Test &) test   0x7fff9590cd78
Test::~Test() test  0x7fff9590cd78
Test::~Test() test  0x7fff9590cd98

Test::Test(const std::string &) t0  0x7fff9590cd68
Test::Test(Test &&) t0  0x7fff9590cd70
Test::~Test()   0x7fff9590cd68
Test::~Test() t0    0x7fff9590cd70

Test::Test(const std::string &) t1  0x7fff9590cd48
Test::Test(Test &&) t1  0x7fff9590cd50
Test::~Test()   0x7fff9590cd48
Test::~Test() t1    0x7fff9590cd50

static Test Test::gen()
Test::Test(const std::string &) DUMMY   0x7fff9590ccf0
Test::Test(Test &&) DUMMY   0x7fff9590cd28
Test::~Test()   0x7fff9590ccf0
Test::Test(Test &&) DUMMY   0x7fff9590cd30
Test::~Test()   0x7fff9590cd28
Test::~Test() DUMMY 0x7fff9590cd30

按预期调用了move constructors。但是，显式删除move constructor仍会导致程序无法编译。

我的问题：

• 为什么在删除move constructor时报告错误？ 为什么DID与copy constructor不匹配（虽然与move constructor不完全匹配）？ C++03没有右值参考，编译器解决方案是什么然后？另外，我读了another question，我想在我的情况下，因为我指定了用户声明的复制构造函数，所以移动构造函数 不应该< / strong>是默认（因此它应该被删除？）我也意识到n3376对此有类似的写法。 clang是否符合标准？

• 这里有Return Value Optimization做了什么？ 特别是为什么调用Test::Test(const Test &)而不是Test::Test(Test &&)？（抱歉我没注意到RVO版本结果中只有一个复制构造函数调用）

  < / LI>

• 我也注意到move assignment的类似问题（如果删除了，那么编译抱怨错误）。那么这里发生了什么？

Answer 1

1. 即使编译器省略了副本或移动，该语言仍然要求该函数存在且可访问。这是为了使程序始终一致地编译，无论编译器是否省略或没有特定的复制/移动。

2. test有一个名称，因此它自动成为一个左值，而且不能使用＆＃39;在没有明确std::move的情况下离开。因此，编译器必须将test复制到t。

3. 我不明白您期望发生什么 - 我没有看到任何理由不会调用移动分配操作员。

简短版本是，如果移动或复制构造函数在优化之前被名义上称为，则它们必须存在且可访问。这只是语言标准的要求。