C ++动态绑定

Question

C ++如何实现动态绑定以及静态类型？

Answer 1

当您有一个指向对象的指针时，该对象实际上可能是从该指针的类派生的类（例如，实际上指向Car对象的Vehicle *；这被称为“多态”）。 因此，有两种类型：指针的（静态）类型（在这种情况下，为车辆）和指向对象的（动态）类型（在这种情况下，为Car）。

静态类型化意味着成员函数调用的合法性要尽早检查：由编译器在编译时检查。 编译器使用指针的静态类型来确定成员函数调用是否合法。 如果指针的类型可以处理成员函数，则指向对象的对象当然也可以处理它。 例如，如果Vehicle具有某种成员功能，那么Car当然也具有该成员功能，因为Car是一种车辆。

动态绑定意味着成员函数调用中的代码地址是在最后可能的时刻确定的：基于运行时对象的动态类型。 之所以称为“动态绑定”，是因为与实际调用的代码的绑定是动态（在运行时）完成的。 动态绑定是虚拟功能的结果。