使用没有引用参数名称的类重载复制赋值运算符

Question

我想问一个关于 C++ 中运算符重载的问题。

我是 C++ 初学者，一直在学习 OOP。

考虑以下重载的复制赋值运算符：

class Base {
private:
    int value;
public:
    Base () : value {0} 
    {
        cout << "Base No-args constructor" << endl; 
    }
    Base (int x) : value {x} {
        cout << "Base (int) overloaded constructor" << endl;
    }
    Base (const Base &other) : value {other.value} {
        cout << "Base copy constructor" << endl;
    }
    Base & operator = (const Base &rhs) {
        cout << "Base operator=" << endl;
        if (this == &rhs)
            return *this;
        value = rhs.value;
        return *this;
    }

    ~ Base () {cout << "Base Destructor" << endl;}
};

我想澄清两点。

1. 这个复制赋值运算符是如何工作的？
2. operator关键字前的引用是否需要参数名？

我想就 (1) 给出我的解释。

如果我的main() 中有以下代码：

Base b {100}; // overloaded constructor
Base b1 {b}; // copy constructor
b = b1; // copy assignment

我认为发生的情况是a1 调用了无参数构造函数，显然是因为没有参数传递到对象的构造中。 当a2 被初始化时，会生成a1 的临时副本，然后根据Base 类评估运算符，因此运行Base 重载复制分配块，并且a1 对象是通过return *this 返回到引用a2。

为了解释我对第二个问题的想法，

我认为声明函数或方法时所有参数都需要一个名称（我当然可能错了）。

如果我的重载复制分配块假设写为：

Base &lhs operator = (const Base &rhs)

我说lhs 指的是a2 是否正确，但是由于隐含的this 参数，我们不对lhs 做任何事情，我们不需要在后面给出参数名称运算符前面的 & 号？

Answer 1

这个复制赋值运算符是如何工作的？

已编辑：

Base& operator=(Base const& rhs) {
    cout << "Base operator=\n";
    value = rhs.value;
    return *this;
}

赋值运算符只是一个函数调用。在这个特定的类的例子中，编译器会合成一个做正确的事，但是如果你想要 cout 的副作用用于教育目的，你做对了。

你也可以用方法函数风格调用它：

b.operator=(b1);

b = b1; 只是上面的语法糖。

赋值运算符应该是自赋值安全的。但一般指导是在不明确检查自分配情况的情况下使其安全，这是“不好的”，因为它针对病态情况进行了优化。

在您的实现中，没有自分配检查是安全的。

我更喜欢以Base const& 顺序而不是const Base& 顺序指定限定符，因为一般规则是“限定符总是绑定到紧靠其左侧的事物”，一般规则的例外是“.. . 除非限定符先出现，在这种情况下，它会绑定到其直接右侧的事物。”当人们掌握了规则的例外而不是一般规则，然后在他们的头脑中解析Base*const*时遇到了麻烦。

operator关键字前的引用是否需要参数名？

它的名字是*this。是返回类型，不是参数，所以没有参数名。

有些人对“为什么 C++ 使用 this 作为指向自身的指针，而不是作为对自身的引用”感到困扰。

这是 C++ 发展过程中的一个历史反常现象。最初，有一个this 指针，还没有在语言中添加引用。

事后看来，this 本来可以作为参考。但是那艘船已经航行了。

在我自己的代码中，只是为了让它更清晰，我会这样做：

auto& self = *this;
self[i] = 5;

...而不是更令人困惑的（imo）...

(*this)[i] = 5;