每个类都有自己的作用域,当存在继承关系时,派生类的作用域嵌套在基类作用域之中,名字查找从内部作用域开始一直找到最外层作用域。
假设调用p->mem()(或者obj.mem()),则依次执行下面4个步骤:
- 首先确定p或者obj的静态类型。
- 在p或obj对应的静态类型对应的类中查找mem。如果找不到,则依次在其直接基类中不断查找直至继承链的顶层。如果找遍该类以及其基类仍找不到,则编译器报错。
- 如果找到,就进行常规类型检查,确认找到的mem是否合法。
- 如果合法,则编译器根据调用是否是虚函数产生不同的代码
–如果mem是虚函数而且我们是通过指针或引用调用的,则编译器产生的代码是在运行时确定运行虚函数的那个版本,依据是对象的动态类型。
–反之,如果mem不是虚函数或者我们不是通过指针或引用调用的,则编译器产生一个常规函数调用。
例子:
#include <iostream>
#include <string>
#include <vector>
using namespace std;
class A{
public:
virtual void funA(){
cout<<"A"<<endl;
}
};
class B {
public:
virtual void funA(int a){
cout<<"B"<<endl;
}
};
class C: public A,public B{
};
int main() {
C c;
c.funA(7);
}
- 类C公有继承A和B并继承了同名虚函数成员,当调用c.funA时,先从类C作用域查找funA,此时没有找到,再去其基类也就是A和B中的作用域查找,同时在其作用域中找到了funA,即使两个函数参数类型不同,也会产生二义性,编译器会直接报告错误。
- 如果main函数中不调用funA,则编译器不会报错。
- 如果main函数中改为:
int main(){
C c;
A *a = &c;
a->funA();
}
首先会通过a的静态类型对应的类(也就是类A)的作用域中查找funA,找到了并且检查合法,接着判断是虚函数并且是通过指针调用的,编译器会产生运行时确定调用函数的代码,根据动态类型调用,此例中C没有覆盖A的虚函数,因此调用的函数是A的虚函数。
总结:理解上面4个步骤对理解c++的继承关系至关重要。
参考:
c++ primer 第五版 P547