Effective C++ T28：避免返回handle指向对象内部成分

Effective C++学习笔记总链接

改善程序与设计的55个具体做法学习笔记-每日1条

---

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

【技巧】

避免返回handle（用来取得某个对象，包括reference、指针、迭代器）指向对象内部。遵守这个条款可增加封装性，帮助const成员函数的行为像个const，并将发生“虚吊号码牌”的可能性降至最低。

---

且看下面代码：

class Point // 表示点
{
public:
	Point(int x, int y);
	...
	void setX(int newVal);
	void setY(int newVal);
	...
};

struct RectData // 这些点数据用来表示一个矩阵
{
	Point ulhc;
	Point lrhc;
};

class Rectangle
{	
	...
private:
	std::shared_ptr<RectData> pData; // 智能指针
};

由于by reference传递用户自定义类型比by value 更高效，因此设计下面代码

class Rectangle
{	
public:
	...
	Point& upperLeft() const {return pData->ulhc;}
	Point& lowerRight() const {return pData->lrhc;}
	...
};

但这样的设计虽然可以通过编译，但是是错误的。调用者可以通过reference更改内部数据！

例如：

Point coord1(0, 0);
Point coord2(100, 100);
const Rectangle rec(coord1, coord2);

rec.upperLeft().setX(50); // 现在rec却从(50, 0)变为(100, 100)

上述错误给我们带来2个教训：

• 成员变量的封装性最多只等于“返回其reference”的函数的访问级别。本例中虽然pData的ulhc和lrhc都是private，但实际上是public，由于成员函数传出他们的reference。
• 虽然是const成员函数，但是函数的调用者可以修改这笔数据。

上述的情况也适用于指针和迭代器。

reference、指针和迭代器被称为所谓的handle（号码牌，用来取得某个对象），可能是==“降低对象封装性”的风险==，也可能导致“虽然调用const成员函数却造成对象状态被更改”

对象的内部就是指向它的成员变量，注意不要返回它们的handle

为此，针对上述代码，只要对它们的返回类型加上const，就可以轻松去除上述问题，代码如下：

class Rectangle
{
public:
	...
	const Point& upperLeft() const {return pData->ulhc;}
	const Point& lowerRight() const {return pData->lrhc;}
};

它们不再允许客户更改对象状态，这些函数只有读取权，没有涂写权。

但即使如此， 还是返回了"代表对象内部"的handle，有可能在其他场合带来问题。更确切的说，可能导致dangling handle(虚吊号码牌)：这种handle 所指的东西不复存在。

这种不复存在的对象，最常见的来源就是函数返回值。
例如： 指向一个不复存在的对象（返回reference指向temp的一个内部成分）

这就是为什么函数如果“返回一个handle代表对象内部成分”总是危险的原因。

这并不意味你绝不可以让成员函数返回handle，有时候你还必须那么做。例如：operator[] 。尽管如此，这样函数毕竟是例外，不是常态。