More Effective C++:条款3:绝对不要以多态的方式处理数组

继承很重要的一个性质是

可以通过指向基类的指针/引用操作衍生类

C++也允许通过基类的指针操作衍生类的数组,但是操作的结果几乎不会按照预期进行。

打印BST数组中所有内容
void printBSTArray(ostream& s,const BST array[],int num){
	for(int i =0; i < num; ++i){
		s << array[i];
	}
}
调用
BST BSTArray[10];
printBSTArray(cout, BSTArray, 10);

↑基类  
↓衍生类

BalancedBST bBSTArray[10];
printBSTArray(cout, bBSTArray, 10);

上述的遍历循环中,array[i]的含义为*(array+i*sizeof(type))【指针算术表达式】
当数组类型由基类转变为衍生类时,type的大小很有可能会发生变化
但是编译器依然按照BST类型开辟空间
运行结果不可估计,没有预期

删除操作也是很需要注意的
当你试图通过基类指针删除由衍生类组成的数组时

void deleteArray(ostream& s, BST array[]){
	s << "删除元素地址" << static_cast<void*>(array) << '\n';
	delete[] array;
}

BalancedBST* balancedArray = new BalancedBST[50];

deleteArray(cout, balancedArray);

虽然没有出现指针算术表达式,但是当数组被删除,数组中每一个元素的析构函数都将被调用,当看到delete[] array
会产生如下代码

for(int i = 元素数量-1; i >= 0; --i){
	array[i].BST::~BST();
}

指针删除过程中会出现类似的未定义行为
总结

多态和指针算术不能混用(常见数组)

上一篇:Sql Server中的数据类型和Mysql中的数据类型的对应关系(转)


下一篇:96. Unique Binary Search Trees(dp)