在 Java 7 中编译的代码在 Java 8 中无法编译。请提供解释

Question

为什么以下代码在 Java 8 中无法编译。 我知道类型推断是这里的罪魁祸首，但我想解释一下。

public class TypeInferenceProblem {

    class ATest<E extends B>
    {

        private E find(C<? extends E> CObj)
        {
            return null;
        }

        public void findCs(List<? extends C<? extends E>> cList)
        {

            find(new C());// This compiles fine
            for (C cObj : cList)
                {
                    E cachedEntity = find(cObj); // This cause error in java 8 but works fine in java 7
                }
        }
    }

     class B{
     }

     class C <T> {
     }
}

Answer 1

只是为了明确引用 Holger 的正确 cmets：

在 JLS 8 中，这是在 §18.5.2 中确定的，其中包含这句话（在第 6 个主要项目符号内）：

如果在第 18.5.1 节中的约束集缩减期间该方法需要未经检查的转换，则通过将 θ' 应用于 m 的类型的参数类型来获得 m 的调用类型的参数类型，并且m的调用类型的返回类型和抛出类型由返回类型的擦除和m的类型的抛出类型给出。

我突出显示了相关部分。

类似的句子已经出现在 JLS 7 §15.12.2.6:

否则，如果要使该方法适用，则必须进行未经检查的转换，则结果类型是该方法声明的返回类型的擦除（第 4.6 节）。

这两个版本都相当于定义使用原始类型参数（需要未经检查的转换）调用find(..) 具有通过将声明的返回类型E 擦除为B 获得的返回类型。

如果 Java 7 的编译器没有报告这个错误，那么这是一个错误。