使用constexpr数组作为模板非类型参数（C ++ 14）

Question

#include <iostream>

using namespace std;

template<const int arr[]>
struct S {
    static constexpr int value = arr[0];
};

constexpr int arr[] = { 5 };

int main() {
    cout << S<arr>::value << endl;
}

这个程序编译精细，打印5与gcc 5.1及更高版本，但MSVC 19.10.25019给出以下错误：

错误C2975：'S'：'arr'的模板参数无效，预期编译时常量表达式错误C2131：表达式未计算为常量

这个程序是否符合C ++ 14标准，或者gcc在这里太宽松了？

Answer 1

据我所知，该计划是完善的。

根据[temp.param] / 8，模板参数实际上具有类型const int* ，而不是const int[] 。

将类型为“ T of T ”或“函数返回T ”的非类型模板参数分别调整为“指向T指针”或“指向函数返回T指针”。

根据[temp.arg.nontype] / 1，我们可以使用具有静态存储持续时间的完整数组对象的名称和外部链接作为这样的模板参数的参数：

模板参数的用于非类型的，非模板的模板参数应是以下之一：

...

- 一个常量表达式（5.19），用于指定具有静态存储持续时间和外部或内部链接的完整对象的地址，或具有外部或内部链接的函数，包括函数模板和函数模板-id，但不包括非静态类成员，表示（忽略括号）作为& ID表达 ，其中的ID-expression是对象或函数的名称，除了&如果名称是指功能或阵列，并且如果相应的模板的参数将被省略，可以省略是一个参考......

arr是一个不变的表达，尽管MSVC认为它不是。 它是根据[expr.const] / 2的核心常量表达式，因为它不包含任何禁止的计算，并且它是一个常量表达式，因为它指向具有静态存储持续时间的对象（[expr.const] / 4）。

因为模板参数是指具有静态存储持续时间的数组，所以在模板实例化时已知数组的边界。 因此，它可以验证对arr[0]的访问是合法的核心常量表达式，因为它具有明确定义的行为，并且属于[expr.const] / 2中允许的左值到右值转换的类别：

...一个非整数或枚举类型的非易失性glvalue，它引用具有前面初始化的非易失性const对象，用一个常量表达式初始化