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

先看下面的程序：

#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的派生类，我们知道派生类的大小一般是要大于基类大小的。所以指针运算肯定出错了。下面是两个数组的运行结果：

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