#include <boost/shared_ptr.hpp>
class Point
{
public:
Point(int x, int y);
void setX(int newVal);
void setY(int newVal);
private:
int x;
int y;
};
struct RectData
{
Point ulhc;
Point lrhc;
};
class Rectangle
{
public:
Point& upperLeft() const { return pData->ulhc; }
Point& lowerRight() const { return pData->lrhc; }
private:
std::tr1::shared_ptr<RectData> pData;
};
//这样的设计是可以通过编译的,但却是错误的
//upperLeft和lowerRight声明为const就是为了提供一个让客户知道坐标的方法,而不是让客户修改坐标
//两个函数都返回references指向private内部数据,调用者于是可以通过references修改内部数据
Point coord1(0, 0);
Point coord2(100, 100);
const Rectangle rec(coord1, coord2);
rec.upperLeft().setX(50);
//注意upperLeft的调用者rec能使用被返回的reference来更改成员,但是rec其实是不可变的。
//如果他们返回的是指针或迭代器相同的情况也一样会发生,References, 指针和迭代器都是所谓的handles(号码牌,用来取得某个对象)
//对象的“内部”不仅指他的成员变量,也还包括不被公开的(protected, private)成员函数
//这也意味着你不该令成员函数返回一个指针指向“访问级别较低”的成员函数
//更改
const Point& upperLeft() const { return pData->ulhc; }
const Point& lowerRight() const { return pData->lrhc; }
//但即使如此upperLeft和lowerRight还是返回代表了内部的handles, 这可能导致dangling handles(空悬的号码牌)
//dangling handles: 即handles所指的东西不存在。这种不复存在的对象最常见的来源是函数返回值
//示例:
class GUIObject{ ... };
const Rectangle boundingBox(const GUIObject& obj);
客户有可能这样使用这个函数
GUIObject *pgo;
...
const Point* pUpperLeft = &(boundingBox(*pgo).upperLeft())
对boundingBox的调用获取了一个暂时的Rectangle对象, 没有名称我们暂称为temp,
随后upperLeft作用在temp身上,返回一个reference指向temp内部的Point,
但是这个语句结束后,temp将被销毁,间接导致temp内部的Points析构,
最终导致了pUpperLeft指向了一个不再存在的对象, pUpperLeft也就变也了dangling.
请记住:
》 有个handle被传出, 你就暴露在“handle比其所指对象更长寿”的风险下。
》 避免返回handles(指针, reference, 迭代器)指向对象内部, 遵守这个条款可增加封装性, 帮助const成员函数的行为像const, 并将发生dangling handles的可能性降至最低