为何固定大小constexpr数组模板声明报错，可变大小却可行？

我们先看问题里的代码：

template<int N> constexpr float x[2]; // 编译报错：未初始化的constexpr变量
template<int N> constexpr float y[N]; // 编译正常

// 显式特化示例
template<> constexpr float y<2>[2] = {0.0f, 1.0f};

两者的核心差异在于数组大小是否依赖模板参数，以及C++标准对constexpr变量模板的初始化要求：

• 固定大小的constexpr数组模板（x[2]）：
  这里数组大小2是编译期固定常量，不依赖模板参数N。按照C++标准，constexpr变量（包括数组）必须被常量表达式初始化——要么在声明时直接初始化，要么在实例化时通过特化提供初始化。但这个主模板的声明既没有初始化器，也无法通过模板参数推导或隐式规则生成合法的常量初始化，因此编译器会报错，因为任何实例化x<N>都会得到一个未初始化的constexpr数组，违反标准要求。

• 大小依赖模板参数的constexpr数组模板（y[N]）：
  数组大小N是模板参数，主模板的声明属于“未定义的模板特化占位”。C++标准允许这种情况，因为主模板本身不会被直接实例化——当你需要使用某个具体的y<k>时，必须提供对应的显式特化并完成初始化（比如示例中的y<2>）。这种设计符合模板特化的规则，编译器也认可这种“延迟初始化”的写法。

g++、clang++、icpx的行为都符合C++标准，对两种场景做出了正确的区分。

内容的提问来源于stack exchange，提问作者user2052436