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

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

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