More Effective C++读书笔记3

最新推荐文章于 2025-05-03 22:31:12 发布

原创最新推荐文章于 2025-05-03 22:31:12 发布 · 763 阅读

1 ·

CC 4.0 BY-SA版权

C++技术专栏收录该内容

39 篇文章

订阅专栏

本文探讨了使用多态数组可能导致的问题，特别是当派生类对象的数组通过基类指针进行处理时，可能会导致未定义行为。举例说明了如何通过基类指针处理派生类数组时可能引发的问题。

Item 3: 不要对数组使用多态

语言规范中说通过一个基类指针来删除一个含有派生类对象的数组，结果将是不确定的。

class BST { ... };
class BalancedBST: public BST { ... };

void printBSTArray(ostream& s,const BST array[], int numElements)
{
    for (int i = 0; i < numElements; )
    {
        s << array[i]; //假设 BST 类重载了操作符<<
    }
}

编译器原先已经假设数组中元素与 BST 对象的大小一致，但是现在数组中每一个对象大小却与 BalancedBST 一致。派生类的长度通常都比基类要长。我们料想 BalancedBST 对象长度的比 BST 长。如果如此的话，printBSTArray 函数生成的指针算法将是错误的，没有人知道如果用 BalancedBST 数组来执行 printBSTArray 函数将会发生什么样的后果。不论是什么后果都是令人不愉快的。

值得注意的是如果你不从一个具体类（concrete classes）（例如 BST）派生出另一个具体类（例如 BalancedBST），那么你就不太可能犯这种使用多态性数组的错误。