第 12 章笔记

运算符重载是指在 C++ 中基于 operator 关键字引入对运算符的重载。经过重载的运算符可以被视作函数，典型的结构(以减法为例)：

return Type + operator - + (parameter list)

• 不能重新发明运算，只能基于 C++ 的运算符进行重载
• 不能改变对应运算符的优先级和结合性
• 可以，但是不应该去改变运算符重载的意义（加法就是加法，不能用加法代表乘法）
• 重载的运算符与 bulit-in 运算符的 operand 应该在数量上一致
• 重载运算符中，其参数需要至少有一个是类类型（不能全是 built-in 类型）
• 除了 operator()，其他重载的运算符都不能设置默认参数

运算符重载可以以成员函数或非成员函数的方式来实现：

• 以成员函数进行重载时，通常以 *this 作为第一个 operand
• 注意 C++ 17 以后，== 与 ⇔ 并不遵循此例

// 非成员函数重载
Str operator+ (Str x, Str y)
{
    Str z;
    z.x = x.x + y.x;
    return z;
}
// 成员函数重载
Str operator+(Str rhs)
{
    Str z;
    //x imply this->x
    z.x = x + rhs.x;
    return z;
}

• 可重载，且必须重载为成员函数的运算符：=，(), →，转型运算符
• 可重载，且可以实现非成员函数的运算符：绝大部分
• 不建议重载的运算符：&&，||，,。这类运算符往往需要维护特定的求值顺序，而
  • C++17 之前，重载运算符对执行顺序没有规定
  • C++17 之后，顺序规定，但重载上述运算符会破坏短路逻辑
• 不可重载的运算符

指可以左右算子互换位置的运算符（比如 +，== 等）。对称性运算符需要被设计为非成员重载，是因为：

• 对称性运算符通常牵涉到两个算子之间的运算。这个过程中会为了匹配左右算子类型进行隐式转换。如果声明为成员函数，算子的位置被固定，这将导致某些隐式转换无法正常进行，从而导致计算失败。比如：

class Str
{
    public:
    Str(int x) :val(x) {}
    Str operator+ (const Str& rhs) {...}
    private:
    int val;
};

int main(int argc, char const *argv[])
{
    Str myStr1(2);
    // 可以进行正常运算，4 对应 rhs, 可以通过 Str 的构造函数转化为 Str 类型
    Str myRetStr =myStr1 + 4;
    // 无法正常进行运算，4 不是 Str (this指向的) 类型
    Str myRetStr = 4 + myStr1;
    return 0;
}

• 设计为非成员函数以后，由于不再受 this 的匹配影响，上述例子中的 4 则可以在函数匹配的过程中进行隐式转换。

• 需要声明为 friend，否则无法访问私有数据

移位运算符必须重载为非成员函数。这是因为 C++ 中移位运算符有一个更重要的应用：输入输出流运算符。输入输出流运算符一般的格式为：

StreamObjReference << Object;

• 返回对象为流的引用：为了支持连续的流运算
• 参数为流的引用，以及需要进出流的对象
• 具体的 const 根据输入输出决定

// 简单的输出流重载实现
// 需要声明为友元函数
std::ostream& operator << (std::ostream& ostr, const Str &output)
{
    ostr << output.val;
    return ostr;
}

• 必须以成员函数的形式重载
• 返回为引用：因为赋值等号的左边是目标，右边是值
• 典型例子：copy assignment / move assignment；除此之外参数也可以是其他形式

// 简单的实现
Str& Str::operator= (const Str& rhs)
{
    if(this != &rhs)
    {
        val = rhs.val;
    }
    return *this;
}

该运算符重载用于模拟下标操作。典型的应用是 std::vector。需要考虑的问题有：

• 下标要支持读取
• 下标运算的结果要支持写入

主要的问题在第二个子问题上：

• 首先，要支持写入，那么需要对 ObjA[0] = ObjB 这种形式的运算进行处理。因此，下标运算的返回结果一定是左值，也就是对象的引用。
• 其次，当下标运算的对象为 const 时，这种写入的操作应该被侦测并禁止。因此，我们需要一个专门的 const 实现版本来处理该情况。

// 简单的实现，基于 String 的下标运算重载
class StrVec {
public:
    std::string& operator[](std::size_t n)
        { return elements[n]; }
    // const 版本
    const std::string& operator[](std::size_t n) const
        { return elements[n]; }
private:
    std::string* elements;   // pointer to the first element in the array
};