unique_ptr，make_unique和多态

Question

如果make_unique设计像这样，将不会更加有用：

template< typename T, typename U=T, typename ...ArgT>
unique_ptr<T> make_unique( ArgT ...args )
{
    return unique_ptr<T>( new U(args...) );
    // maybe parameters should be forwarded, not really important for this question
}

这样就可以用它来创建派生对象？
有人知道不这样做的原因吗？

Answer 1

由于没有意义，因此您可以在调用后进行转换。

std::unique_ptr<T> p = std::make_unique<U>(args);

因此，如果有一个采用std::unique_ptr<T>的函数，您仍然可以

func(std::make_unique<U>(args));

对于您的实时示例，您可以执行以下操作：

the_list.push_back( make_unique<Child>(1) );

您的建议有什么好处？ 似乎无缘无故地输入更多内容。

（此外，通常这是不安全的，因为它假定基类具有虚拟析构函数，因此在转换unique_ptr对象时需要格外小心，因此使用make_unique鼓励使用它可能会有风险。）

Answer 2

如果查看其定义，您会发现std :: unique_ptr可以从派生的移动到基数。 请参阅https://stackoverflow.com/a/57797286/3758879