关于C++中虚函数实现原理的思考

网上对于C++实现原理大都讲到虚方法表这一层就结束了,感觉不是很痛快。下面讨论两个问题。

  1. 虚方法的实现(多态)为什么非得运行时确定,或者说确定的到底是什么?
    一个虚方法对应的实现方法可能有多个,他们的地址都不一样,如果不在运行时确定,而是在编译时确定,那么地址一定是写死的只有一个,那肯定是有问题的。到底确定的是什么呢?想想函数调用的过程,栈上分配参数,保存返回地址,保存pc,设置pc,切换esp,ebp。是设置pc这一步非得运行时确定,即确定得时函数地址。
    2. 虚方法的原理落实到二进制文件到底是怎么实现的?
    按照我的想法,call 指令有对应的cpu指令,原来是直接call [编译时确定的地址],对于虚方法应该是加了一段代码,先通过对象地址查找函数地址,然后再call [找到的函数地址]

猜你喜欢

转载自blog.csdn.net/qq_41634872/article/details/110450540