通过指向基类的指针和引用来操纵派生类对象,这是继承的一大特性。C++允许通过基类的指针和引用来操纵派生类数组。但是,结果是不确定的。比如,有个BST的类,以及一个叫BalancedBST的类,他继承自BST。
class BST{ ... };
class BalancedBST:public BST{ ... };
考虑一个打印一个BST数组里的所有BST元素的函数:
void printBSTArray(ostream &s,
const BST array[],
int numElements)
{
for(int i=0;i<numElements,++i)
{
s<<array[i];
}
}
如果,你传给这个函数一个包含BST对象的数组,会很好运行。
BST BSTArray[10];
printBSTArray(cout,BSTArray,10);
如果传给的是一个包含 BalancedBST 对象的数组。
BalancedBST bSTArray[10];
printBSTArray(cout,bSTArray,10);
编译器可以毫无警告的情况下,接受这个函数,但是这段代码,有问题。
for(int i=0;i<numElements,++i)
{
s<<array[i];
}
Array[i]实际上是指针运算的缩写:它表示的是*(array+i)。我们知道变量array指向数组的首地址的一个指针,但是array+i所指向的地址偏离array所指向的地址。
他们的间隔应该是i*sizeof(数组对象大小),因为array[0]和array[i]之间有i个对象。
为了能够正确的遍历这个数组,必须决定数组元素的大小。
在array声明为BST数组类型是,正确运行。
在array声明为 BalancedBST 时,编译器认为数组里的每个对象的大小和BST一样。但实际上, 派生类的大小 要比 基类的大小大 ,这就产生了问题。
当通过一个 基类指针删除一个包含派生类对象的数组 ,会发生各种各样的问题。
比如,咱函数中delete [] array;
会产生如下代码:
for(int i=numElements-1;i>=0;--i){
array[i].BST::~BST(); //调用array[i]的析构函数
}
总结:
多态和指针运算是不能用在一起的 。数组操作几乎总要涉及指针运算,所以数组和多态也不能一起使用。