为什么当我不移动任何东西时,clang会抱怨删除的移动？

Question

前提:

#include <iostream>
using namespace std;

class ABC {
 public:

   ABC() {
     cout << "Default constructor ..\n";
   }

   ABC(const ABC& a) {
     cout << "In copy constrcutor ..\n";
   }
   ABC(ABC&& aa) = delete;
};

int main(int argc, char* argv[]) {
  ABC b{ABC{}};
  return 0;
}

用GCC vs Clang编译它

Clang - Apple LLVM version 8.1.0 (clang-802.0.42)

Gcc - 5.4.0 ubuntu

观察 Clang抱怨删除了Move构造函数.

Gcc完全不抱怨.并将正确输出.

问题为什么？

对于gcc,我知道如果你只是初始化lvalue和rvalue,它会优化并且实际上不会调用复制构造函数并将临时值复制到左值.

为什么Clang有所不同？我认为(不确定,因此问题)这是在C++标准中,哪一个偏离(或不)？或者我做错了什么.

编译命令:g++ --std=c++11 -O3 file.cpp

为了更多的乐趣,删除花括号,并添加括号;)

ABC b{ABC{}};to,ABC b(ABC());与此问题无关.

编辑:有人将问题标记为重复,但事实并非如此.我明确表示我认为C++ 11标准包括复制省略.但是,CLANG似乎对构造函数的关键性没有相同的行为.

这里是链接:http://en.cppreference.com/w/cpp/language/copy_elision

很明显,它说的是C++ 11.我相信cppref.

Answer 1

ABC{}是临时的,所以ABC b{ABC{}}会使用移动构造函数(即使可以使用elision).

删除移动构造函数时,您应该收到错误.

你的gcc版本有一个错误,并没有通过错误的省略来检测错误.

在C++ 17中,有了保证拷贝省略,甚至删除了构造函数都可以省略.因此,您的代码将在C++ 17中编译,只有一个默认构造函数被调用.