为什么使用成员数组而不是常量表达式调用 constexpr 函数？

我有以下辅助功能：

template<typename T, std::size_t N>
constexpr std::size_t Length(const T(&)[N]) {
    return N;
}

它返回静态数组的长度。在过去，这总是有效的，但是当我这样做时：

struct Foo
{
    unsigned int temp1[3];
    void Bar()
    {
        constexpr std::size_t t = Length(temp1); // Error here
    }
};

使用 MSVS 2017 时出现错误：

error C2131: expression did not evaluate to a constant

note: failure was caused by a read of a variable outside its lifetime

note: see usage of 'this'

我希望有人能够阐明我做错了什么。

MSVC 是正确的。Length(temp1)不是常量表达式。从[expr.const]p2 http://eel.is/c++draft/expr.const#2.1

一种表达e是一个核心常量表达式，除非评估e遵循抽象机的规则，将计算以下表达式之一：

• this，除了在 constexpr 函数或作为 constexpr 一部分进行计算的 constexpr 构造函数中e;

temp1评估this隐含地（因为你指的是this->temp1)，所以你没有常量表达式。 gcc 和 clang 接受它，因为它们支持 VLA 作为扩展（尝试使用-Werror=vla or -pedantic-errors).

为什么不允许这样做？好吧，您可以访问底层元素并可能修改它们。如果你正在处理一个constexpr数组或作为常量表达式求值的数组，但如果不是，则不可能有常量表达式，因为您将操作在运行时设置的值。