Java从业者强答一波
个人觉得Java中类的方法可以分为两种,一是可以在能够在编译期确定引用的,一是在运行时确定具体引用的。
很容易看出这就是OOP特性的多态,暂且将继承也划归多态,事实上,面向对象的特性就是接口的归一化和逻辑的抽象化,划归多态也无不可。
因为HotSpot,我只了解过Hotspot,的实现是cpp,Java上溯造型的能力很自然的就继承了c++,当然也不是全面继承,不然不要klass/oops了,直接把Java对象翻译成C++对象算了。
现在,对于有可能多态的方法,我们就让他走C++的virtual函数,也就是调用前先查查vtbl或itbl,这样我们想要的接口和继承就都有了,这就是Java实现接口和继承的原理,这类方法就要走invokevirtual或invokeinterface字节码。
另一类呢,编译期直接确定的自然没必要走vtable分发消耗性能,但这有分两种,一种是题主所要问的构造函数,另一种就是静态方法,区别在于方法执行时所传入的隐式参数是对象引用还是类引用。
invokespecial字节码会找到私有方法、构造器、父类构造器和父类私有函数的引用,解析引用,隐式传入当前实例引用,执行,当然解析也会报异常的,具体信息看虚拟机规范,我记不清楚了,这些还是自己翻翻规范比较好。invokestatic也会解析引用,不是static则报异常。
所以很多是字节码级别的区别,这些都在规范中说到,这是方法执行这块。
然后就是构造函数,当我们填充好对象内存后,做完零值初始化,new指令也就完成了,后面紧接着一个invokespecial,他会去找我们的init方法,也就是构造函数,也是解析,执行的一套操作。
这大概就是这几类方法执行上的不同了,时间太长,后来也没翻过规范了,有错误请轻喷