【C++】基类数组不可以使用多态原因

• 2020 年 4 月 2 日
• 筆記

原因：

数组的分配是采用：首地址+偏移量的方式，而偏移量是固定大小的，例如：Node arry[10]；

arry[i] 的地址：&arry[0]+i*sizeof(Node);

当Node是含有虚函数的基类的时候，arry[]中保存的都是基类Node的元素，因为数组的取值方式便是固定偏移量的，一旦数组中存储的是继承类的话，那么这个数组的取值方式，会导致出现不可见的错误。(备注：通常情况下会认为这个元素是基类)。

例子：

#include <iostream>using namespace std;  class Base  {public:    virtual void f();    virtual void print();};void Base::f() {    cout<<"Base f() ."<<endl;}void Base::print() {    cout<< "Base print() ."<<endl;}  class Derive :public Base{public:    virtual void f();};void Derive::f() {    cout<<"Derive f() ."<<endl;}  int main() {    Base a[5]; // 这里存储的是基类的数组    Derive d;    a[1] = d; // a[1]赋值 给继承类    for(int i = 0; i <5; i++){       a[i].f();//这里都会当走基类来处理    }    Base* b[2] = {NULL,NULL}; // 存储的是基类指针，指针的大小是固定的    b[0] = new Base();    b[1] = new Derive();    for(int i = 0; i <2; i++){        if (b[i] != NULL) {           b[i]->f();// 这里会输出 继承类的内容           delete b[i];        }    }  return 0;}

Output:

Base f() .Base f() .// a[0].f()Base f() .Base f() .Base f() . Base f() . // b[0]->f()Derive f() . // b[1]->f()

输出结果分析：

1.通过上面的输出，可以看出一旦数组是基类，就算数组中的元素赋值为继承类，也是被当作基类来使用。

2.非要在数组中使用多态的话，可以采用指针的方式，指针的偏移量是固定的，可以使继承类的多态得到实现。