首先,先复习一下,什么是多态,在面向对象语言中,接口的多种不同的实现方式即为多态。引用Charlie Calverts对多态的描述——多态性是允许你将父对象设置成为和一个或更多的他的子对象相等的技术,赋值之后,父对象就可以根据当前赋值给它的子对象的特性以不同的方式运作,简单的说,就是一句话:允许将子类类型的指针赋值给父类类型的指针。多态性在Object Pascal和C++中都是通过虚函数(Virtual Function) 实现的。
然而当我们在定义一个对象数组如array[i]的时候,这里的array[i]只是一个指针算法的缩写:它所代表的是*(array)。编译器将会怎样给这个数组分配内存空间呢,没错就是i * sizeof(数组单个元素)。派生类的长度一般比基类要长,看到这懂程序的你应该知道为什么不要对数组使用多态了吧?
PS:以下内容选看,已经的懂得可看可不看,仍然不懂的请继续往下看,多开拓衍生
假设你有一个类 BST(比如是搜索树对象)和继承自 BST 类的派生类 BalancedBST:
class BST { ... };
class BalancedBST: public BST { ... };
在一个真实的程序里,这样的类应该是模板类,但是在这个例子里并不重要,加上模板只会使得代码更难阅读。为了便于讨论, 我们假设BST 和 BalancedBST 只包含 int 类型数据。有这样一个函数,它能打印出 BST 类数组中每一个 BST 对象的内容:
void printBSTArray(ostream& s,
const BST array[],
int numElements)
{
for (int i = 0; i < numElements; ) {
s << array[i]; //假设 BST 类
} //重载了操作符<<
}
当你传递给该函数一个含有 BST 对象的数组变量时,它能够正常运行:
BST BSTArray[10];
...
printBSTArray(cout, BSTArray, 10); // 运行正常
然而,请考虑一下,当你把含有 BalancedBST 对象的数组变量传递给 printBSTArray函数时,会产生什么样的后果:
BalancedBST bBSTArray[10];
...
printBSTArray(cout, bBSTArray, 10); // 还会运行正常么?
你的编译器将会毫无警告地编译这个函数,但是再看一下这个函数的循环代码:
for (int i = 0; i < numElements; ) {
s << array[i];
}
void printBSTArray(ostream& s,
const BST array[],
int numElements)
{
for (int i = 0; i < numElements; ) {
s << array[i]; //假设 BST 类
} //重载了操作符<<
}
当你传递给该函数一个含有 BST 对象的数组变量时,它能够正常运行:
BST BSTArray[10];
...
printBSTArray(cout, BSTArray, 10); // 运行正常
然而,请考虑一下,当你把含有 BalancedBST 对象的数组变量传递给 printBSTArray函数时,会产生什么样的后果:
BalancedBST bBSTArray[10];
...
printBSTArray(cout, bBSTArray, 10); // 还会运行正常么?
你的编译器将会毫无警告地编译这个函数,但是再看一下这个函数的循环代码:
for (int i = 0; i < numElements; ) {
s << array[i];
}
BalancedBST bBSTArray[10];
...
printBSTArray(cout, bBSTArray, 10); // 还会运行正常么?
你的编译器将会毫无警告地编译这个函数,但是再看一下这个函数的循环代码:
for (int i = 0; i < numElements; ) {
s << array[i];
}
如果你把一个含有 BalancedBST 对象的数组变量传递给 printBSTArray 函数,你的编译器就会犯错误。
在这种情况下,编译器原先已经假设数组中元素与 BST 对象的大小一致,但是现在数组中每一个对象大小却与 BalancedBST 一致。很需要理解的一点是派生类的长度通常都比基类要长。
ps:有关用到的例子来自网络