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

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任何类型的对象之间的区别。

回答:

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

以上是 Java中任何对象的编译时类型与运行时类型之间有什么区别? 的全部内容, 来源链接: utcz.com/qa/407761.html

回到顶部