由一篇BLOG看多态

vckbase上的一位朋友这样写道:
http://blog.vckbase.com/Howto/archive/2006/08/02/21657.html

有这样几条语句:

B* bptr = new D;
bptr->Comment(99)  ;  // 原作者的话: "标准多态行为"
(*bptr).Comment(99);  // 原作者的话: "这样也是多态？从结果来看，的确是"

说说我的看法.

首先, 多态不多态, 并不是由调用形式说了算的. 使用virtual定义出来后, 自然就已经支持多态了, 而你在实际使用时, 到底能不能达到多态效果, 还要看你自己的用法.

如果不声明成指针类型的话, 那多态基本没意义. 所以, 要使用多态的前提, 一般是定义成指针. 而在具体使用时, 到底是使用 "ptr->" 还是 "(*ptr).", 二者毫无差别, 因为对于函数调用而言, 它只是把你的ptr当作了一个this指针, 即便你写成了*ptr的形式, 在函数编译时, 也仍然要取成 &(*ptr)类似的形式.

bptr->Comment(99);
(*bptr).Comment(99);

这两条语句, 由于comment是基类和派生类共有的同名虚函数, 他们在虚表中的位置始终相同, 所以, 编译器编译时, 对此函数的调用, 从虚表中取函数时,是使用的相同代码, 也就是说, 而对comment的调用, 在汇编层面, 是相同的语句段. 而不同的, 一是虚表, 二是运行时的this指针, 运行时又是通过this找到虚表的.