咨询C++默认实参不可用局部变量（不求值上下文除外）的含义

首先翻译你提到的规则：默认参数中不允许使用局部变量，除非该变量处于不求值语境。

基础概念先理清 #

• 默认参数：函数声明时给参数预设的默认值，调用时未传对应参数就会自动使用该值，例如 void func(int a = 10); 调用func()时参数a的值就是10。
• 局部变量：定义在函数/代码块内部、出了对应作用域就会失效的变量，例如main函数内部定义的int x = 5;就是main的局部变量。
• 不求值语境：C++中编译器只会分析表达式的类型、不会真实计算表达式运行结果、也不会读取变量实际值的场景，常见的有sizeof()、decltype()、typeid()等运算符的参数部分。

错误用法示例：局部变量直接作为默认参数 #

以下代码会直接编译报错：

int main() {
    int local_val = 10; // main函数的局部变量
    // 错误：默认参数直接使用了局部变量的值
    void test(int a = local_val) {
        // 函数逻辑
    }
    test();
    return 0;
}

原因是默认参数的求值时机是调用函数未传参时，在调用方的上下文中求值。如果这个函数在其他位置调用，local_val这个局部变量已经超出作用域不存在，编译器无法找到对应变量，因此C++直接禁止这种写法。

合法用法示例：局部变量处于不求值语境 #

如果局部变量放在sizeof、decltype这类不求值语境中，就完全符合规则：

#include <iostream>
int main() {
    int local_val = 10;
    // 合法：sizeof是不求值语境，不会读取local_val的实际值
    void test(int a = sizeof(local_val)) {
        std::cout << a << std::endl;
    }
    test(); // 输出结果为4（int类型在32/64位平台通常占4字节）
    return 0;
}

上述代码中sizeof(local_val)的结果在编译阶段就可以确定，只和local_val的类型有关，和变量本身是否存在、实际值是多少没有关系，因此不会出现找不到变量的问题，是被规则允许的。

再举一个decltype的常见合法场景：

int main() {
    double local_val = 3.14;
    // 合法：decltype只提取local_val的类型double，不会读取变量值
    void test(decltype(local_val) a = 1.5) {
        // 等效于声明 void test(double a = 1.5)
    }
    return 0;
}

核心逻辑总结 #

默认参数中使用局部变量时，只有当编译器不需要读取这个变量的实际值、只需要用到它的类型信息时才合法，直接将局部变量的实际值作为默认参数是被禁止的。

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