条款3：绝对不要以多态方式处理数组

**

印象笔记：

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类型，同样对编译器产生了误导。

简单地说，多态和指针算术不能混用。数组对象几乎总是会涉及指针的算术运算，所以数组和多态不要混用。