Item 3:绝对不要以多态方式处理数组
当用一个base class 的指针或者引用来处理derived class objects时,我们就认为这样的指针或者引用具有多态性。
多态性是C++的特性之一,应该是方便程序员的,但是如果使用不当,也会给程序员带来许多苦恼。
在C++中,允许使用base class的指针或者引用来操作derived class 的对象数组,这样的操作,会给你带来意想不到的麻烦。
这是为什么呢?
原因就在于:指针大小的算术运算。
下面我们举例说明:当我们输出derived class 对象的数组元素时,会用到vd[i]进行操作,但是其实这是一个“指针算术表达式的简写”,完整的应该是*(vd+i);
那么问题就出现了,这个 i 指的是多大呢?我们都知道数组的间隔大小是数据元素的大小,即 i * sizeof( base class object),因此编译器需要知道计算对象的大小;
但是,数组原本声明的是base class 类型,当你传送一个derived class 类型的数据过去时,编译器还是按照base class object 的大小进行计算,因此输出的结果未知。
同样的原因,当使用base class 的数组去操作删除derived class 的数组时,也因为指针大小的算术运算而导致失败。
因此,我们建议:
(1)数组和多态不要混用;
(2) 尽量避免“一个具体的类继承自另一个具体的类”。(这样不容易犯数组合多态混用的错误)