一、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指针指向的类型是子类,所以就会调用子类的虚函数表中的虚函数。