成员变量作为默认参数？

Question

我得到了“非静态成员引用必须相对于特定对象”的代码，

class A{
    int data;
    int _default = 0;
public:
    A(int data, int _default) : data(data), _default(_default) {}
    void set(int data = _default){ this->data = data; }
};

int main(){
    A a1(1, 1); a1.set(10); a1.set();
    A a2(2, 2); a2.set(20);
}

我想做什么？

• 当我们调用A.set()时，A::data被设置为A::_default
• 当我们调用A.set(a)时，A::data被设置为a

Answer 1

非静态数据成员不能用作default arguments，它们应该由调用方上下文提供。

默认参数中不允许使用非静态类成员（即使它们没有被评估），

您可以提供另一个重载。

class A{
    int data;
    int _default = 0;
public:
    A(int data, int _default) : data(data), _default(_default) {}
    void set(int data){ this->data = data; }
    void set(){ set(this->_default); }
};

Answer 2

来自 2017 C++ 标准，第 11.3.6 节，第 9 段

非静态成员不应出现在默认参数中，除非它作为 类成员访问表达式 (8.2.5) 的 id-expression 或除非它用于形成指向成员的指针 (8.3.1)。

所有其他 C++ 标准（之前和之后）都有类似的声明，尽管措辞和章节编号有所不同。上述“除非”两点均不适用于这种情况。

理论上可以（从 C++17 开始）使用 std::optional（来自标头 <optional>）来避免过载，如下所示。

#include <optional>

class A
{
     int data;
     int _default = 0;
   public:
     // other members omitted
   
     void set(std::optional<int> data = std::optional<int>())
     {
         this->data = data.has_value() ? data.value() : _default;
     };
 };

或（如 Jarod42 在 cmets 中所建议的）

     void set(std::optional<int> data = std::nullopt)
     {
         this->data = data.value_or(_default);
     };

我在上面使用“名义上”这个词，因为就我个人而言，我会简单地使用两个重载。对于普通人来说（可以说）更容易理解和使用所有 C++ 标准（不仅仅是从 C++17 开始）

 void set(int data){ this->data = data; }
 void set(){ set(this->_default); }       

Answer 3

你可以做的是你可以提供一个重载。

void set(){ this->data = this->_default; }
void set(int data){ this->data = data; }

这将完成你想做的工作。