java - 迭代参数化列表(原始列表类型分配后)

Question

语言:Java
编译器版本:1.6

在下面的代码中，我尝试执行以下操作:

1. 创建一个 List<String>
2. 添加 String
3. 分配List<String>到原始List
4. 创建一个 List<Integer>
5. 分配原始List至 List<Integer>
6. 添加 Integer
7. 使用 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);
        //}
    }
}

Answer 1

我认为这是 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 编译器团队来说是一个低优先级的错误，因为您必须滥用泛型来执行它。人们几乎会说这是一项功能，而不是错误。

跟进

为了最终确认这是一个错误，这里是针对这个确切问题的现有错误报告:

• Bug ID: 6500701 - Enhanced for loop with generics generates faulty bytecode

另外，我应该注意两件事。 首先，我上面给出的 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。