More Effective C++ 第三讲，不要对数组使用多态

爱抖腿的小松鼠

于 2022-06-08 21:43:17 发布

阅读量185

点赞数

分类专栏： more efficive c++ 文章标签： c++ 算法开发语言

本文链接：https://blog.youkuaiyun.com/u011514176/article/details/125193090

版权

more efficive c++ 专栏收录该内容

3 篇文章

订阅专栏

本文探讨了C++中多态数组可能导致的问题，特别是当基类指针用于操作派生类数组时，由于大小不匹配可能会引发段错误。示例代码显示，当基类和派生类大小不同时，使用动态分配的多态数组会导致内存访问错误，强调了在处理多态性与数组结合时需谨慎。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++允许你通过基类指针和引用来操作派生类数组。不过这根本就不是一个特性，因为这样的代码几乎从不如你所愿地那样运行。数组与多态不能用在一起。值得注意的是如果你不从一个具体类(concrete classes)(例如BST)派生出另一个具体类(例如BalancedBST)，那么你就不太可能犯这种使用多态性数组的错误
在对数组进行传参使用多态时，程序会crash; 因为数组在移位至下一数据时，步长是形参(基类)的size，而不是指针实际指向数据类型(派生类)的size，所以会数组会移位至一个非法的地址。

class BST {
public:
	virtual ~BST() { fprintf(stdout, "BST::~BST\n"); }
private:
	int score;
};
 
class BalancedBST : public BST {
public:
	virtual ~BalancedBST() { fprintf(stdout, "BalancedBST::~BalancedBST\n"); }
private:
	int length;
	int size; // 如果增加此一个int成员，执行test_item_3会segmentation fault，注释掉此变量，运行正常
};
 
int test_item_3()
{
	fprintf(stdout, "BST size: %d\n", sizeof(BST)); // 16
	fprintf(stdout, "BalancedBST size: %d\n", sizeof(BalancedBST)); // 24
 
	BST* p = new BalancedBST[10];
	delete [] p; // 如果sizeof(BST) != sizeof(BalancedBST)，则会segmentation fault
 
	return 0;
}