constexpr纯右值生命周期问题：MSVC校验是否过于严格？

这段代码报错的核心原因是对static_assert的求值时机、C++常量表达式规则存在误解：

• static_assert要求传入的判断表达式必须是可在编译期独立求值的常量表达式，但你在判断分支里使用的Index是operator[]的函数形参。哪怕调用时传入的是字面量0，形参本身在函数体内部不属于编译期常量范畴——只有立即函数（consteval）的形参在特定场景下可用于常量表达式，且你当前的写法完全不满足使用要求。
• MSVC抛出的“读取生命周期外的变量”错误对应的逻辑是：static_assert会在函数定义的阶段就完成表达式求值，此时作为调用实参传入的Index根本还没进入生命周期，编译器自然无法读取它的值完成判断。你误以为Array[0]调用时传入的编译期常量0可以直接在函数内的static_assert中使用，混淆了实参的编译期属性和形参在函数内的属性。
• 额外的逻辑错误：std::is_constant_evaluated()仅能标记当前代码是否运行在常量求值上下文，不会自动将分支内的运行期变量转换为编译期常量，也不会改变static_assert的求值时机。

该校验完全符合C++标准规范，不存在过度检查的问题。
如果在部分版本的GCC/Clang下这段代码没有报错，属于这些编译器对常量表达式规则的校验遗漏，是实现缺陷，不能作为代码合法的依据。
你写在类外的static_assert(Array[0] == 0, "Never called")永远不会触发你自定义的越界提示，因为函数定义阶段的static_assert会先报错，编译流程根本走不到实例化Array[0]调用的步骤。

如果要实现编译期下标越界校验，不能在接收运行时size_t形参的普通operator[]里写static_assert，应该新增模板化下标版本的重载，让下标值成为编译期可推导的模板参数：

template<size_t Index>
constexpr const_reference get() const
{
    static_assert(Index < N, "Subscript out of range.");
    return data()[Index];
}

如果要保留支持运行时下标的普通operator[]，不需要手动添加std::is_constant_evaluated()分支做检查，C++20及以上版本中std::array自带的constexpr operator[]本身就会在常量求值上下文里自动触发编译期越界报错，直接透传基类实现即可。

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