我在 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，或者删除通配符 ？在参数类型中扩展，使示例代码在 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

最佳答案

看起来你遇到了 JDK bug JDK-8156954这已在 Java 9 中修复，但在 Java 8 中未修复。

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

• F : String (通过第一个参数 originalList 类型 List<String> )
• T : IntToByteFunction (通过返回类型 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错误消失了。

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

关于java - 代码在 Eclipse 中编译但不是 javac : curried lambdas with functional subinterface. 哪个是正确的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55189577/