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++语言规范中说,通过基类指针删除一个由派生类(子类)对象组成的数组,结果是未定义的。 

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

  • 0
    点赞
  • 0
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:深蓝海洋 设计师:CSDN官方博客 返回首页
评论

打赏作者

qq_39036772

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值