不要把多态应用在数组 [3.2]

你的编译器会在毫无警告的情况下接受这个函数,但是再看一下这段循环代码,这段代码是编译器必须要编译的:
for(int i=0;i<numElements;++i)
{
s<<array[i];
}
现 在,array[i]实际上是指针运算表达式的缩写:它表示的是 *(array+i) .我们知道变量array是指向数组的首地址的一个指针,但是array+i所指向的地址偏离array所指向的地址到底是多少呢?它们的间隔应该是 i*sizeof(an object in the array),因为array[0] 和 array[i]之间有i个对象.为了让编译器能够产生可以正确遍历这个数组的代码.他们必须能够决定数组所包含元素的大小.对于编译器来说这个很容易, 因为参数array被声明为BST数组类型.也就是说数组的元素必须为BST,而且array[0] 和 array+i的间隔必须是i*size(BST).
    至少你的编译是那么看待这个问题的.于是问题出现.你把一个包含BalancedBST对象的数组传给printBSTArray函数,编译器很可能会假 定数组里的每个对象的大小和BST的大小一样,但实际上每个对象的大小都是BalancedBST大小一样.通常派生类要比基类有更多的成员变量,所 以................  至于产生什么样的结果,谁也说不准.但是绝对不是令人愉悦的结果.
同理 , 如果你试图通过一个基类指针删除一个包含派生类对象的数组.就会发生各种各样的问题.

//delete an array ,but first log a message about its
//deletion
void deleteArray(ostream& logStream,BST array[])
{
logStream<<"Deleting array at address"
                  <<static_cast<void*>(array)<<'/n';
delete []array;
}

BalancedBST *balTreeArray =          //create a BalancedBST
        new BalancedBST[50];              //array
.....
deleteArray(cout,balTreeArray);          //log its deletion

语言规范说通过一个基类指针来删除一个包含派生类对象的数组,其结果是不去确定的.

PS: 通过把析构函数定义成为虚函数,可以解决这个问题.