C++面向对象高级编程(侯捷)——OO部分(一)

一、Composition(复合)

1. 表示has-a的关系。可以理解为一个class里有另一个class。比如说STL中queue的定义(部分)：

template <class T>
class queue{
    ...
protected:
    deque<T> c;
public:
    bool empty() const { return c.empty(); }
    size_type size() const { return c.size(); }
    reference front() { return c.front(); }
    reference back() { return c.back(); }
    //
    void push(const value_type& x) { c.push_back(x); }
    void pop() { c.pop_front(); }
};

这里就是可以理解为queue里面有一个deque。这也体现了一种名为Adapter(适配器)的设计模式

2. 从内存的角度解释composition(以下例子的字长均为4个字节)

从composition的角度考虑，可以理解为queue has-a deque，deque has-a Itr，所以求sizeof的结果如图所示

3. Composition(复合)关系下的构造和析构

总结起来就是构造由内而外，析构由外而内。

(1) Container的构造函数首先调用Component的默认构造函数，然后再执行自己。要注意的是我们如果没有在Container构造函数的初始化列表中调用Component的默认构造函数也没有关系，编译器会自动帮我们调用Component的默认构造函数。如果调用的默认构造函数不满足Container的要求，那么就要求类的设计者在初始化列表中调用合适的构造函数。

Container::Container(...): Component() { ... }

(2) Container的析构函数首先执行自己，然后才调用Component的析构函数

Container::~Container(...){ ... ~Component(); }

二、Delegation(委托) 即 Composition by reference

1. 这种设计非常经典，有个名字叫pImpl(pointer to implementation)，它把对外的接口和内部实现分开来。比如上面的例子，class String中定义对外的接口，而具体实现则放到class StringRep中，class String中包含一个指向Class StringRep对象的指针。

三、Inheritance(继承)，表示is-a

//这个例子体现的是数据的继承，里面没有函数
struct _List_node_base
{
    _List_node_base* _M_next;
    _List_node_base* _M_prev;
};

template<typename _Tp>
struct _List_node
    : public _List_node_base
{
    _Tp _M_data;
};

1. Inheritance(继承)关系下的构造和析构

子类的对象中包含父类的部分(注意表述为Derived object中包含Base part)，所以构造是由内而外，析构是由外而内，这一个部分和Composition中的构造和析构可以理解为是一样的。

另外要注意的是父类的析构函数必须设置为虚函数，否则会出现undefined behavior(原因讲起来比较长，所以以后再说)

2. Inheritance(继承) with virtual functions(虚函数)

与数据不同，函数的继承继承的是调用权

class Shape{
public:
    virtual void draw() const = 0;//纯虚函数
    virtual void error(const std::string& msg);//虚函数
    int objectID() const;//非虚函数
    ...        
};

class Rectangle: public Shape{ ... };
class Ellipse: public Shape{ ... };

非虚函数：不希望子类重写(override)；虚函数：子类可以重写(override)，但它也可以有默认定义；纯虚函数：子类必须重写(override)，没有默认定义。

3. 一个经典的使用虚函数的例子

考虑我们使用任何软件都比较常用的“打开文件”的这个动作，应用程序可能会先检查输入的文件名是否合法，然后再从硬盘中找这个文件，找到这个文件之后再读取这个文件，将其打开。思考这整个过程，除了具体的读取文件的操作，其他操作都是基本上可以确定的，也就是不论我们打开的是哪种类型的文件，像检查文件名，搜索文件这些操作应该都是相同的。所以我们在功能设计的时候，就可以把这些功能在父类中提前写好，而将读取文件这个关键动作定义为虚函数，将来其他人就可以继承我们这个父类，并且在子类中重新定义读取文件这个操作，如下图所示：

父类的关键动作延缓到子类去实现，这个关键动作就叫做Template Method(模板方法)，大名鼎鼎的23个设计模式之一。这就引出了应用程序框架的概念(Application framework)，在应用程序框架中就可以大量使用Template Method。

上图中还有一个值得注意的地方，子类对象调用的父类函数中的Serialize函数为什么使用的是子类的定义？这是因为函数调用有一个隐藏的参数，这就是this指针，这个this指针指向的类型是子类，所以就会调用子类的虚函数表中的虚函数。