C++20中使用constexpr而非consteval函数的适用场景与原因

虽然C++20引入了consteval强制编译期求值，但constexpr函数依然有不可替代的场景，以下是几个核心场景：

1. 复用同一段逻辑在编译期和运行期 #

当你有一段计算逻辑（比如数值转换、简单算法），既需要在编译期用于常量表达式（比如初始化constexpr变量、指定模板参数），又需要在运行期处理动态输入（比如用户输入、运行时生成的变量），constexpr函数可以让你只写一次代码，同时支持两种场景。

比如你的示例代码中，FunConstExpr既可以在编译期初始化constexpr int a3 = FunConstExpr(1);，也能在运行期接受FunNormal()的结果调用——如果用consteval，运行期调用会直接报错；如果用普通函数，又无法在编译期常量表达式中使用。

2. 自动适配参数的求值时机 #

constexpr函数会根据调用时的参数类型自动选择求值时机：如果参数是编译期常量，就在编译期计算；如果参数是运行期变量，就退化为运行期计算。这种自动适配性可以避免你为同一个逻辑写两个版本的函数（一个consteval用于编译期，一个普通函数用于运行期）。

比如一个阶乘函数：

constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n-1);
}

// 编译期求值
constexpr int five_fact = factorial(5);
// 运行期求值
int user_input;
std::cin >> user_input;
int result = factorial(user_input);

如果换成consteval，第二个运行期调用会直接编译失败；换成普通函数，第一个编译期求值的场景无法实现。

3. 作为consteval函数的通用辅助逻辑 #

consteval函数内部可以调用constexpr函数，但constexpr函数不能直接调用consteval函数（因为consteval强制编译期执行，而constexpr可能在运行期执行）。如果你有一些通用的工具逻辑需要被多个consteval函数复用，同时这些逻辑也可能在运行期被使用，把它们写成constexpr是最佳选择。

比如：

constexpr int add(int a, int b) { return a + b; }

consteval int compute_compile_time(int x) {
    // 复用constexpr的add逻辑
    return add(x, 10);
}

// 运行期也能调用add
int runtime_add(int a, int b) { return add(a, b); }

4. 兼容旧代码与C++标准 #

如果你的代码需要兼容C17及更早版本，consteval是C20才引入的特性，此时constexpr是实现编译期函数的唯一选项。即使在C++20+环境下，使用constexpr也能保持接口的向后兼容性，让旧代码无需修改即可调用你的函数，同时新代码还能享受编译期求值的特性。

你的示例代码整理如下：

int FunNormal()
{
    return 12345;
}    

consteval int FunConstEval(int p)
{
    return p+3;
}    

constexpr int FunConstExpr(int p)
{
    return p+3;
}    


int main() 
{
    // FunConstEval(FunNormal());               // 非法：consteval必须接受编译期常量参数
    FunConstExpr(FunNormal());                  // 合法：constexpr自动退化为运行期求值
    
//    constexpr int a1 = FunNormal();           // 非法：普通函数不能用于编译期常量初始化
//    constexpr int a1 = FunConstExpr(FunNormal());     // 非法：参数是运行期值，无法编译期求值
    constexpr int a2 = FunConstEval(1);     
    constexpr int a3 = FunConstExpr(1);     
}

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