在继承情况下,派生类的作用域嵌套在基类作用域中。
对象、引用或指针的静态类型决定了对象能够完成的行为。甚至当静态类型和动态类型可能不同的时候,静态类型仍然决定着可以使用什么成员。例如,使用基类类型的引用或指针去引用派生类对象时,只能使用基类成员。
如果派生类成员与基类成员同名,则由作用域规则,派生类成员将屏蔽基类成员。这时,可以使用作用域操作符访问被屏蔽成员。特别是,即使派生类与基类中同名的成员函数的函数原型不同,基类成员也会被屏蔽。因为编译器一旦在派生类中找到了名字,就不会在外层作用域(基类)中继续查找了。
因此,一旦派生类中重定义了基类中的重载成员,则通过派生类只能访问派生类中重定义的那些成员。如果派生类想通过自身类型使用所有的重载版本,则派生类必须要么重定义所有重载版本,要么一个也不重定义。但有时确实需要仅仅重定义某些版本,并且想要在派生类也能使用其它版本,而全部重定义显然太繁琐,这时可以通过使用using声明:using BaseName::funcName; 从而把该函数的所有重载版本加到派生类的作用域中。
理解C++中继承层次的关键在于理解如何确定函数调用。确定函数调用遵循如下四个步骤:
1)首先确定进行函数调用的对象、引用或指针的静态类型。
2)在该
静态类型的类中查找函数,如果找不到,就在直接基类中查找(外层作用域),如此顺着类的继承链往上找,直到找到该函数或者查找完最外层的作用域。如果不能找到该名字,则调用是错误的。注意:不会在派生类中查找。
3)一旦找到了该名字,就进行常规类型检查,查看该函数调用是否合法。
4)假定函数调用合法,编译器就生成代码。
如果函数是虚函数且通过引用或指针调用,则编译器生成代码以确定根据对象的动态类型运行哪个函数版本;否则,编译器生成代码直接调用函数。
因而,不管一般函数还是虚函数,其前三步是一样的,只是在第四步有区别:“
如果函数是虚函数且通过引用或指针调用”,则动态调用,否则静态调用。