数组作为非类型模板参数的跨编译器编译差异问题

这一差异源于MSVC和GCC对C++20非类型模板参数（NTTP）规则的实现严格程度不同，具体可从以下几点拆解：

1. 指针类型NTTP的标准要求 #

C++20标准规定，指针类型的非类型模板参数必须指向静态存储期的具名对象/函数，且指针的值必须是合法的常量表达式。核心要求是指针指向的必须是有明确名称、静态存储的实体，而非通过成员函数等间接方式获取的指针值。

2. GCC的严格校验逻辑 #

当直接传入al.data作为模板实参时，GCC判定这个指针是通过成员函数间接获取的数组元素指针，并非直接指向具名的静态数组实体。即便al.data的结果是constexpr，GCC也会严格遵循标准，认定它不符合指针类型NTTP的合法性要求，因此抛出“array_literal的地址不是有效模板实参”的错误。

而用helpful_constant包裹al后，传入的模板实参本质是数组对象自身的地址（或数组类型的NTTP），这个对象是具名且具备静态存储期的，完全符合标准对NTTP的要求，因此GCC能够通过编译。

3. MSVC的扩展兼容逻辑 #

MSVC在这部分实现了非标准扩展：它放宽了对指针类型NTTP的校验，允许通过constexpr成员函数获取的数组元素指针直接作为模板实参，即便这个指针并非直接指向具名静态实体。这种扩展是为了提升开发便利性，但不符合C++20标准的严格定义。

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