Java 8 Lambda Void参数

假设我在Java 8中具有以下功能接口：

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

在某些情况下，我需要没有参数或返回类型的操作。所以我写这样的东西：

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

但是，它给了我编译错误，我需要写成

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

这很丑。有什么方法可以摆脱Void类型参数？

你以后的语法可能与一个小帮手功能，其转换Runnable成Action<Void, Void>（你可以将它放在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"));

使用Supplier如果它需要什么，但回报的东西。

使用Consumer如果它需要的东西，但没有任何回报。

使用Callable如果它返回一个结果，并可能会抛出（最类似于Thunk一般的CS而言）。

使用Runnable如果它既不并不能扔。

λ：

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

实际上代表一个接口的实现，例如：

public interface Something {
    void action();
}

这与您定义的完全不同。这就是为什么您会得到一个错误。

由于您不能扩展自己的产品@FunctionalInterface，也不能引入全新的产品，所以我认为您没有太多选择。但是，您可以使用Optional<T>接口来表示缺少某些值（返回类型或方法参数）。但是，这不会使lambda主体更简单。

您可以为这种特殊情况创建一个子接口：

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

它使用默认方法覆盖继承的参数化方法Void execute(Void)，将调用委派给更简单的方法void execute()。

结果是它使用起来更加简单：

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

这是不可能的。具有非无效返回类型（即使是Void）的函数也必须返回一个值。但是，您可以向其中添加静态方法Action，以“创建” 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;
   } 
}

那将允许您编写以下内容：

// 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));

我认为这张桌子简短实用：

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

如其他答案所述，该问题的适当选择是 Runnable

在功能界面中添加静态方法

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);
    }

}

输出量

Do nothing!

我认为这是不可能的，因为函数定义在您的示例中不匹配。

您的lambda表达式的计算结果与

void action() { }

而你的声明看起来像

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

例如，如果您具有以下界面

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

唯一可兼容的函数（在实例化时）看起来像

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

缺少return语句或参数都会给您带来编译器错误。

因此，如果声明一个带有参数并返回一个参数的函数，我认为不可能将其转换为既不执行上述任何一个操作的函数。

仅作为参考，在方法抛出和/或返回值的情况下，可以使用哪个功能接口作为方法参考。

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
}