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

原因：

数组的分配是采用：首地址+偏移量的方式，而偏移量是固定大小的，例如：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.非要在数组中使用多态的话，可以采用指针的方式，指针的偏移量是固定的，可以使继承类的多态得到实现。