C++之不要对数组使用多态（3）---《More Effective C++》

类继承的最重要特性是我们可以通过基类指针来操纵派生类。这样的指针或者引用具有行为的多态性，就好像它们同时具有多种形态。C++允许你通过接力指针和引用来操作派生类数组，但这并不是同一个特性，因此，我们需要了解类数组的特性，然后对其加以规避：

class BST{...};
class BalancedBST:public BST{...};
void printBSTArray(ostream& s,const BST array[],int numElements){
    for(int i=0;i<numElements;i++){
        s<<array[i];//假设我们已经重载了<<运算符
    }
}

//如下方法运行正常
BST BSTArray[10];
...
printBSTArray(cout,BSTArray,10);

//接下来运行失败
BalancedBST bBSTArray[10];
...
printBSTArray(cout,bBSTArray,10);

接下来我们对上面的代码进行分析：

我们知道array是一个指向数组起始地址的指针，但是array中各元素内存地址和数组起始地址的间隔究竟有多大呢？间隔为i*sizeof(数组中的对象类型)，所以在本例中每个元素与数组起始地址的间隔为i*sizeof(BST)。现在我们传递进去的的却是BanlancedBST，假设sizeof(BST)==8并且sizeof(BalancedBST)==12，那么现在我们是不是可以发现问题所在了？printBSTArray中array[1]的地址是在&array[0]+8bytes，当编译器找到这个地址，然后准备进行下一运算的时候发现，这根本就不是个BST对象，所以会输出错乱，出现一些令人不愉快的结果。

所以在程序中针对数组尽量避免使用多态，以防止出现一些莫名其妙的问题。

下面我们举个例子看看实际的运行效果：

#include <iostream>
#include <string>
using namespace std;
class Base{
private:
    int i;
public:
    Base(){

    }
    Base(int i) :i(i){

    }
    friend ostream& operator<<(ostream& os, Base& base){
        os << base.i;
        return os;
    }
    virtual void show(){
        cout << i << endl;
    }
    virtual ~Base(){
        cout << "进行Base的析构" << endl;
    }
};
class Derived :public Base{
private:
    int j;
public:
    Derived(){

    }
    Derived(int i, int j) :Base(i), j(j){

    }
    friend ostream& operator<<(ostream& os, Derived& derived){
        //derived.show();
        os << derived.j;
        return os;
    }
    virtual void show(){
        Base::show();
        cout << j << endl;
    }
    ~Derived(){
        cout << "进行Derived的析构" << endl;
    }
};

void print(ostream& os, Base baseArr[], int n){
    for (int i = 0; i < n; i++){
        cout << baseArr[i] << endl;
    }
}
int main(){
    Base *base = new Derived[5]{Derived(1, 10), Derived(2, 20), Derived(3, 30), Derived(4, 40), Derived(5, 50)};
    print(cout, base, 5);
    delete[] base;
    return 0;
};

运行结果：

观察结果，我们可以发现和预期的结果一样，异常输出哈哈哈，因为数组期许的地址和实际得到的地址并不一致，所以程序就会输出错误结果，所以在C++中我们需要避免对数组使用多态，容易出现难以觉察的bug，祝各位好运啦！！！