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、结论就是:绝对不要以多态方式处理数组。