问题描述
我想问一个有关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;}
};
我想澄清两点。
- 此副本分配运算符如何工作？
- operator关键字之前的引用是否需要参数名称？
我想对（1）进行解释。
如果我的main()中包含以下代码：
Base b {100}; // overloaded constructor
Base b1 {b}; // copy constructor
b = b1; // copy assignment
我认为发生的事情是为a1调用了no args构造函数，这显然是因为没有参数传递给对象的构造。
初始化a2时，将制作a1的临时副本，然后根据Base类对运算符进行评估，因此将运行Base重载的副本分配块，并且a1对象通过return *this返回到引用a2。
为了解释我对第二个问题的想法，
我认为在声明函数或方法时，所有参数都需要一个名称（我当然可能错了）。
如果我的重载副本分配块被假设写为：
Base &lhs operator = (const Base &rhs)
我是说lhs是指a2，但是由于隐含的lhs参数，我们对this不做任何事情，因此不需要在运算符前加上“＆”号后是否给出参数名称？
解决方法
此副本分配运算符如何工作？
已编辑：
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指针，并且该语言尚未添加引用。
根据20/20的事后观察，this将成为参考。但是那艘船已经航行了。
在我自己的代码中，为了帮助使其更清晰易懂，我将这样做：
auto& self = *this;
self[i] = 5;
...而不是更令人困惑的（imo）...
(*this)[i] = 5;