为什么要设计虚函数这个概念,以及为什么那样实现?
因为方法不是函数指针所以不是成员变量 所以编译器不能根据成员变量地址偏移找到调用方法的地址,所以只能通过对象的类型去.test段查找方法的地址,这就造成只要类型确定下来就只能对应唯一的方法地址,于是就算父类类型的指针指向子类对象,也只能查到父类方法的地址。
为了计算出子类方法的地址,只能仿照函数指针那样根据偏移计算:首先引入一个隐含成员变量指向一个函数指针列表,在虚函数声明前加一个标记并把它放进这个列表,方法调用时如发现所调用方法的声明带有这个标记就通过对象中隐含成员变量地址偏移找到方法地址,因此就跟类型无关了而只跟对象首地址相关于是就能找到子类的方法了。
由于C语言的结构体中的函数指针也是成员变量因此天生相当于虚函数。
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
暂无简介
文章 0 评论 0
接受
发布评论
评论(1)
因为方法不是函数指针所以不是成员变量 所以编译器不能根据成员变量地址偏移找到调用方法的地址,所以只能通过对象的类型去.test段查找方法的地址,这就造成只要类型确定下来就只能对应唯一的方法地址,于是就算父类类型的指针指向子类对象,也只能查到父类方法的地址。
为了计算出子类方法的地址,只能仿照函数指针那样根据偏移计算:首先引入一个隐含成员变量指向一个函数指针列表,在虚函数声明前加一个标记并把它放进这个列表,方法调用时如发现所调用方法的声明带有这个标记就通过对象中隐含成员变量地址偏移找到方法地址,因此就跟类型无关了而只跟对象首地址相关于是就能找到子类的方法了。
由于C语言的结构体中的函数指针也是成员变量因此天生相当于虚函数。