为何consteval函数递归调用中显式constexpr与隐式调用行为不同？

先看两种代码的差异：

错误示例（编译报错）：

consteval int factorial(int n) {
    if (n <= 1) return 1;
    constexpr int prev = factorial(n-1); // 报错：‘n’不是常量表达式
    return n * prev;
}

正确示例（正常编译）：

consteval int factorial(int n) {
    if (n <= 1) return 1;
    return n * factorial(n-1); // 编译通过，可计算编译期阶乘
}

原因：这是C++标准规定的特性，并非编译器bug #

1. constexpr变量的初始化规则
   constexpr变量要求初始化表达式是核心常量表达式，核心常量表达式的规则明确禁止引用函数参数——哪怕这个参数在最终调用时是编译期常量（比如factorial(5)中的5），在函数内部，n依然是函数形参，不属于核心常量表达式允许的“编译期固定值”范畴，因此用factorial(n-1)初始化constexpr变量会触发错误。

2. consteval函数的递归调用规则
   consteval函数强制所有调用必须在编译期完成，标准对其内部的递归调用有特殊宽松处理：当整个consteval函数的调用上下文是常量表达式时，编译器会将递归过程中的每一步参数都视为编译期可确定的值，直接展开递归并计算结果。此时n-1在编译期是明确的，因此直接在返回语句中递归调用符合要求。

简单总结：constexpr变量的初始化有更严格的核心常量检查，不允许依赖函数形参；而consteval函数的递归调用因自身强制编译期执行的特性，编译器会直接处理参数的编译期值，无需满足核心常量表达式的严格要求。

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