继承很重要的一个性质是
可以通过指向基类的指针/引用操作衍生类
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(); }
指针删除过程中会出现类似的未定义行为
总结
多态和指针算术不能混用(常见数组)