为什么C++中非静态数据成员不能作为默认实参使用？

你会有这个疑问，本质是搞混了「成员函数体内部的访问规则」和「默认实参的求值规则」，两者完全不是一回事。

为什么成员函数内部能访问非静态成员？ #

所有非静态成员函数执行时，都已经隐式绑定了当前调用对象的this指针，你在函数内部写的所有非静态成员访问，本质都是自动加了this->前缀，当然能正常取到对应实例的成员值。

为什么默认实参里用非静态成员就不行？ #

核心原因有两个：

• 默认实参是函数声明的一部分，它的求值发生在函数调用的位置，而非函数体内部执行阶段，这个阶段没有可用的this上下文，你写的非静态成员名没有前缀，编译器根本不知道要取哪个实例的对应成员。
• C++标准直接明确禁止这种用法：非静态数据成员不能出现在默认实参的表达式中，除非它是作为成员访问表达式的一部分（也就是你显式写死了某个确定对象的成员，比如= g_demo.val，但这种属于绑定全局对象，实际场景很少这么用）。

错误示例 #

class Test {
    int m_default = 10;
public:
    // 编译直接报错：invalid use of non-static data member 'Test::m_default'
    void print(int num = m_default) {
        // 这里访问m_default完全合法，等价于this->m_default
        std::cout << num + m_default << std::endl;
    }
};

如果你觉得上面的写法应该合法，不妨想一下这种调用场景：

Test t1{20}, t2{30};
t1.print(); // 按直觉默认参数该取t1的m_default=20？
t2.print(); // 那这里该取t2的m_default=30？

哪怕你觉得上面的逻辑合理，C++的语法规则也不支持这种实现：默认实参的表达式必须是在调用点就能独立求值的，不允许隐式绑定当前调用对象的this指针。

替代实现方案 #

如果你确实需要实现「参数不传就用当前实例的成员值」的逻辑，换个写法即可：

void print(std::optional<int> num = std::nullopt) {
    int real_num = num.value_or(this->m_default);
    std::cout << real_num + m_default << std::endl;
}

例外情况 #

静态数据成员没有这个限制，因为它不属于任何实例，不需要this就能访问，所以下面的写法是合法的：

class Test {
    static inline int s_default = 10;
public:
    // 编译正常，静态成员可以作为默认实参
    void print(int num = s_default) {
        std::cout << num << std::endl;
    }
};

内容的提问来源于stack exchange，提问作者L.S. Roth