如何返回唯一指针的数组/向量？ [复制]

Question

使用原生数组、std::array 和 std::vector 尝试以下代码

typedef unique_ptr<int> UPtr;

UPtr[] f() // wrong, how to return a native array?
{
    UPtr a[] = { UPtr(new int(1)), UPtr(new int(2)) };
    return std::move(a);
}

std::array<UPtr, 2> g()
{
    std::array<UPtr, 2> a = { UPtr(new int(1)), UPtr(new int(2)) }; // compile ok but run wrong, 1 and 2 are not assigned
    return std::move(a); // wrong, call a deleted function
}

std::vector<UPtr> h()
{
    std::vector<UPtr> a = { UPtr(new int(1)), UPtr(new int(2)) }; // wrong, call a deleted function
    return std::move(a);
}

全部失败。这里有很多问题。如何修复它们？非常感谢。

Answer 1

由于std:array<T, N> 是一个聚合体，因此它的成员允许它是可复制的或可移动的。这意味着一切都应该按预期工作。事实上，以下代码可以使用 Clang、libc++ 和 -std=c++1y（后者为 std::make_unique 选择）编译良好，如果您拼写出 make_unique 调用，也可以在带有 libstdc++ 的 GCC 4.8 中编译：

#include <memory>
#include <array>

std::array<std::unique_ptr<int>, 2> f()
{
    std::array<std::unique_ptr<int>, 2> a = { {
        std::make_unique<int>(1), std::make_unique<int>(2) } };
    return a;
}

#include <iostream>

int main()
{
    auto a = f();
    std::cout << *a[0] << " " << *a[1] << "\n";

    for (auto const & p : f())
        std::cout << *p << "\n";
}

但请注意，大括号省略（尤其是在直接列表初始化的上下文中）和仅可移动类型的聚合初始化是 C++11 的新特性，供应商对此的支持进展缓慢，因此错误并不少见。

还请注意，std::vector<std::unique_ptr<int>> 的列表初始化（直接或复制）无法正常工作，因为这需要一个构造函数调用，该调用采用 std::initializer_list，它无法处理仅可移动的类型。相比之下，std::array 有效，因为在这种情况下，列表初始化是聚合初始化。