virtual 函数会动态绑定,而virtual函数的缺省參数值是静态绑定的。
用一个base类型的指针p去指向一个derived类对象。通过p调用虚函数时,会动态绑定到实际所指对象中的函数;用一个derived类型的指针p2指向一个derived对象,由p2调用函数时,直接就是调用的derived中的函数。其參数值也是derived类中函数相应的參数值。
#includeusing namespace std;class A{public: enum Color {red,green,blue}; A() { cout<<"Construct A"< dodraw(); p2->dodraw(); return 0;}
上面的程序中。在B类中都重写了A中的两个virtual函数。从而。通过p和p2调用dodraw函数,事实上都是调用的B中dodraw。而B中的dodraw函数调用B中draw函数,从而draw的实參就是B中的缺省实參:red
#include上面的程序,B和A中dodraw函数都是来源于A中,由p和p2调用dodraw时。都是调用的A类中的 dodraw函数,dodraw再调用draw函数时。会动态绑定到实际所指的对象B中的draw函数,这在执行期确定,但draw函数的缺省实參是静态绑定的,就是A类中的blue值,这在编译器就已经确定。所以,假设又一次定义继承而来的缺省參数值,会出现一种奇怪的现象:virtual函数用的derived类中的,而參数是用的base类中的。using namespace std;class A{public: enum Color {red,green,blue}; A() { cout<<"Construct A"< dodraw(); p2->dodraw(); return 0;}