条款3：绝对不要以多态方式处理数组_绝对不要以多态的方式处理一个数组-CSDN博客

本文链接：https://blog.csdn.net/Sea_muxixi/article/details/84525655

继承里面有一个性质：可以通过指向基类的指针操作派生类的对象。

假设有一个类BST(binary rearch tree)，以及一个继承自BST的类BalanceBST;

现在考虑下面一个函数，用来打印BSTs数组中的每一个BST的内容：

void printBSTArray(ostream& s, const BST array[], int numElements)
{
	for (int i = 0; i < numElements; i++)
	{
		s << array[i];
	}
}

如果将BST对象组成的数组传给此函数，

BST BSTArray[10];
printBSTArray(cout,BSTArray,10);

没问题；

但是如果如果将BalanceBST对象组成的数组交给这个函数;

BalanceBST bBSTArray[10];
printBSTArray(cout,bBSTArray,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组成的数组，上述问题也会出现，这也是为什么析构函数为虚函数的原因。

注意：设计软件使"具体类不要继承另外一个具体类"，可以带来很多好处。