读《More Effective C++35个改善编程与设计的有效方法》之条款3：绝对不要以多态方式处理数组

有以下程序：

<pre name="code" class="cpp">class Base{public:Base(int n = 0) : _b(n) {}int _b;};class Devide : public Base{public:Devide(int n = 0, int m = 0) : Base(n), _d(m) {}int _d;int _d1;};void print(std::ostream& s, const Base array[], int num){for (int i = 0; i < num; ++i)s << array[i]._b << std::endl;}

在主函数中这么调用：

Base b1[10];print(std::cout, b1, 10);

运行结果如下：

结果是正确的，但是如果我以如下方式运行：

Devide d[10];print(std::cout, d, 10);

会发生什么呢？

结果有些却是不对的。更确切的说，是未定义呢。

为什么呢。

因为我们都知道数组array[i]是一个指针算术表达式，它的地址是*（array+i)，array是指针，指向数组起始处，所以array+i，所指的内存，就应该是array+i*sizeof(对象)，那么这边的对象是什么呢，我们声明的是Base对象，即使我们传过来的是Devide的对象，所以，array+i的地址就是array+i*sizeof(Base)，但是其实它的大小是Devide的大小，所以很明显，除了第一个，后面的地址，都是错误的。如果我把Devide的成员函数的值赋值一下，结果就不一样了。

所以，绝对不能以多态的方式来处理数组，否则会让你“大吃一惊的”。