如何在嵌套向量中构造不可复制、不可移动的类？答案

【问题标题】：How to contruct non-copyable, non-moveable class in a nested vector?如何在嵌套向量中构造不可复制、不可移动的类？
【发布时间】：2022-01-15 02:49:24
【问题描述】：

我想使用不可复制、不可移动类的非默认构造函数来构造向量。使用默认构造函数它工作正常，我可以构造一个向量，只要我不调整它的大小。但不知何故，使用非默认构造函数似乎必须复制。有谁知道我是否可以在构造过程中使用非默认构造函数避免复制操作，以便我可以继续使用向量？

#include <vector>
#include <mutex>

class A {
    public:
    A(int num) : vec(num) {}
    private:
    std::vector<std::mutex> vec; 
};

class B {
    public:
    B(int numB, int numA) : vec(numB, numA) {}
    private:
    std::vector<A> vec;
};

int main() {
    B b(2, 3);
    return 0;
}

当我尝试编译时，我得到：

/usr/include/c++/9/bits/stl_uninitialized.h:127:72: error: static assertion failed: result type must be constructible from value type of input range

【问题讨论】：

“构造一个非嵌套向量工作正常” 这是值得怀疑的。也许您设法创建了一个默认构造向量，但您将无法向其中插入任何内容。 std::vector 与不可移动类型不兼容。
相关：How can I use something like std::vector<std::mutex>?
您可以使用将 unique_ptr 存储到不可复制和不可移动对象的向量。
@user17732522 重新打开。
这个问题的一个细微差别是，当您调用vec(numB, numA) 时，实际上是通过A 的单参数构造函数将numA 转换为A(numA)，该构造函数未标记为@ 987654329@.

标签： c++ c++17

【解决方案1】：

您可以直接使用std::vector<std::mutex>，因为使用标准库容器时的类型要求仅限于调用它们的函数所需的类型。

一旦你用一些元素构造了std::vector<std::mutex>，只有可能添加新元素或删除旧元素的操作需要值类型是可移动的。访问向量元素和移动向量本身不是问题。

使用vec(num) 构造向量是可行的，因为它仅默认构造已知数量的元素。它可以在存储中就地构造新元素。

vec(numB, numA) 使用的构造函数实际上将元素的数量和const 对值类型对象的左值引用作为参数。它不需要构造函数参数来从就地构造新元素。相反，当您传递numA 时，numA 会隐式转换为A（通过非explicit 构造函数），并且对该A 的引用被传递给构造函数。然后指定构造函数从传递的对象复制构造向量元素。但是因为std::vector<std::mutex> vec; 不可复制，A 也不能复制，所以它失败了。

但是std::vector 的另一个构造函数可以在没有复制/移动构造函数的情况下构造对象：构造函数采用迭代器范围。但是，要使用它，我们首先需要使用构造函数参数构造一个迭代器范围，以传递给向量元素的构造函数：

auto args = std::vector(numB, numA);
vec = {args.begin(), args.end()};

或者，使用显式类型：

std::vector<int> args(numB, numA);
vec = std::vector<A>(args.begin(), args.end());

如果您想在成员初始化器列表中执行此操作，您可以将其委托给成员函数或 lambda 和 return 而不是 vec =。

迭代器范围构造函数通过转换*it就地构造向量元素，如果迭代器是前向迭代器（如上例），则构造函数不需要任何移动操作。

注意vec.assign(args.begin(), args.end()) 不起作用，因为assign 允许使用赋值而不是构造。

【讨论】：