为什么这个与lambda有关的类型推断失败？

Question

我想了解为什么以下情况不能与“引用不明确”的情况一起使用，而应该不是。值得向javac团队报告吗？

import java.util.function.Function; 
import java.util.function.ToLongFunction; 
import org.junit.Test; 

public class LambdaTest { 

    @FunctionalInterface 
    public static interface CheckedFunction<U,R> 
    { 
     R apply(U value) throws Exception; 
    } 

    @FunctionalInterface 
    public static interface CheckedToLongFunction<T> 
    { 
     long apply(T i) throws Exception; 
    } 

    public static <T,R> Function<T,R> unchecked(CheckedFunction<T,R> func) 
    { 
     return value -> { 
      try 
      { 
       return func.apply (value); 
      } 
      catch(RuntimeException e) 
      { 
       throw e; 
      } 
      catch(Exception e) 
      { 
       throw new RuntimeException(e); 
      } 
     }; 
    } 

    public static <T> ToLongFunction<T> unchecked(CheckedToLongFunction<T> func) 
    { 
     return value -> { 
      try 
      { 
       return func.apply (value); 
      } 
      catch(RuntimeException e) 
      { 
       throw e; 
      } 
      catch(Exception e) 
      { 
       throw new RuntimeException(e); 
      } 
     }; 
    } 

     public void 
    bar(Function<Object,Object> fn) { 

      System.out.println("Function"); 
     } 

     @Test public void 
    test() { 

      bar (a -> a); //OK 
      bar (unchecked (a -> a)); //Should be OK, but receive "reference to unchecked is ambiguous" 
      bar (unchecked ((Object a) -> a)); //OK 
     } 

} 

正如你所看到的，例子很有趣，因为这两个CheckedFunction和CheckedToLongFunction采取引用类型，所以明确指定兰巴的输入类型似乎添加没什么用处。但是，它可以让代码编译。

应该调用unckeched(CheckedFunction)而没有歧义，因为unchecked(CheckedToLongFunction)会生成返回原语的lambda，而bar需要Object。

我特别寻找JLS的解决方案。如果JLS没有指定这个，我可以尝试将它作为javac错误提交。

Answer 1

函数声明unchecked(CheckedToLongFunction<T> func)意在返回ToLongFunction，ToLongFunction返回long。在你的论点中，你声称这个函数应该被忽略，因为它返回一个原语（也许抛出了一个运行时异常）。

虽然引入了自动拳击，但从ToLongFunction的原始结果可以装箱到Long，使其成为一个对象。

因此，因为它已经是相同的情况下，ToLongFunction可以返回两者Long和long

因此歧义函数。

参见JLS 15.12.2

1 - 第一阶段（§15.12.2.2）执行重载而不允许拳击或取消装箱转换，或使用可变元数的方法调用的。如果在此阶段没有找到适用的方法，则处理继续到第二阶段。

然后

2-第二阶段（§15.12.2.3）执行重载解析，同时允许装箱和拆箱，但仍排除使用可变元数的方法调用的。如果在此阶段没有找到适用的方法，则处理继续到第三阶段。

Answer 2

你有两种方法

public static <T,R> Function<T,R> unchecked(CheckedFunction<T,R> func) 
public static <T> ToLongFunction<T> unchecked(CheckedToLongFunction<T> func) 

每个人都有一个功能接口类型的参数。

@FunctionalInterface 
public static interface CheckedFunction<U, R> { 
    R apply(U value) throws Exception; 
} 

@FunctionalInterface 
public static interface CheckedToLongFunction<T> { 
    long apply(T i) throws Exception; 
} 

的implicitly typed lambda expressiona -> a可以给予适当的上下文中应用其中的任一的。但是，在执行重载解析时，该上下文似乎没有被检查。

因此，尽管a -> a在

bar(unchecked(a -> a)); // Should be OK, but receive 

不能转换到一CheckedToLongFunction实例（由于Long类型参数不能从该调用上下文中推断），拉姆达仍然适用于功能型。

编译器根本无法确定它是否应将a -> a转换为CheckedToLongFunction或CheckedFunction。由于两者都适用，调用是不明确的。调用上下文（和返回类型）不会被检查以解决歧义。

在这种情况下，然而，

bar(unchecked((Object a) -> a)); // OK 

我们有一个显式类型 lambda表达式。拉姆达体解析为类型为Object的返回值，这不符合CheckedToLongFunction#apply(..)方法的要求，即。 Object类型的表达式不能隐式转换为long类型的表达式。

因此，由于还有一个其他适用的方法，选择一个。