**
印象笔记:
C++允许通过base class的pointers和references来操作“derived class objects所形成的数组”。但它几乎绝不会如你所预期般地运作。
**
继承的最重要性质之一是:你可以通过“指向base class objects”的pointers或references,来操作derived class objects。
如:
Shape *shape;
Rectangle rec(10,7);
Triangle tri(10,5);
// 存储矩形的地址
shape = &rec;
// 存储三角形的地址
shape = &tri;
由于derived classes通常比其base classes有更多的data members,所以derived class objects通常都比base class objects来得大。
因此考虑如下:
//class BalancedBST:public BST{};
void printBSTArray(ostream& s,const BST array[],int numElements)
{
for(int i=0;i<numElements;++i{
s<<array[i];
}
}
我们知道array[i]代表的其实是*(array+i),array所指内存和array+i所指内存两者相距i*sizeof(数组中的对象)。
当通过BalancedBST对象所组成的数组交给printBSTArray函数时
BalancedBST bBSTArray[10];
printBSTArray(cout,bBSTArray,10);
你的编译器会毫无怨言地接受它,但array已经被声明为“类型为BST”的数组,所以数组中每个元素必然是BST对象,这时编译器就会被误导,以致产生不可预期的结果。
另外,C++语言规范中说,通过base class指针删除一个由derived classes objects构成的数组,其结果未定义。当数组被删除时,数组中每一个元素的destructor都必须被调用,而该元素被声明为base class类型,同样对编译器产生了误导。
简单地说,多态和指针算术不能混用。数组对象几乎总是会涉及指针的算术运算,所以数组和多态不要混用。