今天一天的体会，虚函数 effective C++ 继承关系与面向对象设计读书笔记

在类的构造函数中，是按从根部的基类开始调用构造函数，再按数据的声明的顺序初始化 （所以把数据放在初始化列表能提高一点效率），再开始执行括号中的函数体， 而在析构函数中，调用析构函数的顺序则正好相反。 如果不将析构函数声明为虚的，调用析构函数时会根据指针而不是所指对象来调用，在用接口模式，还有工厂模式时，由于指向类的指针和所指对象不同，会出现资源泄露。而构造函数则不可能为虚，从语意上说不通，因为还没有生成对象，怎么能动态绑定。

 

继承（泛化）关系是一种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个是静态转换,在编译的时候就已经确定了.

 

如果不同的对象,行为相同,使用模板是好主意.

如果行为因为对象的不同而有所不同,那使用继承和虚函数吧