那是因为Map和List是接口,你可以有一个实现它们的类.这对于类无效,因为Java中不可能进行多重继承.
即使这样的用例使得编译器看起来相当愚蠢(因为很明显,在这种情况下,转换将永远不会成功),深入研究初始化代码是没有多大意义的,因为这需要跟踪所有可能的分配参考:
List someOtherList = getSomeOtherList();
List listObj = someOtherList != null ? someOtherList : new ArrayList();
这将使编译器能够说出此行之后listObj将是什么类型的List是不可行的.
即使使用您的简单示例,编译器也需要在listObj的初始声明和强制转换尝试之间跟踪该变量(因此它可以推断出listObj绝对是一个ArrayList).一旦在赋值和转换之间放置其他代码行,这种跟踪就变得很难以实现.
但我确实同意这样的编译器限制令人沮丧;我有时会发现以下事实无法编译:
final int i;
try {
i = Integer.parseInt("someString");
} catch (NumberFormatException e) {
i = -1;
}
…因为“变量’我可能已被分配给”,这显然是不可能的.但编译器实际上并不关心我的try块中的内容,它假定在该赋值之后某些代码行可以抛出NumberFormatException;所以我不能被宣布为最终.