当数组的大小是模板参数时，如何在构造函数初始化列表中初始化std::array成员

Question

在下面的示例中，我需要初始化A：：A（H H）构造函数初始值设定项列表中的std：：array（因为类H没有默认的构造函数），但我不能使用初始值设定项列表，因为数组大小是一个模板参数。

有办法解决这个问题吗？

#include <array>
using namespace std;

struct Hash {
    const vector<int> &data;

    Hash(const vector<int> &data)
        : data(data) {
    }

    uint64_t operator()(int id) const {
        return data[id];
    }
};

template <class H, size_t N>
class A {
public:
    A(H h) {
    }

    std::array<H, N> hashes;
};
    

int main () {
    vector<int> data{1, 2, 3, 4};

    A<Hash, 4> a{Hash(data)};
}

Answer 1

为了简化创建和扩展大小不固定的包的元编程任务，提供了std：：index\u序列。使用std：：make\u index\u sequence并将构造委托给某个私有构造函数，该构造函数可以推断包：

A(H h) : A(h, std::make_index_sequence<N>{}) {}

template <std::size_t... i>
A(H h, std::index_sequence<i...>) : hashes{((void)i, h)...} {}

在这里，（（val）i， h）是一个逗号表达式，计算结果为h，但由于我们在其中提到了packi，因此有资格使用...进行扩展。结果是h的N副本（i的每个元素一个）。此扩展发生在括号初始化列表中，因此结果是括号初始化列表，包含h的N副本，然后将初始化hash成员。