不要对数组和指针运算使用多态

先看下面的程序：

#include<iostream>
using namespace std;
class Animal{
private:
char* name;
public:
Animal(){}
Animal(char* tmp){
name=tmp;
}
virtual ~Animal(){}
friend ostream& operator<<(ostream&out,const Animal& animal){
out<<animal.name;
return out;
}
};
class waterAnimal:public Animal{
private:
char* name;
public:
waterAnimal(){}
waterAnimal(char* tmp){
name=tmp;
}
~waterAnimal(){}
friend ostream& operator<<(ostream&out,const waterAnimal& wtanimal){
out<<wtanimal.name;
return out;
}
};
void display(Animal array[],int num){
for(int i=0;i<num;i++){
cout<<array[i]<<endl;
}
}
int main(){
Animal array[3]={"tiger","lion","bear"};
display(array,3);
}

主函数中将Animal类对象传给display函数，这个程序能够正确的输出结果。

但是现在假设有一个派生类数组：

waterAnimal wtarray[3]={"fish","shrimp","whale"};
display(wtarray,3);

将派生类数组传递给display函数，数组名退化为指针，即将派生类指针赋给基类指针。display函数中调用operator<<()函数，而且其中array[i]相当于*(array+i)，这时候问题出现了，编译器需要知道元素的大小，以便进行指针运算，两个相邻的array元素间隔是多少呢？编译器认为他们的间隔即array的元素类型的字节数，即Animal的大小。然而我们传给display函数的实际类型却是waterAnimal，它是Animal的派生类，我们知道派生类的大小一般是要大于基类大小的。所以指针运算肯定出错了。下面是两个数组的运行结果：



所以，多态和指针运算不能混合在一起用，也就意味着多态和数组也不能混合一起用！