c – 为什么删除移动语义会导致std :: vector的问题？

参见英文答案 > What’s the exact semantics of a deleted function in C++11?2
做了一些研究后,我看到 C++11 has a defect与分配器需要类型是可移动/可复制的.我确信这是这个问题的原因,但是我对被删除和未声明的移动语义之间的行为感到困惑.

我有以下代码无法在MSVC12和Clang上编译：

#include <vector>

class Copyable
{
public:
   Copyable() = default;

   Copyable(Copyable const& other)
      : m_int(other.m_int)
   {}

   Copyable& operator= (Copyable const& other)
   {
      m_int = other.m_int;
      return *this;
   }

   Copyable(Copyable&&) = delete;
   Copyable& operator= (Copyable&&) = delete;

private:
   int m_int = 100;
};

int main()
{
   std::vector<Copyable> objects;
   objects.push_back(Copyable{});
}

这无法在MSVC上编译：

xmemory0(600): error C2280: ‘Copyable::Copyable(Copyable &&)’ : attempting to reference a deleted function

和Cl(live sample)：

new_allocator.h:120:23: error: call to deleted constructor of ‘Copyable’

在这两种情况下,当我删除显式删除的移动构造/分配方法时,代码编译. AFAIK当你声明复制分配/构造方法时,编译器不会隐式声明相应的移动成员.所以他们还应该被有效地删除,对吧？为什么我删除显式删除移动构造/赋值时代码编译？

这个C11缺陷的一般解决方法是什么？我不希望我的对象是可移动的(但它们是可复制的).

void do_stuff( int  x ) { std::cout << x << "n"; }
void do_stuff( double ) = delete;

void do_stuff2( int  x ) { std::cout << x << "n"; }
//void do_stuff2( double ) = delete;

int main() {
  do_stuff(3); // works
  //do_stuff(3.14); // fails to compile
  do_stuff2(3); // works
  do_stuff2(3.14); // works,calls do_stuff2(int)
}