Java 8 lambda Void 参数

Question

假设我在 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这个类型参数？

Answer 1

使用Supplier，如果它什么都不接受，但返回一些东西。

使用Consumer，如果它需要一些东西，但什么都不返回。

如果 Callable 返回结果并可能抛出异常，则使用 Thunk（最类似于一般 CS 术语中的 Thunk）。

使用Runnable，如果它既不做也不能扔。

Answer 2

我觉得这张表很短很实用：

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

As said on the other answers, the appropriate option for this problem is a Runnable

Answer 3

您所追求的语法可以通过一个将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"));

Answer 4

lambda：

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

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

public interface Something {
    void action();
}

这与您定义的完全不同。这就是你得到错误的原因。

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

Answer 5

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

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

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

结果是使用起来简单多了：

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

Answer 6

我认为不可能，因为函数定义与您的示例不匹配。

您的 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 语句或参数都会给你一个编译器错误。

因此，如果您声明一个接受参数并返回一个参数的函数，我认为不可能将其转换为上述两者都没有的函数。

Answer 7

这是不可能的。具有非 void 返回类型的函数（即使它是 Void）必须返回一个值。但是，您可以将静态方法添加到 Action，从而允许您“创建”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));

Answer 8

在你的函数式接口中添加一个静态方法

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!

Answer 9

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

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
}