特定のインターフェイスでlambdaを制限する

Question

私はちょうど1つの抽象メソッドを持つ2つのインターフェイスを持っていると仮定します。これらのインタフェースを持って、私はそれでラムダを宣言することができます。

interface A { 
    int c(); 
} 

interface B { 
    int c(); 
} 

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

短い質問：いくつかのトリックがあるかラムダのためのインタフェースAを使用して制限し、そうしようとする試みでビルドを失敗するハックを？汚いかどうかのヒントは歓迎です（「ダーティ」とは、編集/バイトコードレベルのハックを意味します。ソースや、好ましくは公開契約に影響を与えません）。

ロングストーリー：一部のインターフェースの実装者のために、契約の一部として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」コールは、ように見えましたコールサイトでは（ノンラムダ可能なアノテーション自体を何とかマークするのではなく、あなたができるとは思っていません）、最初に許可されていないインターフェイスのセットをコンパイルしてから、invokedynamic 'そのセットに対するdesc。