C++类成员函数使用非静态成员变量作为默认参数报错如何解决？

C++ 标准明确规定：非静态数据成员不得作为成员函数参数的默认值。

核心原因是两个阶段的时间差：

• 函数参数的默认值绑定发生在编译阶段，编译器需要在编译时就确定默认值的具体内容
• 类的非静态成员变量属于类的实例对象，只有在程序运行、类完成实例化之后，才会分配对应的内存空间、生成确定的取值，编译期无法访问到对应实例的成员变量，因此编译器会抛出 invalid use of non-static data member 报错。

下面提供3种不同场景下的可行方案：

方案1：函数重载实现（适用绝大多数场景） #

将原成员函数拆分为两个重载版本，无参版本直接调用内部成员变量即可，无需依赖默认参数：

#include <iostream>
class Test{
private:
    int val = 0;
public:
    // 无参调用时直接使用成员变量
    void print_num(){
        std::cout << val << '\n';
    }
    // 传参调用时使用外部传入的值
    void print_num(int num){
        std::cout << num << '\n';
    }
};
int main(){
    Test test;
    test.print_num(); // 输出 0
    test.print_num(10); // 输出 10
    return 0;
}

方案2：静态常量作为默认值（适用所有实例共享固定默认值的场景） #

如果这个默认值是所有类实例通用的固定值，可以将其定义为类的静态常量，静态成员属于类本身，编译阶段即可确定取值，符合默认参数的要求：

#include <iostream>
class Test{
private:
    static constexpr int val = 0;
public:
    void print_num(int num = val){
        std::cout << num << '\n';
    }
};
int main(){
    Test test;
    test.print_num();
    return 0;
}

方案3：函数内部判断占位值（适用需要保留单个函数接口的场景） #

给参数设置一个特殊的占位默认值，在函数内部判断如果用户没有传入有效参数，就使用成员变量：

#include <iostream>
#include <optional>
class Test{
private:
    int val = 0;
public:
    void print_num(std::optional<int> num = std::nullopt){
        int real_num = num.value_or(val);
        std::cout << real_num << '\n';
    }
};
int main(){
    Test test;
    test.print_num(); // 输出 0
    test.print_num(10); // 输出 10
    return 0;
}

如果不使用C++17及以上版本的std::optional，也可以用业务场景中不会出现的特殊值（如INT_MAX）作为占位符做判断。

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