lambda表达式中的错误返回类型

Question

以下代码在IntelliJ和Eclipse中编译得很好，但JDK编译器1.8.0\u 25对此表示不满。首先，代码。

import java.util.function.Predicate;

public abstract class MyStream<E> {

  static <T> MyStream<T> create() {
    return null;
  }

  abstract MyStream<E> filter(MyPredicate<? super E> predicate);

  public interface MyPredicate<T> extends Predicate<T> {

    @Override
    boolean test(T t);
  }

  public void demo() {
    MyStream.<Boolean> create().filter(b -> b);
    MyStream.<String> create().filter(s -> s != null);
  }
}

javac 1.8.0\u 25的输出为：

MyStream.java:18: error: incompatible types: incompatible parameter types in lambda expression
    MyStream.<Boolean> create().filter(b -> b);
                                       ^
MyStream.java:18: error: incompatible types: bad return type in lambda expression
    MyStream.<Boolean> create().filter(b -> b);
                                            ^
    ? super Boolean cannot be converted to boolean
MyStream.java:19: error: bad operand types for binary operator '!='
    MyStream.<String> create().filter(s -> s != null);
                                             ^
  first type:  ? super String
  second type: <null>
MyStream.java:19: error: incompatible types: incompatible parameter types in lambda expression
    MyStream.<String> create().filter(s -> s != null);
                                      ^
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
4 errors

当我更换时？超级E只需使用E，JDK就能成功编译。

当我将filter（MyPredicate替换为filter（Predicate，JDK编译成功。

由于它适用于JDK 1.8.0_60，我怀疑它是编译器错误。

有没有详细说明是什么原因造成的以及何时修复的？

Answer 1

<代码>

MyPredicate<? super E>

可能是

MyPredicate<Object>

并且不能将对象作为布尔值返回。

尝试将lambda更改为：

MyStream.<Boolean> create().filter(b -> Boolean.TRUE.equals(b));

无论流的类型如何，它都将编译并执行无误，但对于值为布尔值的元素，它将返回true。

Answer 2

如果lambda表达式出现在带有通配符的目标类型中（与大多数情况一样）

  Consumer<? super Boolean> consumer = b->{...}

问题来了——lambda表达式的类型是什么；特别是b的类型。

当然，由于通配符的缘故，可能有很多选择；e、 g.我们可以明确选择

  Consumer<? super Boolean> consumer = (Object b)->{...}

但是，隐式地，b应推断为布尔值。这是有意义的，因为无论如何，消费者应该只接受布尔值。

http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27.3

如果T是通配符参数化的函数接口类型，并且lambda表达式是隐式类型的，则地面目标类型是T的非通配符参数化

（这可能是假设通配符在目标类型上正确使用方差；如果假设不成立，我们可能会发现一些有趣的例子）