c++ - 派生类中的constexpression，clang vs rest

Question

最小的例子:

#include <cstddef>
struct B
{
    constexpr static const size_t MAX = 10;
};

struct D : B 
{
    constexpr static const size_t MAX = 20;
};

void use(const B& v)
{
    static_assert(v.MAX == 10, "");
}

template<typename X>
void use2(X&& v)
{
    static_assert(v.template MAX == 20, "");
}

int main ()
{
    D d;
    static_assert(d.MAX == 20, "");
    use(d);
    use2(d);

    return 0;
}

GCC (v5.4 ... v7.3):编译良好(任何级别的优化和 -Wall -Wextra -pedantic)ICC/MSVC:编译良好(在 godbolt.org 上尝试了各种版本)

CLANG (v4 ... v6) : 错误: static_assert 表达式不是整数常量表达式 static_assert(v.MAX == 10, "");

编辑(改写问题):

在我看来，clang 的行为是最不令人惊讶的(或更直观的)。鉴于它是唯一无法编译上述代码的编译器，我想了解这两种行为中哪一种是正确的，为什么？

编辑 2:

从这个模板函数的添加来看，gcc 看起来使用声明的参数类型并计算出使用哪个 constexpr 成员，而不管传入的是什么。

如果按值传递，clang 还将评估 MAX 作为常量表达式。在这种情况下，很明显为什么 v.MAX == 10 对于非模板函数的所有编译器都是正确的。

编辑 3(更短的版本):哪个仍然没有在 clang 上编译

#include <cstddef>

struct B
{
     constexpr static const size_t MAX = 10;
};

void use(const B& v)
{
    static_assert(v.MAX == 10, "");
}

template<typename X>
void use2(X&& v)
{
    static_assert(v.template MAX == 10, "");
}

int main ()
{
    B v;
    static_assert(v.MAX == 10, "");
    use(v);
    use2(v);

    return 0;
}

Answer 1

Clang 是正确的。

v.MAX == 10 评估 v，这是一个没有预先初始化的引用。这在常量表达式中是不允许的。

请注意，即使 MAX 是静态成员，v 仍会在 v.MAX 的求值过程中求值。

你可以使用类类型访问MAX来避免v的计算，例如

void use(const B& v)
{
    static_assert(B::MAX == 10, "");
               // ^^^
}

template<typename X>
void use2(X&& v)
{
    static_assert(std::remove_reference_t<X>::MAX == 10, "");
               // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
}