VS2022中constexpr阶乘常量表达式计算错误问题咨询

案例1：常量求值失败的阶乘实现 #

以下代码运行时正常，但在Visual Studio 2022 17.11版本中，static_assert触发常量求值失败：

constexpr int fact(const int & p) {
    int v = p - 1;
    return v ? (v+1) * fact(v) : 1;
};

int main() {
    return fact(3); // 所有环境均正常
}

static_assert( fact(3) ); // MSVC下报错

对应的错误信息：

<source>(10): error C2131: expression did not evaluate to a constant
<source>(2): note: failure was caused by a read of an uninitialized symbol
<source>(2): note: see usage of 'v'
<source>(10): note: the call stack of the evaluation (the oldest call first) is
<source>(10): note: while evaluating function 'int fact(const int &)'
<source>(3): note: while evaluating function 'int fact(const int &)'

案例2：常量求值结果不符合预期的阶乘实现 #

以下代码编译通过，但MSVC在常量求值时未生成预期的阶乘序列：

constexpr int fact(const int & p) {
    int v = 0;
    v = p - 1;
    return v >= 1 ? (v+1) * fact(v) : 1;
};

预期输出序列：

1 2 6 24 120 720 5040

实际MSVC生成的序列：

1 2 3 4 5 6 7

问题分析 #

这两个案例的核心问题都出在将引用类型作为constexpr函数的参数上。C++标准对constexpr函数的常量求值过程有严格要求：在常量表达式求值期间，引用必须绑定到常量表达式允许的实体（比如字面量、constexpr变量等），且引用的生命周期必须覆盖整个常量求值过程。

案例1的失败原因 #

MSVC在常量求值时，对引用参数的初始化和后续变量v的赋值处理存在特殊逻辑：当fact递归调用时，传入的v是一个局部变量，绑定到引用参数p后，MSVC认为该引用绑定的对象在常量求值上下文中未被正确初始化（或者说局部变量的生命周期在递归调用中未被正确追踪），从而判定为“读取未初始化符号”，触发C2131错误。

案例2的结果异常原因 #

同样是引用参数的问题，MSVC在常量求值时可能错误地优化了递归调用的参数传递：原本应该传递v的值作为引用参数，但实际可能直接复用了上层的引用绑定，导致递归调用中的p始终等于当前的v+1，最终计算的是自然数而非阶乘。

是否属于格式不良代码？ #

严格来说，这两段代码并不属于格式不良（ill-formed）的代码。C++标准允许constexpr函数接受引用参数，只要在常量求值时引用绑定到合法的常量表达式实体。这两个案例的问题更可能是MSVC 2022 17.11版本在constexpr引用参数的常量求值逻辑上存在实现缺陷。

修复方案 #

只需要将函数参数从引用类型改为值类型即可解决两个问题：

constexpr int fact(int p) { // 去掉const &，改为值传递
    int v = p - 1;
    return v ? (v+1) * fact(v) : 1;
};

这种修改符合constexpr函数的最佳实践——对于简单的算术类型，值传递比引用传递更适合常量求值场景，避免编译器对引用绑定的复杂处理。

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