派生类中的constexpr表达式：Clang与其他编译器的行为差异

这个问题的核心其实是C++标准中关于常量表达式和静态成员访问规则的细节差异，不同编译器对标准的解读实现略有不同，咱们一步步拆解：

1. 静态成员的访问逻辑：类属而非对象属 #

首先要明确：静态成员是属于类本身的，和对象实例没有绑定关系。不管你通过基类引用、派生类对象还是基类对象访问静态成员，最终访问的是该表达式静态类型对应的类的静态成员：

• main里的d.MAX：d的静态类型是D，所以访问的是D::MAX（值为20），这部分所有编译器都不会有问题。
• use函数中的v.MAX：v的静态类型是const B&，所以本质等价于B::MAX（值为10）。
• use2函数中的v.MAX：模板参数X会被推导为D（因为传入的是左值d，转发引用会匹配为D&），所以v的静态类型是D，访问的是D::MAX（值为20）。

2. 常量表达式的编译器分歧点 #

static_assert要求条件必须是编译期可求值的常量表达式，这就是分歧所在：

• GCC 5.4-7.3的实现认为：虽然v是函数形参（运行时对象），但v.MAX本质上等价于直接访问B::MAX——毕竟静态成员不需要依赖对象实例存在。而B::MAX是constexpr常量，所以整个表达式被视为合法的常量表达式，因此能正常编译。
• 像MSVC/ICC这类编译器，可能更严格遵循了早期C++标准中对常量表达式的限制：只要表达式涉及运行时对象（哪怕是引用），哪怕访问的是静态成员，也不被认定为常量表达式，因此会触发编译错误。

3. 关于use2里的冗余template关键字 #

顺便提一句：use2里的v.template MAX写法是多余的。MAX是静态数据成员，不是模板成员，这里不需要template关键字来消除歧义——这个写法本身合法，但属于没必要的冗余，去掉也完全没问题。

跨编译器兼容的修正方案 #

要让代码在所有主流编译器下都能正常编译，最稳妥的方式是直接通过类名访问静态成员，彻底绕开对象访问的争议：

#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(B::MAX == 10, ""); }
// 如果需要模板适配任意类型，直接用模板参数的类名访问
template<typename X> void use2(X&& /*v*/) { static_assert(X::MAX == 20, ""); }

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

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