静态联编与动态联编

将源代码中的函数调用解释为执行特定的函数代码块被称为函数名联编（binding）。
静态联编（static binding）：在编译过程中进行联编。
动态联编（dynamic binding）：使用虚函数，编译器在运行时选择正确的虚方法的代码。

一、指针和引用类型的兼容性
指向基类的引用或指针可以引用派生类对象，而不必进行显示的转换。例如：
A是一个基类，B是A的派生类。
B b(23, “shakalaka” );
A *pa = &b ;
A & a = b ;

将派生类的引用或指针转换为基类的引用或指针被称为向上强制转换（upcasting），这是公有继承不需要进行显示类型转换。
相反的过程——将基类的指针或引用转换为派生类指针或引用——称为向下强指针类型转换（downcasting）。如果不使用显式的强制类想转换是不允许的。

按值传递只将派生类对象的基类部分传递给函数。但随着引用和指针发生的隐式向上转换导致函数使用虚函数调用方法（即调用派生类方法）。
隐式的向上强制转换使基类指针或引用指向派生类或基类的对象，因此需要动态联编。

二、虚成员函数和动态联编
编译器对非虚方法使用静态联编，对虚方法使用动态联编。