Java中任何对象的编译时类型与运行时类型有什么区别？

Question

Java中任何对象的编译时间和运行时类型有什么区别？我正在阅读有效Java书籍,Joshua Bloch多次提及项目26中编译时间类型和数组实例的运行时类型,主要是为了描述抑制强制转换警告有时是安全的.

// Appropriate suppression of unchecked warning
public E pop() {
 if (size == 0)
   throw new EmptyStackException();
   // push requires elements to be of type E, so cast is correct
   @SuppressWarnings("unchecked") E result = (E) elements[--size];
   elements[size] = null; // Eliminate obsolete reference
   return result;
}

在这里,作者正在讨论这些不同类型types的数组上下文.但通过这个问题,我想了解compile time typesvs run time types对于任何类型的对象的区别.

Answer 1

Java是一种静态类型语言,因此编译器将尝试确定所有类型,并确保一切都是类型安全的.不幸的是,静态类型推断本质上是有限的.编译器必须保守,并且也无法查看运行时信息.因此,它将无法证明某些代码是类型安全的,即使它确实存在.

运行时类型是指运行时变量的实际类型.作为程序员,您希望比编译器更好地了解它,因此当您知道这样做是安全的时,您可以禁止警告.

例如,考虑以下代码(不会编译)

public class typetest{
    public static void main(String[] args){
        Object x = args;
        String[] y = x;

        System.out.println(y[0])
    }
}

变量x将始终具有类型String[],但编译器无法解决此问题.因此,在分配时需要显式强制转换y.