如何在构造函数中为成员 unique_ptr 赋予默认值？ [复制]

Question

例如，我有一个班级

class A
{
public:
    // argument with default value is too long, any better way
    A(std::unique_ptr<int> data = std::unique_ptr<int>(new int(10))) 
        : mData(std::move(data))
    {}

    // Is r-value better? Is the following code okay?
    A(std::unique_ptr<int>&& data = std::unique_ptr<int>(new int(10)))
        : mData(data)
    {}

private:
    std::unique_ptr<int> mData;
};

Answer 1

乍一看，似乎可以这样做：

A (std::unique_ptr<int> data = {new int(10)}) 
    : mData(std::move(data))
{}

注意花括号的使用（即统一初始化。）但是，这不起作用（不编译，）因为unique_ptr构造函数接受一个指针被声明为explicit，这排除了它在这里的使用。

您还可以这样做：

A (int * data = new int(10)) 
    : mData (data)
{}

也就是说，接受一个普通的指针并从中构造你的成员。而且您也不需要离开它（不过仍然建议使用std::move。）

这个确实可以编译并且可以工作，但是它有一个致命的缺陷，即尽管您正在接管传入指针的所有权（您将转到 delete 它），但您并没有在界面中显示此行为.因此，这个新界面将比以前的界面提供更少的信息。

还有一种方法是写一个快捷函数模板，像这样：

template <typename T>
std::unique_ptr<T> uptr (T * v)
{
    return std::unique_ptr<T>(v);
}

然后，你的构造函数变成：

A(std::unique_ptr<int> data = uptr(new int(10))) 
    : mData(std::move(data))
{}

但在我看来，这并没有太大的改进。

但是，如果这个特定用例是您的全部问题，为什么不直接定义一个默认构造函数和一个单参数构造函数，如下所示：

A () 
    : mData (new int (10))
{}

/*explicit*/ A (std::unique_ptr<int> data)
    : mData(std::move(data))
{}

这更明智。 （请注意，将explicit 放在那里是一个好主意和好形式，但与您的问题无关，因此我已将其注释掉。）

另外，你的第二个构造函数实际上并没有移动任何东西。在这种情况下，r 值引用类型不像您认为的那样工作。简而言之，既然data 有了名字，它就不再是一个右值，尽管它的类型仍然是对某事物的右值引用。