由上面的函数表可见,当发生覆盖时,子类的函数名会把基类的同名函数覆盖(这也就是为什么叫覆盖的原因吧)。这样我们可以利用一个指向子类的基类指针实现多态。但重点只有一
个,就是函数表里到底指向谁(不管这个指针经过转换后是什么类型的).故输出分别为父类、子类。这是一个运行时多态。
3.隐藏测试
int SParent::add(int a,int b)与double SParent::add( double a,double b )都被子类SChild中的float SChild::add( float a,float b )覆盖,是因为他们同名,而且在不同的作用域中(基类、子类作用域是不同的)。child.add( (int)3,(int)5 );这行代码中,编译器在子类中查找add函数,只找到了一个(基类的add(int a,int b)会被编译根据隐藏规则略过),再根据隐式类型转换发现该函数适用。如果无法隐式转换,则编译不过。隐藏的原因:防止隐式类型转换造成错误。比如int也是可以转换成char的,假如基类有一函数add(char a,char b),子类也有一函数add(double a,double b)。程序员想着在子类隐式把int转换为double,但编译器可能调的是基类的。这也防止了一些库或封装好的基类对程序员造成困扰。
像上面的代码,如果你确实需要基类的函数,可以用using SParent:add。则把基类的add函数域扩大到了子类,构成重载。
4.函数表测试
上面我们说到函数表,这个是在编译时定好的,程序运行时加载到内存中。这意味着我们可以直接通过地址去调用函数。所以((SChild *)NULL)->add( 4,6 );这种代码也是能运行通过的。网上还有人通过计算直接取到了函数表的地址直接调用了。但这种代码不安全不规范不说,还有个更大的问题。当成员函数里需要调用成员变量时,通过这种假的对象指针肯定找不到成员变量表,直接访问了非法内存。
5.函数地址测试
有了隐藏、覆盖,哪么我们要怎么调用被隐藏、覆盖的函数呢。下面有两种方法:
((SParent)child).add( (int)4,(int)8 );
child.SParent::add( 3,5 );
第一种是比较低效的方法。事实上它是通过拷贝构造函数生成一个临时的基类变量去调用基类的add函数。
第二种通过::指定域去访问。这种方法是编译器根据域直接找到了基类的函数地址,跟函数表没有多大关系。