Java中任何对象的编译时类型与运行时类型之间有什么区别?
Java中任何对象的编译时间和运行时类型之间有什么区别?我正在阅读《有效的Java》一书,Joshua
Bloch在Item 26中多次提到了数组实例的编译时类型和运行时类型,主要是为了说明抑制强制转换警告有时是安全的。
// Appropriate suppression of unchecked warningpublic 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
vs与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