MSVC不能返回可以复制但不能移动的对象

Question

class Obj {
 public:
  Obj() = default;

  Obj(Obj&&) = delete;
  Obj(const Obj&) { std::cout << "Copy" << std::endl; }
};

Obj f1() {
  Obj o;
  return o; // error C2280: move constructor is deleted
}

Obj f2() {
  Obj o;
  return Obj(o); // this however works fine
}

int main() {
  Obj p = f1();
  Obj q = f2();

  return 0;
}

GCC和Clang接受此代码，并且能够在这两种情况下使用复制省略。

在F1()中，MSVC抱怨无法返回O，因为删除了obj的move构造函数。但是，我希望它能够依靠复制构造函数。这是MSVC中的一个bug，还是这个想要的行为（我不明白）和GCC/Clang太允许了？

如果我提供了一个move构造函数，MSVC就可以在编译为release时省略move。

Answer 1

F1()上缺少错误是clang和GCC中的一个bug。它被固定在Clang的树干尖端。

F1()不符合强制删除复制的条件。

删除的函数参与重载解析。如果选择它们作为最佳重载，则程序格式不良。在F1()中，通过重载解析选择已删除的move构造函数。