条款3:绝对不要以多态方式处理数组

来源:互联网 发布:违规删除恢复权重淘宝 编辑:程序博客网 时间:2024/05/20 02:21

**
印象笔记:
C++允许通过base class的pointers和references来操作“derived class objects所形成的数组”。但它几乎绝不会如你所预期般地运作。
**

继承的最重要性质之一是:你可以通过“指向base class objects”的pointers或references,来操作derived class objects。
如:

Shape *shape;Rectangle rec(10,7);Triangle  tri(10,5);// 存储矩形的地址shape = &rec;// 存储三角形的地址shape = &tri;

由于derived classes通常比其base classes有更多的data members,所以derived class objects通常都比base class objects来得大。

因此考虑如下:
//class BalancedBST:public BST{};

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

我们知道array[i]代表的其实是*(array+i),array所指内存和array+i所指内存两者相距i*sizeof(数组中的对象)。
当通过BalancedBST对象所组成的数组交给printBSTArray函数时

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

你的编译器会毫无怨言地接受它,但array已经被声明为“类型为BST”的数组,所以数组中每个元素必然是BST对象,这时编译器就会被误导,以致产生不可预期的结果。

另外,C++语言规范中说,通过base class指针删除一个由derived classes objects构成的数组,其结果未定义。当数组被删除时,数组中每一个元素的destructor都必须被调用,而该元素被声明为base class类型,同样对编译器产生了误导。

简单地说,多态和指针算术不能混用。数组对象几乎总是会涉及指针的算术运算,所以数组和多态不要混用。

0 0
原创粉丝点击