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

Question

Java中任何对象的编译时间和运行时类型之间有什么区别？我正在阅读《有效的Java》一书，Joshua
Bloch在Item 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将始终具有type String[]，但是编译器无法解决该问题。因此，在将其分配给时，需要显式的强制类型转换y。