不要对数组使用多态

最新推荐文章于 2020-12-11 05:27:45 发布

__Lemon__

最新推荐文章于 2020-12-11 05:27:45 发布

阅读量1.1k

点赞数

CC 4.0 BY-SA版权

分类专栏：编程(汇编/C/C++)

本文链接：https://blog.youkuaiyun.com/Since20140504/article/details/51894824

编程(汇编/C/C++) 专栏收录该内容

44 篇文章

订阅专栏

本文探讨了在C++中使用多态机制时，数组作为参数传递可能导致的问题。特别是当数组元素为派生类对象时，由于基类与派生类大小不一致导致的数组越界问题。

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

在对数组进行传参使用多态时，程序会crash; 因为数组在移位至下一数据时，步长是形参(基类)的size，而不是指针实际指向数据类型(派生类)的size，所以会数组会移位至一个非法的地址。

详见下例：

有1点需要注意：如果Base和Derived类size大小一样(有相同的数据成员)，不会crash。

#include <iostream>
using namespace std;

class Base
{
public:
  virtual void test()
  {
    cout<<"Base::test()"<<endl;
  }
  int a;
};

class Derived: public Base
{
public:
   void test()
  {
    cout<<"Derived::test()"<<endl;
  }
  int b, c;
};

int testArray(Base bArray[], int n)
{
  for(int i =0; i<n; i++)
    bArray[i].test();  //i = 1时，程序crash; 编译器原先已经假设数组中元素与Base对象的大小一致，但是现在数组中每一个对象大小却与Derived一致,派生类的长度比基类要长，数组将移动到一个非法位置。
}

int main()
{
  Base *p = new Derived[2];  
  testArray(p, 2);    
}