模板变量 C 数组完全专业化是否应该指定数组大小？

Question

我正在尝试实现一个模板化的 C 数组，其特化如下：

// template definition
template< int a, int b > constexpr int    arr[]       = { 1 };

// partial specialization, works ok
template< int b >        constexpr double arr<0, b>[] = { 2.0 };

// full specialization, compile error in MSVC, ok in g++
template< >              constexpr float  arr<1, 0>[] = { 3.0f };

我在 Visual Studio 2017 中使用 MSVC 编译器，C++ 标准设置为 C++17，编译器抱怨 C2133: 'arr<1,0>': unknown size，因此将大小 1 添加到完整专业化可以解决错误。但是，它在带有-pedantic 标志的Ubuntu g++ 8.1.0 下编译。

在我看来，函数和类的完全特化就像定义了一个非模板版本，所以我想这也应该适用于变量模板，并且上面的完全特化可以等同于（除了名称)

constexpr float arr_with_a1_and_b0[] = { 3.0f };

这对我来说看起来很有效，因为大小应该从列表初始化（聚合初始化）中推导出来。

我的问题是：上面的代码是有效的 C++ 吗？哪个编译器是正确的？

Answer 1

这是由于 MSVC 编译器存在错误：https://developercommunity.visualstudio.com/t/compiler-error-c2133-unknown-size-for-constant-tem/228098。 从带有 Visual Studio 16.10.1 的 MSVC 开始，此问题已得到修复。