语言:Java
编译器版本:1.6
在下面的代码中,我尝试执行以下操作:
- 创建一个
List<String>
- 添加
String
- 分配
List<String>
到原始List
- 创建一个
List<Integer>
- 分配原始
List
至List<Integer>
- 添加
Integer
- 使用
get()
检索值@ 索引 1 和 2 并打印它们。
所有语句都在编译(带有警告)并且运行良好。
但是如果我尝试遍历 List<Integer>
使用 for
循环,我得到一个 ClassCastException
.我只是想知道为什么它允许我使用 list.get()
方法但不允许我对其进行迭代?
输出: (如果我使用未注释的 for 循环运行)abcd 200
Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
at genericsamples.CheckRawTypeAdd.main(CheckRawTypeAdd.java:26)
这是我的代码
import java.util.*;
import java.io.*;
class CheckRawTypeAdd
{
public static void main(String[] sr)
{
List<String> list_str = new ArrayList<String>();
list_str.add("abcd");
List<Integer> list_int = new ArrayList<Integer>();
List list_raw;
list_raw=list_str;
list_int=list_raw;
list_int.add(200);
Object o1 = list_int.get(0);
Object o2 = list_int.get(1);
System.out.println(o1);
System.out.println(o2);
//for(Object o : list_int)
//{
// System.out.println("o value is"+o);
//}
}
}
最佳答案
我认为这是 javac
中的编译器错误。正在插入经过检查的类型转换。我们可以使用 javap -c CheckRawTypeAdd
反汇编该类(转换为 101;请注意,我在编译前删除了一些不需要的代码行,因此代码点会有所不同):
77: invokeinterface #10, 1 // InterfaceMethod java/util/List.iterator:()Ljava/util/Iterator;
82: astore 6
84: aload 6
86: invokeinterface #11, 1 // InterfaceMethod java/util/Iterator.hasNext:()Z
91: ifeq 109
94: aload 6
96: invokeinterface #12, 1 // InterfaceMethod java/util/Iterator.next:()Ljava/lang/Object;
101: checkcast #13 // class java/lang/Integer
然而,Java Language Spec (14.14.2)表示此转换应为 Object
,而不是 Integer
。它首先通过语法定义术语:
EnhancedForStatement:
for ( FormalParameter : Expression ) Statement
FormalParameter:
VariableModifiersopt Type VariableDeclaratorId
VariableDeclaratorId:
Identifier
VariableDeclaratorId []
所以在我们的例子中,Type
是 Object
。然后它继续说这被翻译成什么:
for (I #i = Expression.iterator(); #i.hasNext(); ) {
VariableModifiersopt TargetType Identifier =
(TargetType) #i.next();
Statement
}
所以这里相关的是 TargetType
的分辨率。这也是在JLS中定义的:
If Type (in the FormalParameter production) is a reference type, then TargetType is Type
因为 Object
肯定是引用类型,所以 TargetType
是 Object
因此检查的转换应该是 Object
,而不是 Integer
。
此线程中的其他人进一步证明这是一个错误,指出如果使用 ecj
(Eclipse 的编译器)则不会发生此问题。但是,我知道这对于 Oracle 编译器团队来说是一个低优先级的错误,因为您必须滥用泛型来执行它。人们几乎会说这是一项功能,而不是错误。
跟进
为了最终确认这是一个错误,这里是针对这个确切问题的现有错误报告:
另外,我应该注意两件事。 首先,我上面给出的 JLS 引用在最新的 JLS 中,并且该部分实际上已针对 Java 7 进行了更改(以响应此错误!)
下面是增强的 for 语句应该翻译成 for Java 6 and earlier 的内容:
for (I #i = Expression.iterator(); #i.hasNext(); ) {
VariableModifiersopt Type Identifier = #i.next();
Statement
}
如您所见,这里没有指定 checked cast。所以 javac
中的错误不是它在进行错误的 转换,而是它在进行任何转换。
其次,在 Java 7 中,javac
根据 JLS SE 7 规范(我在上面引用的)正确编译代码。因此,以下代码有效:
List<String> list_str = new ArrayList<String>();
((List) list_str).add(new StringBuilder(" stringbuilder"));
for (CharSequence o : list_str) {
System.out.println("o value is" + o);
}
正确转换为CharSequence
,而不是String
。我最初使用 JDK 6 进行编译,而不是 JDK 7。
关于java - 迭代参数化列表(原始列表类型分配后),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12340168/