More Effective C++条款3

这个条款就一条重要结论：数组和多态不能混用，否则会出现无法处理的错误。

继承的最重要性质之一就是：可以通过"指向base class objects"的pointers和references，来操作derived class objects。如此的pointers和references，其行为是多态的。

class BST{...};
class BalanceBST : public BST{...};
void PrintBSTArray(const BST array[], int numElements)
{
	for (int i = 0; i < numElements; ++i)
	{
		cout << array[i];
	}
}

BST bstArray[10];
PrintBSTArray(cout, bstArray, 10); // 良好运行

BalanceBST bstArray[10];
PrintBSTArray(cout, bstArray, 10); // 未定义行为

未定义行为是因为第一BST对象(父类)和BalanceBST（子类）对象所占内存大小是不一样的，理论上派生类会比基类所占的内存要大一点；第二array是一个指针，array[i]相当于*(array+i),array和array+i在内存上相距多远？答案是i*sizeof(BST),因为理论上BST数组全是BST类型的对象。所以当派生类对象传进去的时候，sizeof（BST）和sizeof（BalanceBST）在内存上不一定能对应，这个结果是不可预期的。

同理，如果尝试通过一个base class指针，删除一个有derived class objects组成的数组，上述问题也会出现，这也是为什么析构函数为虚函数的原因。Delete []array;操作会调用父类的析构函数，而不会调用派生类的析构函数。C++语言规范中说，通过基类指针删除一个由派生类（子类）对象组成的数组，结果是未定义的。 

总结就是一句话：多态和指针不能混用，数组对象几乎总是会涉及到指针的算数运算，所以数组和指针不能混用。