为什么静态绑定方法不涉及类的CIR（类实例记录），而动态绑定方法是什么？

Question

我在Sebesta中读到静态绑定方法不需要存储在CIR中，但我无法弄清楚原因。如果它没有存储在CIR中，编译器如何知道引用哪个静态绑定方法以及它存储在哪里？

Answer 1

无法覆盖静态方法。所以在编译时编译器已经知道要调用哪个代码。而不必遵从运行时解决方案。