为何consteval函数表达式不属于C++主表达式？

先看代码示例：

consteval bool IsEven(int n) {
    return 0 == n % 2;
}
   
template<int n>
requires (IsEven(n)) // 编译通过
void f1() {}

template<int n>
requires IsEven(n) // 编译报错：原子约束必须是bool类型（发现重载函数类型）
void f2() {}

核心原因可以从C++语法规则和编译器解析逻辑两方面解释：

• 主表达式的定义限制：C++里主表达式是语法层面最基础的表达式单元，包含标识符、字面量、括号包裹的表达式(E)、this指针等。而函数调用f(args)属于后缀表达式，是由主表达式（函数名f）加后缀（参数列表(args)）组合出来的，它本身不属于主表达式范畴。

• requires子句的解析逻辑：当直接在requires后写IsEven(n)时，编译器不会将其解析为函数调用，反而会错误地把它识别成一个函数类型声明——试图构造“接受n类型参数、返回IsEven类型”的函数类型（但n是int模板参数，IsEven是函数名而非类型，这就导致编译器判定它是无效的重载函数类型），自然不满足原子约束必须为bool类型的要求。

• 括号的关键作用：用括号包裹IsEven(n)后，(IsEven(n))成为主表达式，编译器会优先解析括号内部内容，正确识别这是一次consteval函数调用，在编译期求值得到bool类型常量，符合原子约束的要求，因此编译通过。

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