条款10 令operator=返回一个reference to *this

电玩女神 2022-08-06 15:15 118阅读 0赞

总结：

重载赋值运算符（包括所有赋值相关的运算）、前自增和前自减运算符(++a、--a)都返回\*this的引用。而后自增和后自减（a++、a--）返回的是对象。关于自增、自减运算符的重载见文本末尾部分。

关于赋值的一件有意思的事情是你可以把它写成连锁形式。

int x, y, z;
    
    x = y = z = 15; // 赋值连锁形式，相当于x = (y = (z = 15));

这里，15 赋给 z，然后将这个赋值的结果（最新的 z）赋给 y，然后将这个赋值的结果（最新的 y）赋给 x。

为了实现“连锁赋值”，赋值操作符必须返回一个reference指向操作符的左侧实参。这是为类实现赋值操作符时应该遵循的协议：

class Widget {
    public:
         ...
         Widget& operator=(const Widget& rhs)
         { // 返回类型是个reference，指向当前对象
               ...
               return *this; // 返回左侧对象
         }
         ...
    };

这个协议不仅适用于以上的标准赋值形式，也适用于所有赋值相关运算，例如：

class Widget {
    public:
          ...
          Widget& operator+=(const Widget& rhs) // 这个协议也适用于+=, -=, *=, 等等.
          {  
                ...
                return *this;
           }
           Widget& operator=(int rhs) // 此函数也适用，即使此操作符的参数类型不符协定
           {
                ...
                return *this;
           }
           ...
    };

这只是个协议，并无强制性。不遵循代码一样可通过编译。然而这份协议被所有内置类型和标准程序库提供的类型如string,vector,complex,tr1::shared\_ptr共同遵守。因此除非有个标新立异的好理由，不然还是随众吧。

**前自增运算符的重载（前自减运算符重载类似）**：

class CheckedPtr {
    public:
          CheckedPtr& operate++(); //前自增运算符重载
          CheckedPtr& operate--();
          ...
     };
    CheckedPtr& CheckedPtr::operator++() {
         ...
         ++curr;
         return *this;    //注意返回值，返回的是对象的引用
    }

**后自增运算符的重载（后自减运算符重载类似）**：

class CheckedPtr {
    public:
          CheckedPtr& operate++(int); //后自增运算符重载，int参数是亚元（无实际意义），为了和前自增运算符重载区分
          CheckedPtr& operate--(int);
          ...
     };
    CheckedPtr& CheckedPtr::operator++() {
         ...
         CheckedPtr ret(*this);
         ++*curr;
         return ret;    //注意返回值，返回的是当前对象
    }

从上述两端代码可以看出， 后自增和后自减的效率低：因为后自增和后自减要复制对象并返回对象，而前自增和前自减不需要复制对象并且返回的是对象的引用。