(需要对应于C++的类型兼容性原则):
子类对象可以当做父类对象使用
子类对象可以直接赋值发给父类对象
子类对象可以直接初始化父类对象
父类指针可以直接指向子类对象
父类引用可以直接引用子类对象
多态:同样的调用语句具有多种不同的表现形态。
在C++ primer 里描述的是 父类指针既可以指向自己类型的对象,也可以指向其派生出的对象。则可以使用一个数组来表示多种类型的对象。
换种说法就是在不同的时候可以调用不同的类的成员函数(如果父类和派生类出现重名函数)前提是定义了虚函数,才会发生多态。
多态的实现,即将基类成员函数定义成虚函数。即在函数声明前加上 virtual,
若不加 virtual, 则调用指针类型或引用类型的成员函数。 如若加了 virtual , 则调用指针类型或引用类型所指向的类对象的成员函数。
静态联编,连接在编译阶段实现,重载函数使用静态联编。
动态联编,程序连接推迟到程序运行时进行,所有又称晚期联编(迟绑定)。 switch 语句 和 if 语句均是动态联编的例子。例如,对于虚函数,编译器不知道使用哪种类型的对象,则在运行时才会决定,则是动态联编,如果不virtual,则是静态联编。