代码在 Eclipse 中编译，但在 javac 中不编译：具有功能子接口的 curried lambda。哪个是正确的？

Question

我在 Eclipse 中开发了一些代码，测试成功，将其推送到我们的 Jenkins CI 服务器，并收到一封电子邮件，说 Maven 因 Java 编译错误而窒息。我随后隔离了问题并创建了以下显示问题的最小示例：

import java.util.List;
import java.util.function.Function;

class MinimalTypeFailureExample {
    public static void main(String[] args) {
        List<String> originalList = null;  // irrelevant
        List<IntToByteFunction> resultList = transform(originalList,
                outer -> inner -> doStuff(inner, outer));
        System.out.println(resultList);
    }

    static <F, T> List<T> transform(List<F> originalList,
            MyFunction<? super F, ? extends T> function) {
        return null;  // irrelevant
    }

    static Byte doStuff(Integer inner, String outer) {
        return null;  // irrelevant
    }
}

@FunctionalInterface
interface MyFunction<F, T> extends Function<F, T> {
    @Override
    T apply(F input);
}

@FunctionalInterface
interface IntToByteFunction {
    Byte applyIntToByte(Integer inner);
}

在 Eclipse 中，此代码编译无误并且似乎按预期执行。但是用javac编译会报如下错误：

MinimalTypeFailureExample.java:7: error: incompatible types: cannot infer type-variable(s) F,T
                List<IntToByteFunction> resultList = transform(originalList, outer -> inner -> doStuff(inner, outer));
                                                              ^
    (argument mismatch; bad return type in lambda expression
      T is not a functional interface)
  where F,T are type-variables:
    F extends Object declared in method <F,T>transform(List<F>,MyFunction<F,? extends T>)
    T extends Object declared in method <F,T>transform(List<F>,MyFunction<F,? extends T>)
1 error

将 transform() 的参数类型从 MyFunction 更改为 Function，或删除参数类型中的通配符 ? extends，使示例代码在 javac 中编译。

显然，Eclipse 或 javac 违反了 Java 语言规范。问题是，我应该在 Eclipse 还是 javac 上提交错误报告？通用 lambda 的类型推断规则非常复杂，根据 JLS，我不知道这个程序是否合法 Java。

Motivation note

In the original code, transform() was Guava's com.google.common.collect.Lists.transform(). The MyFunction interface was Guava 's com.google.common.base.Function interface, which extends java.util.function.Function for historical reasons.

The purpose of this code was to create a view of a list of a first type as a list of a second type. The second type was a functional interface type and I wanted to populate the output list with functions of this type constructed based on the values in the input list—hence the curried lambda expression.

Version info for reproducibility

Eclipse versions tested:

2018-09 (4.9.0) Build id: 20180917-1800

2019-03 RC1 (4.11 RC1) Build id: 20190307-2044

javac versions tested:

1.8.0_121

JDK 10.0.1 via the JDoodle online Java compiler

Answer 1

我用 javac 11.0.2 尝试了示例代码，没有收到任何错误。这表明该错误可能存在于 javac 中，并在最新版本中得到修复。我对此感到有些惊讶，因为如前所述，我确实尝试在在线界面中测试 JDK 10。

我愿意接受提供有关特定问题的更多详细信息的其他答案，例如问题的 JDK 错误编号。

作为使代码在 JDK 8 中编译的解决方法，可以将显式转换添加到内部 lambda 表达式：

List<IntToByteFunction> resultList = transform(originalList,
        outer -> (IntToByteFunction) inner -> doStuff(inner, outer));

Answer 2

看起来你运行进入了 JDK bug JDK-8156954，它已在 Java 9 中修复，但在 Java 8 中未修复。

这是 Java 8 javac 的错误，因为在您的示例中，transform 方法的所有 变量类型 可以在不违反Java语言规范的情况下推断如下：

F：String（通过 List<String> 类型的第一个参数 originalList）
T：IntToByteFunction（通过 return 输入 List<IntToByteFunction>）

这些推断的变量类型与第二个参数的类型兼容，链式 lambda 表达式：

outer -> inner -> doStuff(inner, outer) 解析（doStuff(Integer, String) 到
String -> Integer -> doStuff(Integer, String) 解析为
String -> Integer -> Byte 兼容
String -> IntToByteFunction 兼容
MyFunction<? super String, ? extends IntToByteFunction>

您的示例可以进一步简化：

import java.util.function.Function;

class MinimalTypeFailureExample {

    void foo() {
        transform((Function<Integer, String>)null, o -> i -> {return "";});
    }

    <T, F> void transform(F f, MyFunction<T, ? extends F> m) {}

}

@FunctionalInterface
interface MyFunction<T, R> extends Function<T, R> {
    @Override
    R apply(T t);
}

MyFunction 用相同的 (R apply(T t);) 覆盖相同的。如果使用 Function 而不是 MyFunction，或者如果 MyFunction 扩展 Function 但没有 @Override R apply(T t);，则错误消失。同样使用 F 而不是 ? extends F 错误消失。

即使您的示例与上述错误中的示例不同，也可以假定它是同一个错误，因为它是唯一的 " 参数不匹配；错误 return 输入lambda 表达式 错误已在 Java 9 中修复，但未在 Java 8 中修复，并且仅在 lambda 函数与 Java 泛型组合时出现。

代码在 Eclipse 中编译，但在 javac 中不编译：具有功能子接口的 curried lambda。哪个是正确的？

Code compiles in Eclipse but not javac: curried lambdas with functional subinterface. Which is correct?

java

eclipse

generics

lambda

functional-interface