특정 인터페이스에서 람다 제한

Question

정확히 하나의 추상 메소드가있는 몇 개의 인터페이스가 있다고 가정합니다. 약간의 트릭이 나 람다에 대한 인터페이스 A를 사용하여 제한하고 그렇게 할 시도에서 빌드를 실패 해킹 :

interface A { 
    int c(); 
} 

interface B { 
    int c(); 
} 

public class Main { 
    public static void main(String... args) { 
     A a =() -> 42; 
     B b =() -> 42; 
    } 
} 

짧은 질문 : 이러한 인터페이스를 갖는, 나는 그것으로 람다를 선언 할 수 있습니까? 더러운 것이 든 더러운 것이 든 환영합니다 ('더티'는 편집/바이트 코드 수준의 해킹을 의미합니다. 소스 코드와 바람직하게는 공개 계약에 영향을주지 않습니다).

긴 이야기 : 일부 인터페이스 구현 자의 경우 계약의 일부로 equals/hashCode을 정의하는 것이 좋습니다. 또한 빌드시에 자동으로 equals/hashCode을 생성합니다.

이 문맥에서 람다는 말썽 꾸러기입니다. 인터페이스 A의 일반 및 익명 구현자를 위해 .class 파일을 찾고 빌드시 바이트 코드를 계측 할 수 있습니다. 람다에게는 런타임에 생성 된 VM 익명 클래스가 있습니다. 그러한 클래스에 영향을 미치는 것은 빌드시에는 불가능한 것처럼 보이기 때문에 적어도 특정 인터페이스 집합에 대해서는 그러한 경우를 금지해야합니다.

Answer 1

이 내 솔루션에서 봐 주시기 바랍니다 :

package com.example.demo; 

public class LambdaDemo { 

    public static void main(String[] args) { 
     //doesn't compile 
     //LambdaRestrictedInterface x =() -> {}; 
     LambdaRestrictedInterface y = new Test(); 
     y.print(); 
    } 

    private static class Test implements LambdaRestrictedInterface { 
     @Override 
     public void print() { 
      System.out.println("print"); 
     } 
    } 

    public interface MyInterface { 
     void print(); 
    } 

    public interface LambdaRestrictedInterface extends MyInterface { 
     @Override 
     default void print() { 
      //hack prevents lambda instantiating 
     } 
    } 
} 

https://dumpz.org/2708733/

아이디어는 기본 IMPL 발신자로부터

편집과 부모 인터페이스를 무시하는 것입니다 몇 가지 고려 후를, 나는 이 정답을 받아들이기로 결정했기 때문에 (정식으로는 내 요구 사항에 가장 적합하고 구현하기에는 약간의 비용이 듭니다) 공식적인 추가 사항이 있습니다. 실제로, 최소 계기는 인터페이스가 람다 형식으로 사용되는 것을 막기에 충분하므로 기본 구현을 추상 메소드에 추가하는 것입니다.

Answer 2

조금 놀아 보니 invokedynamic 호출의 desc 필드에 구현중인 인터페이스가 들어있는 것처럼 보입니다. 당신이 빌드 타임 해킹을 할 수 있다면 그래서

mv.visitInvokeDynamicInsn("run", "()Ljava/lang/Runnable;", new Handle...

: 예를 들어, 때 나는 Runnable를 간단한 () -> {}을 만든 다음 ASM's Bytecode Outline 플러그인을 통해 통과은 "ASM-는 ified"호출처럼 보였다 호출 사이트에서 (필자가 할 수 있다고 생각하지 않는 주석이 아닌 lambda-able으로 주석을 표시하는 것과는 대조적으로) 먼저 허용되지 않는 인터페이스 세트를 컴파일 한 다음 invokedynamic ' 그 세트에 대한 desc.