Java 8：对 [方法] 的引用不明确 [重复]

Question

有谁知道为什么下面的代码在 Java 7 及更低版本中可以正常编译，但在 Java 8 中编译失败。

public static void main(String[] args) throws Exception {
    put(get("hello"));
}

public static <R> R get(String d) {
    return (R)d;
}

public static void put(Object o) {
    System.err.println("Object " + o);
}

public static void put(CharSequence c) {
    System.err.println("CharSequence " + c);
}

public static void put(char[] c) {
    System.err.println("char[] " + c);
}

get 方法有一个通用的返回类型。在 JDK 7 及以下版本中，它编译得很好，并且选择了带有 Object 参数的 put 方法。在 JDK 8 中无法编译，说明 put 方法不明确。

显然 JDK 8 正在跳过 Object-parameter 方法并找到最后两个子 Object-parameter 方法并抱怨它们（即，如果您添加另一个具有其他参数类型的 put 方法，编译器将切换并抱怨新的最后两种方法）

这似乎是一个错误。

Answer 1

您的问题是 Generalized Target-type Inference（Java 8 中的一项改进）的副作用。

什么是目标类型推断

让我们以您的示例方法为例，

public static <R> R get(String d) {
    return (R)d;
}

现在，在上述方法中，泛型参数R 无法被编译器解析，因为R 没有参数。

因此，他们引入了一个名为Target-type Inference 的概念，它允许根据赋值参数推断参数。

所以，如果你这样做，

 String str = get("something"); // R is inferred as String here
 Number num = get("something"); // R is inferred as Number here

这在 Java 7 中运行良好。但以下 不，

put(get("something");
static void Put(String str) {} //put method

因为类型推断仅适用于直接赋值。

如果没有直接赋值，则泛型类型被推断为Object。

因此，当您使用 Java 7 编译代码时，您的 put(Object) 方法被调用而没有任何问题。

他们在 Java 8 中做了什么

他们改进了类型推断以从方法调用和链式方法调用

推断类型

有关他们的更多详细信息here 和 here

所以现在，你可以直接调用put(get("something"))，泛型类型将根据put()方法的参数推断。

但如您所知，put(Charsequence) 和 put(char[]) 方法与参数匹配。所以有歧义。

修复？

直接告诉编译器你想要什么，

put(TestClass.<CharSequence>get("hello")); // This will call the put(CharSequence) method.

Answer 2

看起来这是一个已知的不兼容问题。

参见this article. 的“区域：工具/javac”部分 还有this bug。

概要

以下在 JDK 7 中编译并带有警告的代码将无法在 JDK 8 中编译：

import java.util.List;
 
class SampleClass {
 
    static class Baz<T> {
        public static List<Baz<Object>> sampleMethod(Baz<Object> param) {
            return null;
        }
    }
 
    private static void bar(Baz arg) {
        Baz element = Baz.sampleMethod(arg).get(0);
    }
} 

在 JDK 8 中编译此代码会产生以下错误：

SampleClass.java:12: error:incompatible types: Object cannot be converted to Baz
    Baz element = Baz.sampleMethod(arg).get(0);
                                          
Note: SampleClass.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
1 error 

在这个例子中，一个原始类型被传递给 通过子类型适用的 sampleMethod(Baz

未经检查的 转换对于该方法适用是必要的，因此它的返回 类型被擦除（参见 JLS，Java SE 7 版，第 15.12.2.6 节）。在 这种情况下 sampleMethod(Baz