用泛型和lambdas重载方法时方法调用不明确

Question

  public <T> void test(T t) { }

  public <T> void test(Supplier<T> t) { }

  public void test() {
    test("test");
    test(() -> "test");
  }

  public <T> void test(Class<T> c, T t) { }

  public <T> void test(Class<T> c, Supplier<T> t) { }

  public void test() {
    test(String.class, "test");
    test(String.class, () -> "test"); // this line does not compile
  }

这怎么可能呢？为什么添加另一个参数会导致方法解析不明确？为什么在第一个例子中它可以区分供应商和对象，而在第二个例子中却不能？

编辑：这使用的是1.8.0_121。这是完整的错误消息：

error: reference to test is ambiguous
    test(String.class, () -> "test");
    ^
  both method <T#1>test(Class<T#1>,T#1) in TestFoo and method <T#2>test(Class<T#2>,Supplier<T#2>) in TestFoo match
  where T#1,T#2 are type-variables:
    T#1 extends Object declared in method <T#1>test(Class<T#1>,T#1)
    T#2 extends Object declared in method <T#2>test(Class<T#2>,Supplier<T#2>)
/workspace/com/test/TestFoo.java:14: error: incompatible types: cannot infer type-variable(s) T
    test(String.class, () -> "test");
        ^
    (argument mismatch; String is not a functional interface)
  where T is a type-variable:
    T extends Object declared in method <T>test(Class<T>,T)

Answer 1

如果我对JLS for Java SE 8第15章和第18章的理解是正确的，那么您的问题的关键在于以下15.12.2段的引文：

某些包含隐式类型的lambda表达式(§15.27.1)或不精确方法引用(§15.13.1)的参数表达式被适用性测试忽略，因为在选择目标类型之前无法确定它们的含义。

当Java编译器遇到诸如test(()->“test”）之类的方法调用表达式时，它必须搜索可访问（可见）和可应用（即具有匹配签名）的方法，该方法调用可以被调度到这些方法。在第一个示例中， void test(T) 和 void test(supplier ) 都是可访问和适用的w.r.T。test(()->“test”）方法调用。在这种情况下，当有多个匹配方法时，编译器会尝试确定最具体的一个。现在，虽然对泛型方法的确定（如JLS 15.12.2.5和JLS 18.5.4所述）相当复杂，但我们可以使用15.12.2.5开篇的直觉：

null

null

若k≠n，则该方法不适用，无需进行推理。

否则，对于所有i(1≤i≤k)，其中e_i与适用性有关，C包括 。

和JLS 15.12.2.2:

null