做程序设计助教,刚刚有个同学来实验室找我。问了个问题,“为什么指向基类指针能指向派生类,而且能调用派生类的函数”。
我按我的理解,简单解释下
指向基类的指针,“能看见”的部分是这个基类定义的,包括函数和变量。
如果该指针指向了它的派生类,它依然“能看见”的部分还是基类定义的,包括函数和变量。 但是如果函数是虚函数,那么C++编译器会把这个调用,借用虚表的基地址,将这个调用重定向到派生类的调用中去,那么也就是说这个指针“能看见”派生类的该同名函数。
但是,一个指向派生类的指针,是不能指向基类的地址(当然可以强行指过去),因为这样,本来“能看见”的部分就未定义了,比如一个派生类的变量,在基类中没有,这个调用就要失败了。