编译时类型与运行时类型

定义

• 编译时类型：编译器会根据变量声明的类型来进行类型检查和编译时错误检测。在编译时，编译器会将变量类型确定为声明类型。
• 运行时类型：运行时类型是在程序运行时由实际引用对象决定的。在运行时，Java虚拟机会根据实际引用对象的类型来确定变量的动态行为。

作用

• 编译时类型的作用：
  1. 类型检查：编译器可以根据变量的编译时类型对代码进行类型检查，确保代码的类型安全性。编译器会检查变量是否使用了正确的方法和操作符，并在编译时发现潜在的类型错误，例如使用一个不存在的方法或操作符。
  2. 可调用方法的确定：编译时类型决定了可以直接调用的方法。编译器根据变量的编译时类型确定了可以调用的方法集合，如果调用了未定义或不可见的方法，编译时会发出错误。
  3. 编译时优化：编译器可以根据变量的编译时类型进行一些优化。例如，对于final变量，编译器可以使用常量折叠等技术来提高代码的执行效率。
• 运行时类型的作用：
  1. 决定实际调用的方法：虚拟机在运行时会根据对象的运行时类型来确定方法的调用。这种动态绑定机制允许程序在运行时根据对象的实际类型执行相应的方法，实现多态性。
  2. 动态类型转换：在运行时，可以进行基于运行时类型的动态类型转换。即通过类型检查和类型转换操作，将一个变量引用的对象转换成另一个类型的对象。
  3. 对象的识别和区分：在运行时，可以使用运行时类型来判断两个对象是否相等、属于同一类型等。通过运行时类型，可以进行对象的识别和区分。

总结

综上所述，编译时类型和运行时类型在Java中都具有重要的作用。编译时类型决定了代码的类型安全性和方法调用的确定性，而运行时类型决定了具体执行的方法和对象的动态行为。这两个类型的区分和理解对于编程和调试都非常重要。