More Effective C++ （静态绑定与动态类型）

当你有一个对象的指针，而对象实际是该指针类型的派生类（例如：一个 Vehicle*指针实际指向一个Car 对象）。

由此有两种类型：指针的（静态）类型（在此是Verhicle），和指向的对象的（动态）类型（在此是Car）。

（1）静态类型

意味着成员函数调用的合法性被尽可能早地检查：编译器在编译时，编译器用指针的静态类型决定成员函数调用是否合法。

如果指针类型能够处理成员函数，那么指针所指对象当然能很好的处理它。

例如，如果 Vehicle 有某个成员函数，则由于Car是一种Vehicle，那么Car 当然也有该成员函数。

（2）动态绑定

意味着成员函数调用的代码地址在最终时刻才被决定：基于运行时的对象动态类型。