C++ Prime 里有原话(中文):这种“用基类的指针或引用操纵多个类型”的能力被称为多态(polymorphism)。
例如有基类Camera
, 他的子类有各种不一样的 camera,可以是佳能的,可以是尼康的...
现在已知函数:
void lookat(const Camera *pcamera);
在实现lookat()
时,只要对基类Camera
的接口进行编程,而与 指针 pcamera
指向的具体是哪一个类无关(Camera
有很多子类)。
每个单独的lookat()
调用都会被传入一个Camera子类对象地址。编译器会自动地把他们转换成适当的基类指针。在运行时需要解析出被调用的函数,这个解析过程被称为动态绑定(dynamic binding)。在默认情况下,函数在编译时时静态解析的。在C++中,通过一种被称为虚拟函数(virtual function)的机制来支持动态绑定。通过继承和动态绑定,子类型多态性为面向对象的程序设计提供了基础。
这样的好处是,这个函数的实现和子类无关,不管增加或者减少子类,它都在那里,在一开始写类和函数的时候,不用考虑将来需要维护的新类型。当然也有人可能说每次增加子类都要向这个方法兼容。这个问题在于,你不用就不用,用才要去匹配它的标准,当然有时候往回查找确实是比较烦,但是这中标准保证了不容易乱套,同一种方法,这也写一点那也写一点,多了更乱。