理解函数的解析过程对于理解c++的继承至关重要,假设我们调用p->mem(),则依次执行以下四个步骤:
1.首先确定p的静态类型。因为我们调用的是一个成员,所以该类型必然是类类型。
2.在p的静态类型对应的类中查找mem。如果找不到,则依次在直接基类中不断查找直至到达继承链的顶端。如果找遍了该类及其基类仍然找不到,则编译器将报错。
3.一旦找到了mem,就进行常规的类型检查已确认对于当前找到的mem,本次调用是否合法。
4.假设调用合法,则编译器将根据调用的是否是虚函数而产生不同的代码:
4.1.如果mem是虚函数且我们是通过引用或指针进行的调用,则编译器产生的代码将在运行时确定到底运行该虚函数的哪个版本,依据是对象的动态类型;
4.2.反之,如果mem不是虚函数或者我们是通过对象(非引用或非指针)进行的调用,则编译器将产生一个常规函数调用。
原文地址:http://blog.csdn.net/u012361418/article/details/45845567