使用默认成员初始值设定项初始化std :: array的元素

Question

假设我有一个这样的类模板：

template<typename T, size_t N>
struct S {
   std::array<T,N> a;
};

是否有一个默认的成员初始化我可以放置a ，

template<typename T, size_t N>
struct S {
   std::array<T,N> a = ???;
};

这样，无论什么T是，的元素a总是会被初始化（永远不会有超静定值）？ 即，即使T是像int这样的原始类型。

Answer 1

这个：

template<typename T, size_t N>
struct S {
   std::array<T,N> a = {};
};

这将以递归方式从{}复制初始化每个元素 。 对于int ，这将零初始化。 当然，有人总能写：

struct A {
    A() {}
    int i;
};

这将阻止i被初始化。 但那就是他们。

Answer 2

std::array是一种聚合类型。 您可以使用空括号{}聚合初始化它，并相应地初始化std::array包含的T的内部数组的元素。