绝对不要以多态（ploymorphically）方式处理数组

一、简述

        类继承（inheritance）的最重要的特性是你可以通过基类指针或引用来操作派生类对象。这样的指针或引用具有行为的多态性-犹如它们有多重类型似的。C++允许你通过基类指针和引用来操作派生类数组。但这一点不值得沾沾自喜，因为它几乎绝对不会如你所预期般地运作。

二、指向派生类对象

有如下代码片段：

class BST{};
class BalancedBST : public BST {}
//打印数组中的每个BST的内容
void printBSTArray(ostream &s, const BST array[], int numElements){
    for(int i = 0; i < numElements;)
    {
        s << array[i];  //BST类重载了operator <<
    }
}

现如今，你将一个由BST对象数组传给printBSTArray函数，如下：

BST BSTArray[10];
...
printBSTArray(cout, BSTArray， 10);  //运行正常

这是没有问题的。
现在我们换一种情况，代码片段如下：

BalancedBST bBSTArray[10];
...
printBSTArray(cout, bBSTArray， 10);  //还会运行正常吗？

这里编译可以顺利通过，但请继续看如下的代码：

for(int i = 0; i < numElements;)
{
    s << array[i];  //BST类重载了operator <<
}

将派生类数组传递给printBSTArray函数，数组名退化为指针，即将派生类指针赋给基类指针,array[i]代表*(array+i)，array是一个指针，代表数组的首地址，那么array和array+i所致的内存两者相距多远呢？答案是i*sizeof(数组中的对象)。因为array中元素是BST类型的，所以array与array+i相距i*sizeof(BST)。
但是派生类BalancedBST对象的大小比BST大，所以会出错误。

三、基类指针删除派生类组成的数组

有如下的代码片段：

//删除一个数组，但是首先记录一个删除信息
void deleteArray(ostream& logStream, BST array[])
{
    logStream << "Delete array at address" 
              << static_cast<void *>(array) << "\n";
    delete [] array;
}
 
BalancedBST *balTreeArray = new BalancedBST[50];
... 
deleteArray(cout., balTreeArray );

虽然你没有看到，但这里面隐藏着一些指针算法：当一个数组被删除时，每一个数组元素的析构函数也会被调用，编译器可能看到如下的代码：

// 以与构造顺序相反的顺序来析构array数组的对象
for(int i = 数组元素的个数 - 1; i >= 0; i--)
{
    array[i].BST::~BST();  //调用array[i]的析构函数
}

如果你这么写，这就是一个行为错误的循环，C++语言规范指出通过一个基类指针来删除一个派生类对象的数组，其结果是未定义的。

四、总结

        多态和指针算法不能混用，所以数组和多态也不能用作一起，但如果你不从一个具体类(与抽象类)派生出另一个具体类，那么你就不太可能犯这种多态性数组的错误。