在类的构造函数中,是按从根部的基类开始调用构造函数,再按数据的声明的顺序初始化 (所以把数据放在初始化列表能提高一点效率),再开始执行括号中的函数体, 而在析构函数中,调用析构函数的顺序则正好相反。 如果不将析构函数声明为虚的,调用析构函数时会根据指针而不是所指对象来调用,在用接口模式,还有工厂模式时,由于指向类的指针和所指对象不同,会出现资源泄露。而构造函数则不可能为虚,从语意上说不通,因为还没有生成对象,怎么能动态绑定。
继承(泛化)关系是一种is-a关系,Person<---Student,Student is a Person,在使用Person的地方Student可以代替,这就是public继承的泛化关系,如果不成立的话,说明这个设计是有问题的。
has-a关系是一种比is-a关系的耦合度小的关系,当is-a关系设计有问题时,就可以考虑has-a关系,比如一个Set,它底层使用List来保存,但Set不能有重复的元素,因此不使用继承。has-a是被运用最多的。
private继承:effective 42的例子太经典了,为了通用性,使用了模板Stack<T>,但如果有多种数据类型,会产生代码膨胀的问题,int,float,double....,所以改为不使用模板类,Stack.push(void*),但这样就失去了类型检查.解决方法是将Stack的接口改为继承的,再在派生的模板类GenericStack<T>中开放接口,完美的实现了通用性和类型安全.如果使用has-a则不行,如果接口开放,用户可能会直接使用Stack类(很有可能),而不是用GenericStack.,强类型检查是C++的设计哲学.
类中的三类函数:
1.普通函数: 不变的,绝对不应该去改写
2.纯虚函数: 变化的,绝对要改写
3.虚函数: 倾向于变化,但有缺省行为
虚函数的默认参数是绝对不应该改写的,动态绑定的时候,只会使用基类的默认参数,所以改写了会有麻烦,你会发现直接调用和动态绑定得到的默认参数不同.
如果要向下转型,有两个选择
1.在基类中定义相应的接口,让虚函数来搞定
2.如果方法一不行的话,使用dynamic_cast,注意最好要判断返回值(失败为NULL)
dynamic_cast是通过RTTI,在运行时检查后再转换,基类必须要有虚函数,其它3个是静态转换,在编译的时候就已经确定了.
如果不同的对象,行为相同,使用模板是好主意.
如果行为因为对象的不同而有所不同,那使用继承和虚函数吧