本文为senlie原创。转载请保留此地址：http://blog.csdn.net/zhengsenlie

Item 31



经验：避免返回handles（包含 references、指针、迭代器）指向对象内部。遵守这个条款可添加封装性。

帮助 const 成员函数的行为像个 const。并将发生“虚吊号码牌”(dangling handles)的可能性降至最低。

演示样例：

class Point{

public:

	Point(int x, int y);

	//...

	void setX(int newVal);

	void setY(int newVal);

	//...

};

struct RectData{

	Point ulhc;

	Point urhc;

}

class Rectangle{

public:

	//...

	Point &upperLeft() const {return pData->ulhc;} // bitwise constness --> const 函数仅仅保证成员变量的值不变。不保证成员变量指针所指的值不变

	Point &lowerRight() const {return pData->lrhc;}

	//...

private:

	std::tr1::shared_ptr<RectData> pData; // pimpl实现 --> Item 31

};

Point coord1(0,0);

Point coord2(100,100);

const Rectangle rec(coord1, coord2);

rec.upperLeft().setX(50); // rec 是个const 矩形。从(0,0)到(100,100)。但如今 rec 却变成 从(50,0) 到(100, 100)

解析：返回一个“代表对象内部数据”的handle，随之而来的便是“减少对象封装性”的风险。

不该令成员函数返回一个指针指向“訪问级别较低”的成员函数或成员变量，那样，后者的实际訪问级别就会提高如同前者。

纠正1：在返回类型加上 const

class Rectangle{

public:

	//...

	const Point &upperLeft() const {return pData->ulhc;}

	const Point &lowerRight() const {return pData->lrhc;}

	//...

};

解析：加了 const 后，尽管客户不能必然它们，但它还是可能导致 dangling handles：这样的handles所指东西不复存在。

演示样例：

class GUIObject (...);

const Rectangle boundingBox (const GUIObject &obj); //1.为什么以 by value 方式返回？ 自己定义类型不是reference 更好吗？ --> 由于 Rectangle 是 GUIObject的内部对象？

													//2.既然以by value返回，为什么还要加const，反正返回的是副本，客户改了也没关系呀？

GUIObject *pgo;

//...

const Point *pUpperLeft = &(boundingBox(*pgo).upperLeft()); //这条语句之后 boundingBox返回的对象被析构。间接导致该对象内的Points析构，终于导致 pUpperLeft指向一个不存在的对象

解析：handle比其所指对象更长寿





例外：operator[]会返回strings和vectors的个别元素，这些operator[]就是返回 reference 指向 “容器内的数据”