C++中的多态与数组

      在C++中你可以通过基类指针或引用来操作派生类（注：这里说的是基类指针）。在More Effective C++中举了这样一个例子：
         class BST { ... };
         class BalancedBST: public BST { ... };
         void printBSTArray(ostream& s,const BST array[],int numElements)//打印数组中的每一个BST对象
　　  {
　　　 for (int i = 0; i < numElements; ) {
　　　　s << array[i]; //假设BST类重载了操作符<<
　　      }
          }

       当把含有BalancedBST对象的数组变量传递给printBSTArray函数时，产生的结果将是无法预知的。array是一个指向数组起始地址的指针，但是array中各元素内存地址与数组的起始地址的间隔究竟有多大呢？它们的间隔是i*sizeof(一个在数组里的对象)，因为在array数组[0]到[I]间有I个对象。编译器为了建立正确遍历数组的执行代码，它必须能够确定数组中对象的大小，这对编译器来说是很容易做到的。参数array被声明为BST类型，所以array数组中每一个元素都是BST类型，因此每个元素与数组起始地址的间隔是be i*sizeof(BST)。但是如果你把一个含有BalancedBST对象的数组变量传递给printBSTArray函数。在这种情况下，编译器原先已经假设数组中元素与BST对象的大小一致，但是现在数组中每一个对象大小却与BalancedBST一致。派生类的长度通常都比基类要长。我们料想BalancedBST对象长度的比BST长。如果如此的话，printBSTArray函数生成的指针算法将是错误的，没有人知道如果用BalancedBST数组来执行printBSTArray函数将会发生什么样的后果。

      在删除数组时也很容易发生问题，如下面的删除数组的代码： 

       void deleteArray(ostream& logStream, BST array[])
       {
　　　logStream << "Deleting array at address "
　　　　<< static_cast<void*>(array) << '/n';
　    　delete [] array;
　   }
   　BalancedBST *balTreeArray = new BalancedBST[50]; // 建立一个BalancedBST对象数组
　   deleteArray(cout, balTreeArray); // 记录这个删除操作

在执行delete [] array时，实际上是调用的是BST的析构函数，所以BalancedBST不能被析构。

    当然我们可以把BST的析构函数写成（也应该写成）虚函数就不会出现delete [] array时的问题，但是前面操作数据元素时的问题还是无法解决的。只有使用数组指针就不会出现上面的问题了。