从函数返回 std::vector<std::unique_ptr<T>>

Question

我试图从一个函数返回一个vector<unique_ptr>，但我遇到了错误。我正在使用 MSVC 19.33.31630。

this question 的 cmets 建议按值返回，但此代码：

std::vector<std::unique_ptr<int>> test1()
{
    std::vector<std::unique_ptr<int>> ret = { std::make_unique<int>(1) };
    return ret;
}

int main()
{
    std::vector<std::unique_ptr<int>> x = test1();
    std::unique_ptr<int>& ptrY = x.at(0);
    return 0;
}

产生此错误：

错误 C2280 'std::unique_ptr<int,std::default_delete<int>>::unique_ptr(const std::unique_ptr<int,std::default_delete<int>> &)'：试图引用已删除的函数

通过引用返回，如下代码：

std::vector<std::unique_ptr<int>>& test2()
{
    std::vector<std::unique_ptr<int>> ret = { std::make_unique<int>(1) };
    return ret;
}

int main()
{
    std::vector<std::unique_ptr<int>>& y = test2();
    std::cout << *(y.at(0)) << std::endl; 

    return 0;
}

产生相同的错误。

为什么会这样？ unique_ptr 的所有权是否没有正确转移？

Answer 1

感谢 @user4581301 在 cmets 中回答这个问题。 据我所知：

• test2() 将 std::vector 放在超出范围的堆栈上。
• test1() 最终将 unique_ptr 复制到 initializer_list

解决办法是按值返回，用 push_back/emplace_back 代替 initializer_list 来初始化向量：

std::vector<std::unique_ptr<int>> test3()
{
    std::vector<std::unique_ptr<int>> ret;
    ret.push_back(std::make_unique<int>(1));
    return ret;
}

int main()
{
    std::vector<std::unique_ptr<int>> x = test3();
    std::unique_ptr<int>& ptrY = x.at(0); 
    std::cout << *ptrY;

    return 0;
}

Answer 2

std::vector<std::unique_ptr<int>> x = test1();

您正在制作test1 在此处返回的向量的副本，这反过来又需要复制其所有内容。这就是赋值运算符= 默认所做的！只有在复制完成后，test1 的返回值才会超出范围并被破坏。

您正在尝试复制unique_ptrs；无法复制 unique_ptr。所以，这是正确的。

使用std::move 移动向量所持有的值。

更好的是，不要使用赋值运算符，而是直接从返回值构造，这将使用移动构造函数（如果函数按值返回）。