【Effection C++】读书笔记 条款28：避免返回handles指向对象内部成分

【Effective C++】读书笔记 Part5 实现

条款28：避免返回handles指向对象内部成分

避免返回handles(包括references,指针，迭代器)指向对象内部。遵守这个条款可以增加封装性，帮助const成员函数的行为更像要一个const，并将发生diangling handles的可能性降至最低。

对于一个const成员函数，如果其返回reference指向对象本身，那么客户就可以通过调用这个成员函数获得的reference修改对象。这也违背了const成员函数的初衷，虽然其并没有修改相应的对象。

示例如下：

class Point
{
public:
    Point(int x,int y);
    void SetX(int val);
    void SetY(int val);
};

//一个矩形需要有的元素，左上角和右下角
struct RectData 
{ 
    Point ulhc; 
    Point lrhc; 
}; 

//矩形的定义
class Rectangle 
{
public: 
    ... 
    Point& upperLeft() const { return pData->ulhc; }
    Point& lowerRight() const { return pData->lrhc; }

private: 
    std::shared_ptr<RectData> pData; 
    ... 
}; 

对于upperLeft()和lowerRight()其均为const成员函数，但是其返回了reference指向自身对象，所以可以通过如下方式来修改对象的值

Point coord1(0,0); 
Point coord2(100,100); 
const Rectangle rec(coord1, coord2); 
rec.upperLeft().setX(50);//现在rec变成从(50,0)到(100,100)

这里有两个需要注意点：

1. 成员变量的封装性最多只等与“返回其reference”的函数的访问级别。
2. 如果const成员函数传出一个reference指向自身对象，那么函数的调用者可以通过这个引用来修改对象。

如果将上述函数改为返回 const的reference。
如下：

//矩形的定义
class Rectangle 
{
public: 
    ... 
    const Point& upperLeft() const { return pData->ulhc; }
    const Point& lowerRight() const { return pData->lrhc; }

private: 
    std::shared_ptr<RectData> pData; 
    ... 
}; 

确实可以解决通过函数调用而导致对象改变的状态。

但是却又可能导致新的问题，因为返回的reference可能会指向一个已经不存在的对象！

考虑如下代码：

//某函数以by-value形式返回Rectangle

const Rectangle CreateRectangle();

const Point * p = &(CreateRectangle().upperLeft());

注意CreateRectangle返回的是一个Rectangle类型的临时变量，在语句结束之后，将会被自动销毁，所以对应的p指针显然是指向一个以及不存在的Rectangle对象中的Point。

综上，就有了返回一个handle代表对象内部成分总是危险的。