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

Question

Java 中任何对象的编译时类型和运行时类型有什么区别？我正在阅读Effective Java book 和 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 types 与 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 时需要显式转换。