为什么std :: make_shared <class T,class ... Args>(Args && ... args)要求T有复制构造函数？

Question

我不明白为什么一个具有已删除的复制构造函数的类(或包含成员,如ifstream,具有已删除的复制构造函数,并且它也具有已删除的复制构造函数)的类不能与make_shared()一起使用？这段代码显示了我在说什么

class X {
 private:
     X(const X&) = delete;
     int x;
 public:
     X(int an_int)  : x{an_int} {};
     X() : x{10} {}
 };
int main(int argc, char** argv) 
{
   // fails because X has no copy constructor 
   shared_ptr<X> ptr { make_shared<X>( X{8} ) };

   shared_ptr<X> ptr2 { new X{10} };// works fine

   return 0;
}

Answer 1

您可能会遗漏make_shared将其参数转发给X的构造函数的事实.在这种情况下,您将X{8}作为构造函数参数传递,因此make_shared强制尝试复制或移动构造.

在此特定示例中,删除复制构造函数已隐式删除了移动构造函数,从而阻止了临时构造X{8}.

你可能想写的是:

shared_ptr<X> ptr { make_shared<X>(8) };