왜이 람다 관련 형식 유추가 실패합니까?

Question

다음과 같은 이유 때문에 "참조가 모호합니다"로 작동하지 않는 이유를 알고 싶습니다. javac 팀에보고 할 가치가 있습니까? 모두 CheckedFunction 및 CheckedToLongFunction 그렇게 명시 적으로 람 바어의 입력 형식이 유용 아무것도 추가하지 보인다 지정 참조 형식을 가지고 있기 때문에

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 
     } 

} 

당신이 볼 수 있듯이

는 예는 재미있다. 그러나 코드를 컴파일 할 수 있습니다.

unchecked(CheckedToLongFunction)은 프리미티브를 반환하는 람다를 생성하기 때문에, 을 필요로하므로 unckeched(CheckedFunction)을 모호하지 않게 호출해야합니다.

저는 특히 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 

(Long의 형식 인수가 그 호출 문맥에서 추론 할 수 없기 때문에), 람다 여전히 기능 유형에 적용되는 CheckedToLongFunction 인스턴스로 변환 할 수 없습니다 .

컴파일러는 a -> a을 CheckedToLongFunction 또는 CheckedFunction으로 변환해야하는지 여부를 결정할 수 없습니다. 두 가지 모두 적용 가능하므로 호출이 모호합니다. 호출 컨텍스트 (및 반환 유형)는 모호성을 해결하기 위해 검사되지 않습니다. 그러나이 경우

,

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

우리는 명시 적으로 람다 식을 입력합니다. 람다 본문은 Object 유형의 반환 값으로, 즉 CheckedToLongFunction#apply(..) 메서드의 요구 사항에 맞지 않습니다. 표현식 Object은 내재적으로 유형 long의 표현식으로 변환 될 수 없습니다.

그러므로 다른 적용 가능한 방법이 있으므로 그 중 하나가 선택됩니다.