为什么类型推断在这里失败？

Question

所以，我编写了这个相对简单的代码，我和 IntelliJ IDEA 都没有看到它有什么问题，但是 javac 在标记的行上倒下了，抱怨它无法推断类型：

import java.util.List;
import java.util.stream.Collectors;

public class GenericsBreakJavac8 {

    public interface Edge<N> {
        N getNode();
    }

    @FunctionalInterface
    public interface EdgeCreator<N, E extends Edge<N>> {
        E createEdge(N node);
    }

    public static <N> List<Edge<N>> createEdges(List<N> nodes) {
        return createEdges(nodes, DefaultEdge::new); //the deadly line
    }

    //THE NEWLY ADDED LINE (see the edit note)
    public static <N> List<Edge<N>> createEdges2(List<N> nodes) {
        return createEdges(nodes, n -> new DefaultEdge<N>(n));
    }

    public static <N, E extends Edge<N>> List<E> createEdges(List<N> nodes, EdgeCreator<N, E> edgeCreator) {
        return nodes.stream().map(edgeCreator::createEdge).collect(Collectors.toList());
    }

    public static class DefaultEdge<N> implements Edge<N> {
        private final N node;

        public DefaultEdge(N node) {
            this.node = node;
        }

        @Override
        public N getNode() {
            return node;
        }
    }
}

使用显式类型将有问题的行分成 2 行会有所帮助，但类型签名比 lambda 长，完全违背了最初编写 lambda 的目的......

编辑： 如果我使用实际的 lambda 而不是方法引用，我会再次遇到问题。见上面新增的方法。

Answer 1

javac 不喜欢 DefaultEdge 是原始类型。

    return createEdges(nodes, DefaultEdge<N>::new);

将按预期工作。

Answer 2

除了Jeffrey’s answer，请注意EdgeCreator 接口在功能上与Function 没有区别，createEdges 实际上不需要有问题的类型约束。所以一种解决方案是让EdgeCreator 扩展Function 以简化createEdges。

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

public class GenericsBreakJavac8 {

    public interface Edge<N> {
        N getNode();
    }

    @FunctionalInterface
    public interface EdgeCreator<N, E extends Edge<N>> extends Function<N,E> {
        E createEdge(N node);
        @Override public default E apply(N t) { return createEdge(t); }
    }

    public static <N> List<Edge<N>> createEdges(List<N> nodes) {
        return createEdges(nodes, DefaultEdge::new);
    }

    public static <N> List<Edge<N>> createEdges2(List<N> nodes) {
        return createEdges(nodes, n -> new DefaultEdge<>(n));
    }

    public static <T,R> List<R> createEdges(List<T> nodes, Function<T,R> edgeCreator) {
        return nodes.stream().map(edgeCreator).collect(Collectors.toList());
    }

    public static class DefaultEdge<N> implements Edge<N> {
        private final N node;

        public DefaultEdge(N node) {
            this.node = node;
        }

        @Override
        public N getNode() {
            return node;
        }
    }
}

您也可以删除EdgeCreator 接口并在需要强制执行约束的地方使用Function<N, E extends Edge<N>>，但是，在此代码中，没有这样的地方。当有人尝试使用 createEdges(List,Function) 时，约束仍然会被强制执行。它的结果，在需要 List<Edge<SpecificNodeType>> 的上下文中。

在过多的代码位置携带类型约束只会使您的源代码膨胀而没有任何好处。

顺便说一句，在您当前的代码中，您甚至不需要 DefaultEdge 类；您可以将整个代码简化为

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

public class GenericsBreakJavac8 {

    public interface Edge<N> {
        N getNode();
    }

    public static <N> List<Edge<N>> createEdges(List<N> nodes) {
        return createEdges(nodes, n -> () -> n);
    }

    public static <T,R> List<R> createEdges(List<T> nodes, Function<T,R> edgeCreator) {
        return nodes.stream().map(edgeCreator).collect(Collectors.toList());
    }
}