如何在使用模板时初始化数组 <typename T> C ++

Question

通常，如果我有例如string array[10]我可以初始化数组中的所有点，如：

for(int i = 0; i < 10; i++)
    array[i] = "";

或者如果它是一个带指针的数组，我会编写array[i] = nullptr ，但是当类型更像T array[10]时，我该如何初始化？

Answer 1

如果只需要值初始化，则可以使用空括号对所有数组成员进行值初始化：

T array[10]{};
//         ^^

要么：

T array[10] = {};

值初始化为标量生成零值或空值，为聚合值初始化每个成员，并为非聚合类类型调用默认构造函数。

（如果要使用T{}以外的值初始化数组元素，则需要更复杂和特定的内容。）

Answer 2

那么你可以像标准那样做，并使用形式的初始化函数

template<typename T, std::size_t N>
void initialize(T (&arr)[N], const T& value = T())
{
    for(auto& e : arr)
        e = value;
}

现在你可以调用它，而不是传递一个值，并使用默认值初始化数组，或者你可以指定一个值，数组将用该值初始化。

Answer 3

如果您的目标是在数组的所有元素上调用默认构造函数，则可以使用值初始化：

#include <iostream>
#include <string>
#include <cassert>

template <typename T>
struct A {
  // value-initialize `array` which value-initializes all elements of `array`.
  A() : array() {}
  T array[10];
};

int main() {
    A<int> ints;

    for(auto e: ints.array) {
        assert(e == 0);
    }

    A<std::string> strings;

    for(auto e: strings.array) {
        assert(e.empty());
    }

    A<int*> int_ptrs;

    for(auto e: int_ptrs.array) {
        assert(e == nullptr);
    }

    // etc.
}