将向量转换为unique_ptr

Question

如何将向量转换/复制到unique_ptr ；？

这就是我想要实现的（向量源自另一个上下文，复制到unique_ptr后将被删除。unique_ptr是固定长度的，因此可以更高效地分配）。

std::vector<int> vv {1, 2, 3};

struct
    U {
        U(std::vector<int> v) { // copy constructor
            // copy vector v to unique_ptr u, HOW?
        }

        std::unique_ptr<int[]> u; 
};


U uu {vv}; // copy vector vv to unique_ptr uu, HOW?

我试图创建一个复制构造函数

U(std::vector<int> v) {
    u = std::make_unique<int[]>(v.size()); // OK
    std::copy(v.begin(), v.end(), u); // error: u has no copy constructor
}

那么，该如何构造复制构造函数呢？

实际上而且更重要的是，一旦构造好了，我想要unique_ptr ；在长度和内容上都是恒定的，所以在我的情况下应该是

std::unique_ptr<int const[]> const u; // const in both length and content

在这两种情况下，复制构造函数看起来如何？

案例1)std::unique_ptr u案例2)std::unique_ptr const u

Answer 1

你正在做的事情有几个问题。首先，您有两个副本而不是一个（在U构造函数中），然后，您需要在U上获取实际的迭代器，而不是U本身。

为了保证常量的正确性，您可以只使用一个中间的唯一指针，允许更改数据。

最后的代码应该如下所示:

struct U {
    U(const std::vector<int>& v) {
        auto data = std::make_unique<int[]>(v.size());
        std::copy(v.begin(), v.end(), data.get());
        u = std::move(data);
    }

    std::unique_ptr<int const[]> u; 
};

注意:一个矢量和你唯一的指针一样有效。数据访问模式将是相同的。开销仅在push_back或擦除时才存在。因为您没有执行这些操作，所以只需存储一个常量向量。

如果您想要常量std::unique_ptr ；u ，那么您需要添加一个static方法，该方法将向量转换为std::unique_ptr ，并且您的构造函数将在其上获取一个&，并将其移动到init列表中的u中。

struct U {
    U(std::unique_ptr<int const[]>&& u)
    : u(std::move(u)) {}

    static U create(const std::vector<int>& v) {
        auto data = std::make_unique<int[]>(v.size());
        std::copy(v.begin(), v.end(), data.get());
        std::unique_ptr<int const[]> u = std::move(data);
        return U(std::move(u));
    }

    const std::unique_ptr<int const[]> u; 
};

Answer 2

我看不出有什么原因，但下面是你如何做到这一点的

struct U {
    U(const std::vector<int>& v) : u{std::make_unique<int[]>(v.size())}{
        std::copy(v.cbegin(), v.cend(), u.get());
    }
    

    std::unique_ptr<int[]> u;
};
int main(){
    std::vector<int> vv {1, 2, 3};
    U uu {vv}; // copy vector vv to unique_ptr uu, HOW?
    std::for_each(uu.u.get(), uu.u.get()+3, [](auto el){std::cout << el << " ";});

}

演示

Answer 3

我试图创建一个复制构造函数

那不是复制构造函数。这是一个转换构造函数。

std::copy(v.begin(), v.end(), u); // error: u has no copy constructor

std::copy的第三个参数必须与前两个参数一样是迭代器。std::unique_ptr不是迭代器。

唯一指针指向数组。指针是数组的迭代器。所以，你需要的是一个指针。如何从唯一指针中获取指针？使用std::unique_ptr::get成员函数。

通过接受模板迭代器（或范围）而不是向量，可以使构造函数更加通用。另外，您可以避免复制两次（使用引用也可以避免）。

unique_ptr具有固定长度，因此可以更有效地分配

在如何分配向量和动态数组（例如由唯一指针管理的数组）方面几乎没有什么区别。即使存在一些差异，复制输入向量进行转换也比不复制效率低得多。