如何将std :: unique_ptr传递给函数

如何将a传递std::unique_ptr给函数？可以说我有以下课程：

class A
{
public:
    A(int val)
    {
        _val = val;
    }

    int GetVal() { return _val; }
private:
    int _val;
};

以下内容无法编译：

void MyFunc(unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(ptr);

    return 0;
}

为什么不能将a传递std::unique_ptr给函数？当然这是构建的主要目的吗？还是C ++委员会打算让我退回到原始C风格的指针并像这样传递它：

MyFunc(&(*ptr)); 

最奇怪的是，为什么这是一种好的传递方式？似乎非常不一致：

MyFunc(unique_ptr<A>(new A(1234)));

这里基本上有两个选择：

通过引用传递智能指针

void MyFunc(unique_ptr<A> & arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(ptr);
}

将智能指针移到函数参数中

请注意，在这种情况下，断言将成立！

void MyFunc(unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(move(ptr));
    assert(ptr == nullptr)
}

您正在按值传递它，这意味着要进行复制。那不是很独特，是吗？

您可以移动值，但这意味着将对象的所有权及其对生存期的控制权传递给函数。

如果保证对象的生存期在对MyFunc的调用的生存期内，只需通过传递原始指针ptr.get()。

为什么不能将a传递unique_ptr给函数？

您不能执行此操作，因为unique_ptr具有移动构造函数，但没有副本构造函数。根据标准，当定义了移动构造函数但未定义复制构造函数时，将删除该复制构造函数。

12.8复制和移动类对象

...

7如果类定义未显式声明一个副本构造函数，则隐式声明一个副本构造函数。如果类定义声明了move构造函数或move赋值运算符，则隐式声明的copy构造函数将定义为delete；

您可以unique_ptr使用以下方法将传递给函数：

void MyFunc(std::unique_ptr<A>& arg)
{
    cout << arg->GetVal() << endl;
}

并像使用它一样使用它：

要么

void MyFunc(std::unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

并像这样使用它：

std::unique_ptr<A> ptr = std::unique_ptr<A>(new A(1234));
MyFunc(std::move(ptr));

重要的提示

请注意，如果使用第二种方法，ptr则在调用return之后没有指针的所有权std::move(ptr)。

void MyFunc(std::unique_ptr<A>&& arg)void MyFunc(std::unique_ptr<A>& arg)由于两者都是引用，因此具有相同的效果。

在第一种情况下，ptr在调用之后，该指针仍具有所有权MyFunc。

由于MyFunc不拥有所有权，因此最好拥有：

void MyFunc(const A* arg)
{
    assert(arg != nullptr); // or throw ?
    cout << arg->GetVal() << endl;
}

或更好

void MyFunc(const A& arg)
{
    cout << arg.GetVal() << endl;
}

如果您确实想拥有所有权，则必须移动资源：

std::unique_ptr<A> ptr = std::make_unique<A>(1234);
MyFunc(std::move(ptr));

或直接传递r值参考：

MyFunc(std::make_unique<A>(1234));

std::unique_ptr 并没有副本来保证只有一个所有者。

为什么不能将a传递unique_ptr给函数？

您可以但不能复制-因为std::unique_ptr<>它不可复制。

当然这是构建的主要目的吗？

除其他事项外，std::unique_ptr<>旨在明确标记 唯一所有权（与相对std::shared_ptr<>）。

最奇怪的是，为什么这是一种好的传递方式？

因为在这种情况下，没有复制构造。

因为unique_ptr是唯一所有权，所以如果您要将其作为参数传递，请尝试

MyFunc(move(ptr));

但在那之后的状态ptr中main会nullptr。

std::unique_ptr<T>作为值传递给函数不起作用，因为正如您提到的那样，unique_ptr不可复制。

那这个呢？

std::unique_ptr<T> getSomething()
{
   auto ptr = std::make_unique<T>();
   return ptr;
}

该代码有效