为什么 array<T*, N> 的元素的默认初始化需要 C++14？

Question

考虑以下 MWE (https://godbolt.org/g/aydjpW)：

#include <cstdlib>
#include <array>
template<size_t N> constexpr std::array<void*, N> empty_array{};

我的目标是拥有一个大小为N 的数组，其中每个元素都是默认初始化的（在这个MWE 的情况下，一个nullptr）。带有-std=c++11 的 g++ 5.4.0 抱怨

变量模板仅适用于 -std=c++14 或 -std=gnu++14

我不明白为什么。根据http://en.cppreference.com/w/cpp/container/array，array<T, N> 存在于 C++11 和隐式声明的构造函数

按照聚合初始化的规则初始化数组

点击http://en.cppreference.com/w/cpp/language/aggregate_initialization聚合初始化描述的链接，上面写着

如果初始化子句的数量小于 成员或初始化列表完全为空，其余成员 是值初始化的。

因此，我的假设是我上面的代码是有效的 C++11。我在这里缺少什么变量模板以某种方式涉及，这需要 C++14？

Answer 1

要声明一个包含 5 个元素的 array：

constexpr std::array<void*, 5> empty_array{};

要声明一个包含 10 个元素的 array：

constexpr std::array<void*, 10> empty_array{};

要声明一个 N 元素的数组，其中 N 不固定，您需要使用一个模板，该模板可以针对不同的 N 值进行实例化：

// A variable of type std::array<void*, N> where N is not fixed yet:
template<size_t N> constexpr std::array<void*, N> empty_array{};

// Then given a function like this:
void do_something(const std::array<void*, 5>&);

// You use the variable like this, by giving the value of N:
void some_function() {
  do_something(empty_array<5>);
}

但这是一个变量模板，它是 C++14 中的一个新特性。您不能在 C++11 中执行此操作，因此会出现编译器错误。

要么使用 C++14，要么做类似的事情：

// An alias template defining a _type_ of array with no fixed N:
template<std::size_t N>
  using voidptr_array = std::array<void*, N>;

constexpr voidptr_array<5> empty_array_of_5{};
constexpr voidptr_array<10> empty_array_of_10{};

void do_something(const std::array<void*, 5>&);

void some_function() {
  do_something(empty_array_of_5);
}

这个别名模板定义了一个以 N 作为参数的 type，而不是一个以 N 作为参数的 variable。您仍然需要定义该类型的变量，例如 empty_array_of_5 和 empty_array_of_10。

Answer 2

C++14 中引入了变量模板，见http://en.cppreference.com/w/cpp/language/variable_template