继承的重要性质之一就是:可以使用指向基类对象的指针或引用来操作派生类对象,对于这样的指针或引用我们称其行为是多态的,就好像它们有多重类型似的。
所以C++允许我们通过基类指针或引用来操作派生类的数组,这是合法的,但建议不要这么做。
我们知道,数组通过下标访问元素的行为,比如array[i],本质是一个“指针算术表达式”的简写,它的原型是:*(array+i)。数组名array本质是一个指针,当其访问连续的两个元素时,是通过位移一个元素内存大小的距离来实现的,如array和array+i之间的距离为:i×sizeof(数组中的对象)。
由于派生类通常比基类有着更多的数据成员,其内存大小也会更大,所以当我们用基类指针或引用来操作派生类的数组时,指针位移的量是取决于基类对象的内存大小的,这就会导致不可预期的错误。
简单来说,由于数组对象总是会涉及指针的算术运算,所以建议不要以多态方式处理数组。