Java 中 lambda 的返回值

到目前为止，我设法找到了我需要的所有答案，但这个让我感到困惑。假设我们有示例代码：

public class Animal {
   private String species;
   private boolean canHop;
   private boolean canSwim;
   public Animal(String speciesName, boolean hopper, boolean swimmer) {
     species = speciesName;
     canHop = hopper;
     canSwim = swimmer;
   }
  public boolean canHop() { return canHop; }
  public boolean canSwim() { return canSwim; }
  public String toString() { return species; }
}

public interface CheckAnimal {
   public boolean test(Animal a);
}

public class FindSameAnimals {
   private static void print(Animal animal, CheckAnimal trait) {
      if(trait.test(animal)){
         System.out.println(animal);
      }

   public static void main(String[] args) {
      print(new Animal("fish", false, true), a -> a.canHop());
   }
}

OCA学习指南（考试1Z0-808）书中说这两行是等效的：

a -> a.canHop()
(Animal a) -> { return a.canHop(); }

这是否意味着，Java 在幕后添加了关键字return在第一种情况下编码？

如果答案是“是”，那么接下来的代码如何编译（想象其他所有内容都在正确的位置）：

static int counter = 0;
ExecutorService service = Executors.newSingleThreadExecutor();
service.execute(() -> counter++));

如果我们知道签名execute和可运行的run are:

void execute(Runnable command)
void run()

如果答案是否定的，那么 Java 如何知道何时需要返回某些内容，何时不需要返回某些内容？也许在

a -> a.canHop()

我们想忽略的情况boolean方法的返回类型。

这是否意味着，在幕后，Java 在第一种情况下将关键字 return 添加到代码中？

不，编译器生成字节码，它可能会生成相同的字节码，但不会更改语法，然后再次编译。

我们想忽略方法的布尔返回类型。

它可以选择根据正在考虑的功能接口忽略某个值。

a -> a.canHop()

could be

(Animal a) -> { return a.canHop(); }

or

(Animal a) -> { a.canHop(); }

基于上下文，但如果可能的话，它倾向于第一个。

考虑ExecutorService.submit(Callable<T>) and ExecutorService.submit(Runnable)

ExecutorService es = Executors.newSingleThreadExecutor();
es.execute(() -> counter++); // has to be Runnable
es.submit(() -> counter++); // Callable<Integer> or Runnable?

保存返回类型，您可以看到它是Callable<Integer>

final Future<Integer> submit = es.submit(() -> counter++);

为了自己尝试一下，这里有一个更长的例子。

static int counter = 0;

public static void main(String[] args) throws ExecutionException, InterruptedException {
    ExecutorService es = Executors.newSingleThreadExecutor();

    // execute only takes Runnable
    es.execute(() -> counter++);

    // force the lambda to be Runnable
    final Future<?> submit = es.submit((Runnable) () -> counter++);
    System.out.println(submit.get());

    // returns a value so it's a Callable<Integer>
    final Future<Integer> submit2 = es.submit(() -> counter++);
    System.out.println(submit2.get());

    // returns nothing so it must be Runnable
    final Future<?> submit3 = es.submit(() -> System.out.println("counter: " + counter));
    System.out.println(submit3.get());

    es.shutdown();
}

prints

null
2
counter: 3
null

首先submit take a Runnable so Future.get()回报null

第二submit默认为Callable so Future.get()回报2

第三submit只能是一个void返回值，因此它必须是Runnable so Future.get()回报null