【M3】绝对不要以多态方式处理数组

1、考虑下面的情况，有个方法，如下：

　　void Print(ostream& s, const Base array[], int size)

　　{

　　　　for(int i=0; i< size; ++i)

　　　　{

　　　　　　s<<array[i];

　　　　}　

　　}

2、对于Base baseArray[10]; Print(cout, baseArray, 10) 没有问题。在C++中，子类对象组成的数组，可以复制给父类的引用或者指针。数组名也可以认为是个地址。

　　考虑： Derived derivedArray[10]; Print(cout, derivedArray, 10) 会发生什么事？

　　我们知道array[i] 其实就是 *(array +i ); 也就是移动i个单元，解引用。编译器必须知道移动多少个字节，既然方法声明中为父类数组，移动的字节就是 i*sizeof(Base).

当我们把子类对象组成的数组，传递给Print方法的时候，编译器还是按照 i*sizeof(Base)的方式移动。由于子类对象往往比父类对象大，造成的结果不可预期。

3、考虑方法

　　deleteArray(Base array[])

　　{

　　　　delete [] array;　

　　}

　　delete [] array做的事情是：逆序对每个元素执行析构方法 Base::~Base(); 并且释放内存。当我们把子类对象组成的数组，传递给deleteArrayt方法的时候，编译器还是按照上面的方式处理，这必然导致未定义的行为。

4、结论就是：绝对不要以多态方式处理数组。