Apple clang++中consteval函数调用触发非常量表达式报错咨询

核心问题 #

你遇到的是Clang的一致性bug——它错误地拒绝了合法的consteval静态成员函数调用，同时在特定场景下又表现出矛盾的编译行为。

关键规则回顾 #

C++20中，consteval是立即函数，要求所有调用必须能被求值为常量表达式，但这并不意味着它只能用在要求常量表达式的上下文里：只要调用本身满足常量表达式的要求（无运行时依赖、编译期可确定结果），任何上下文都允许调用。

你的代码里，X<4>::get()是完全合法的常量表达式：它是无参数的静态函数，返回的是编译期已知的模板参数x，没有任何运行时依赖。

Clang错误诊断的原因 #

当你在f()中直接调用get()时，Clang错误地将这个静态函数调用与对象实例绑定（尽管静态成员函数不依赖this指针），错误判定该调用无法在编译期求值，从而触发错误。

矛盾行为的解释 #

1. 数组大小场景能编译：
   当你写成int a[get()];时，Clang将数组大小视为需要常量表达式的上下文（即使C++标准不支持变长数组，Clang的扩展逻辑触发了常量表达式检查），此时它会正确对get()做编译期求值，因此通过编译。
2. 显式模板限定调用无报错：
   当你用模板类型限定符调用（比如return X<x>::get();），Clang能明确识别这是独立于对象实例的编译期常量调用，因此不会触发错误。

临时解决方法 #

在调用静态consteval函数时显式指定模板实参，绕过Clang的bug：

template<int x>
struct X {
consteval static int get() { return x; }
int f() const { return X<x>::get(); } // 显式限定调用
};

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