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中编译，只有一个名为。

的默认构造函数

Answer 2

  编辑：有人将问题标记为重复，但事实并非如此。一世   清楚地说明我认为C ++ 11标准包括复制省略。   然而，CLANG似乎没有像某些东西那样的行为   作为建设者的关键。

这是链接：   http://en.cppreference.com/w/cpp/language/copy_elision
     显然，它说的是C ++ 11。我相信cppref。

是我将它标记为傻瓜。从您链接的页面：

在以下情况下，编译器允许，但是   不要求省略copy-move-（自C ++ 11以来）构造

当一个无名的临时，没有绑定任何引用时，将被复制或移动（自C ++ 11）到相同类型的对象（忽略顶级cv资格），复制/移动（自C ++ 11）被省略。 （直到C ++ 17）

此优化是强制性的;往上看。 （自C ++ 17起）

正如您所看到的那样，移动构造函数将是必需的，因为复制省略不是必需的，而是建议在C ++之前17。 C ++ 17编译器不应该在相同的情况下抱怨删除的移动构造函数。

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

2 个答案: