Effective C++条款28：实现——避免返回handles指向对象内部成分

一、概述

演示案例

• 下面是一些关于图形的类
• Point是用来表示坐标中的点；RectData代表矩形的左上角与右上角；Rectangle用来管理矩形，其中有一个RectData成员变量

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::tr1::shared_ptr<RectData> pData;

};

• 为了客户能够计算Rectangle的范围，Rectangle又提供了两个函数，分别用来返回RectData变量成员中的左上角与右上角成员

class Rectangle {

public:

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

private:

    std::tr1::shared_ptr<RectData> pData;

};

• 上面的函数可以通过编译，但是程序设计上确实错误的：
  • 因为函数虽然被声明为const，但是却返回了数据成员的引用，因此客户端可以通过调用这两个函数改变class中成员变量pData的值了
  • 另一方面虽然pData被声明为private，但是客户端程序可以调用这两个函数来改变pData的值，因此破坏了封装性

二、何为handles

• handles是指引用、指针、迭代器，这些都是handles，客户端可以通过这些handles来改变对象的值，因此不建议函数返回handles，可能会破坏class的内部数据
• 当然这一规则只是对于大部分class的成员函数来说的，但是一些其他情况还是需要返回引用的。例如operator[]成员函数

三、一种替代方案

• 如果真的想要返回handles指向内部成员，那么可以将返回值类型改为const的
• 例如：

class Rectangle {

public:

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

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

private:

        std::tr1::shared_ptr<RectData> pData;

};

• 返回值声明为const之后，客户端程序即使得到了class内部成员的引用，但是不能改变它

四、返回handles的另一种错误现象

• 上面的演示案例说明了，函数返回handles指向内部成员会破坏数据成员与封装性，但是在另一种情况下，它可能会导致（dangling handles）现象

演示案例

• 现在有一个GUIObject类，还有一个函数接受GUIObject对象然后返回一个const Rectangle对象（非引用）

class Point {

public:

    Point(int x, int y);

    void setX(int newVal);

    void setY(int newVal);

};


struct RectData {

    Point ulhc;

    Point lrhc;

};


class Rectangle {

public:

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

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

private:

    std::tr1::shared_ptr<RectData> pData;

};


class GUIObject {};

const Rectangle boundingBox(const GUIObject& obj);


int main()

{

    GUIObject* pgo;

    const Point* pUpperLeft = &(boundingBox(*pgo).upperLeft());

    return 0;

}

• 错误原因：上面使用boundingBox()获得了一个新的、临时的Rectangle对象，然后使用这个对象调用upperLeft函数返回了自身的引用，并且我们使用pUpperLeft接收保存了它，但是当boundingBox()函数执行完之后，临时的Rectangle对象就析构了，因此pUpperLeft将指向于一个已经释放的对象，pUpperLeft就变为空悬、虚吊（dangling）的

五、总结

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