Effective C++条款10——operator=返回一个reference to *this(构造/析构/赋值运算)

关于赋值,有趣的是你可以把它们写成连锁形式:

int x, y, z;
x = y = z = 15;            // 赋值连锁形式

同样有趣的是,赋值采用右结合律,所以上述连锁赋值被解析为:

x = (y = (z = 15));

这里15先被赋值给z,然后其结果(更新后的z)再被赋值给y,然后其结果(更新后的y)再被赋值给x。

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

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或即将提供的类型(见条款54)共同遵守。因此除非你有一个标新立异的好理由,不然还是随众吧。

请记住

  • 令赋值( assignment)操作符返回一个reference to *this。

你可能感兴趣的:(Effective,C++,c++,开发语言,keep,studying,学习,Effective,C++)