Argumen Java 8 lambda Void

Katakanlah saya memiliki antarmuka fungsional berikut di Java 8:

interface Action<T, U> {
   U execute(T t);
}

Dan untuk beberapa kasus saya perlu tindakan tanpa argumen atau tipe pengembalian. Jadi saya menulis sesuatu seperti ini:

Action<Void, Void> a = () -> { System.out.println("Do nothing!"); };

Namun, itu memberi saya kesalahan kompilasi, saya harus menuliskannya sebagai

Action<Void, Void> a = (Void v) -> { System.out.println("Do nothing!"); return null;};

Itu jelek. Apakah ada cara untuk menghilangkan Voidparameter type?

Sintaks yang Anda cari dimungkinkan dengan fungsi pembantu kecil yang mengubah a Runnablemenjadi Action<Void, Void>(misalnya, Anda dapat menempatkannya Action):

public static Action<Void, Void> action(Runnable runnable) {
    return (v) -> {
        runnable.run();
        return null;
    };
}

// Somewhere else in your code
 Action<Void, Void> action = action(() -> System.out.println("foo"));

Gunakan Supplierjika tidak mengambil apa-apa, tetapi mengembalikan sesuatu.

Gunakan Consumerjika dibutuhkan sesuatu, tetapi tidak menghasilkan apa-apa.

Gunakan Callablejika itu mengembalikan hasil dan mungkin melempar (paling mirip dengan Thunkistilah CS umum).

Gunakan Runnablejika tidak dan tidak bisa melempar.

Lambda:

() -> { System.out.println("Do nothing!"); };

sebenarnya mewakili implementasi untuk antarmuka seperti:

public interface Something {
    void action();
}

yang sama sekali berbeda dari yang telah Anda tetapkan. Itu sebabnya Anda mendapatkan kesalahan.

Karena Anda tidak dapat memperpanjang @FunctionalInterface, atau memperkenalkan yang baru, maka saya pikir Anda tidak memiliki banyak pilihan. Anda dapat menggunakan Optional<T>antarmuka untuk menunjukkan bahwa beberapa nilai (tipe kembali atau parameter metode) tidak ada. Namun, ini tidak akan membuat tubuh lambda lebih sederhana.

Anda dapat membuat sub-antarmuka untuk kasus khusus itu:

interface Command extends Action<Void, Void> {
  default Void execute(Void v) {
    execute();
    return null;
  }
  void execute();
}

Ini menggunakan metode default untuk mengganti metode parameterisasi yang diwariskan Void execute(Void), mendelegasikan panggilan ke metode yang lebih sederhana void execute().

Hasilnya adalah lebih mudah digunakan:

Command c = () -> System.out.println("Do nothing!");

Saya pikir tabel ini pendek dan bermanfaat:

Supplier       ()    -> x
Consumer       x     -> ()
Callable       ()    -> x throws ex
Runnable       ()    -> ()
Function       x     -> y
BiFunction     x,y   -> z
Predicate      x     -> boolean
UnaryOperator  x1    -> x2
BinaryOperator x1,x2 -> x3

Seperti yang dikatakan pada jawaban lain, opsi yang sesuai untuk masalah ini adalah a Runnable

Itu tidak mungkin. Fungsi yang memiliki tipe pengembalian non-void (bahkan jika itu Void) harus mengembalikan nilai. Namun Anda dapat menambahkan metode statis Actionyang memungkinkan Anda untuk "membuat" a Action:

interface Action<T, U> {
   U execute(T t);

   public static Action<Void, Void> create(Runnable r) {
       return (t) -> {r.run(); return null;};
   }

   public static <T, U> Action<T, U> create(Action<T, U> action) {
       return action;
   } 
}

Itu akan memungkinkan Anda untuk menulis yang berikut:

// create action from Runnable
Action.create(()-> System.out.println("Hello World")).execute(null);
// create normal action
System.out.println(Action.create((Integer i) -> "number: " + i).execute(100));

Tambahkan metode statis di dalam antarmuka fungsional Anda

package example;

interface Action<T, U> {
       U execute(T t);
       static  Action<Void,Void> invoke(Runnable runnable){
           return (v) -> {
               runnable.run();
                return null;
            };         
       }
    }

public class Lambda {


    public static void main(String[] args) {

        Action<Void, Void> a = Action.invoke(() -> System.out.println("Do nothing!"));
        Void t = null;
        a.execute(t);
    }

}

Keluaran

Do nothing!

Saya tidak berpikir itu mungkin, karena definisi fungsi tidak cocok dalam contoh Anda.

Ekspresi lambda Anda dievaluasi persis seperti

void action() { }

sedangkan deklarasi Anda terlihat seperti

Void action(Void v) {
    //must return Void type.
}

sebagai contoh, jika Anda memiliki antarmuka berikut

public interface VoidInterface {
    public Void action(Void v);
}

satu-satunya jenis fungsi (saat instantiating) yang akan kompatibel terlihat seperti

new VoidInterface() {
    public Void action(Void v) {
        //do something
        return v;
    }
}

dan salah satu dari pernyataan atau argumen pengembalian akan memberi Anda kesalahan kompiler.

Oleh karena itu, jika Anda mendeklarasikan fungsi yang mengambil argumen dan mengembalikan satu, saya pikir tidak mungkin untuk mengubahnya menjadi fungsi yang tidak disebutkan di atas.

Hanya untuk referensi antarmuka fungsional yang dapat digunakan untuk referensi metode dalam kasus metode melempar dan / atau mengembalikan nilai.

void notReturnsNotThrows() {};
void notReturnsThrows() throws Exception {}
String returnsNotThrows() { return ""; }
String returnsThrows() throws Exception { return ""; }

{
    Runnable r1 = this::notReturnsNotThrows; //ok
    Runnable r2 = this::notReturnsThrows; //error
    Runnable r3 = this::returnsNotThrows; //ok
    Runnable r4 = this::returnsThrows; //error

    Callable c1 = this::notReturnsNotThrows; //error
    Callable c2 = this::notReturnsThrows; //error
    Callable c3 = this::returnsNotThrows; //ok
    Callable c4 = this::returnsThrows; //ok

}


interface VoidCallableExtendsCallable extends Callable<Void> {
    @Override
    Void call() throws Exception;
}

interface VoidCallable {
    void call() throws Exception;
}

{
    VoidCallableExtendsCallable vcec1 = this::notReturnsNotThrows; //error
    VoidCallableExtendsCallable vcec2 = this::notReturnsThrows; //error
    VoidCallableExtendsCallable vcec3 = this::returnsNotThrows; //error
    VoidCallableExtendsCallable vcec4 = this::returnsThrows; //error

    VoidCallable vc1 = this::notReturnsNotThrows; //ok
    VoidCallable vc2 = this::notReturnsThrows; //ok
    VoidCallable vc3 = this::returnsNotThrows; //ok
    VoidCallable vc4 = this::returnsThrows; //ok
}