为何允许无法在常量表达式中使用的函数标记为constexpr？

一、constexpr的基础认知 #

constexpr说明符用于标识可在编译期求值的函数或变量，其核心价值是支持编译期计算——尤其是用函数结果初始化constexpr变量时，会强制函数满足纯函数特性（无副作用、输入确定则输出确定）。

二、为什么示例中的add函数可标记为constexpr？ #

先看示例代码：

int global = 200;
constexpr int add(int a) {
    global += a; // 运行时可执行，编译期调用会报错
    return global;
}

int main() {
    // 编译报错：尝试在编译期访问非const运行时变量
    constexpr int a = add(1);
    // 运行正常：仅在运行时执行，不触发编译期检查
    int b = add(1);           
}

C++标准对constexpr函数的要求并非“所有调用场景都必须支持编译期求值”，而是：

• 函数的语法结构允许存在至少一种调用方式，使得函数执行符合常量表达式的规则；
• 当函数被用于编译期上下文（如初始化constexpr变量）时，实际执行的路径必须完全满足编译期求值的限制（比如不能修改非const全局变量、不能调用非constexpr函数等）。

示例中的add函数虽然修改了非const全局变量，但它没有违反constexpr函数的语法限制（比如没有goto、早期版本的try-catch等禁用语法），因此可以被标记为constexpr。只是当尝试在编译期调用它时，编译器会检测到执行路径违反常量表达式规则，从而报错；但运行时调用则不受此限制，会像普通函数一样执行。

三、这类混合特性的constexpr函数的应用场景 #

核心价值是复用代码逻辑，避免为编译期和运行期分别编写重复代码：

• 同一个函数既可以处理编译期常量输入，生成编译期常量以提升程序性能；
• 又可以处理运行期动态输入，无需额外编写适配运行时的版本。

举个实用的例子：

constexpr int abs_or_scale(int x) {
    if (x < 0) {
        return -x; // 编译期、运行期均可执行
    }
    if (x > 100) {
        // 仅运行期可执行的逻辑：调用非constexpr的外部库函数
        return external_runtime_calc(x);
    }
    return x * 2; // 编译期、运行期均可执行
}

// 编译期调用：使用安全分支，生成编译期常量
constexpr int fixed_val = abs_or_scale(50);
// 运行期调用：可触发运行时专属分支
int dynamic_val = abs_or_scale(get_user_input());

四、标准允许此类函数的原因 #

1. 提升代码复用性：避免重复编写功能相同但适配不同上下文的函数，减少代码冗余和维护成本；
2. 支持渐进式改造：允许开发者将现有普通函数逐步迁移为constexpr函数——先标记为constexpr，再逐步优化函数体内的代码，让更多分支支持编译期求值，无需一次性重构所有依赖；
3. 兼顾灵活性与性能：constexpr的设计定位是“增强型说明符”，而非严格限制——它只是表明函数具备编译期求值的潜力，开发者可根据实际需求选择调用场景，既可以利用编译期计算提升性能，又能保留运行期调用的灵活性。

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