一元静态方法的方法引用在函数和双函数参数类型之间不明确

Question

考虑以下简化的测试用例：

import java.util.AbstractList;
import java.util.Collection;
import java.util.Iterator;
import java.util.List;
import java.util.function.BiFunction;
import java.util.function.Function;
public final class Example {
    static class PairList<A, B> {
        public void replaceAllSecond(Function<? super B, ? extends B> secondFunction) {}
        public void replaceAllSecond(BiFunction<? super A, ? super B, ? extends B> secondFunction) {}
    }

    static class ImmutableList<E> extends AbstractList<E> {
        public static <E> ImmutableList<E> copyOf(Iterable<? extends E> elements) {return null;}
        public static <E> ImmutableList<E> copyOf(Collection<? extends E> elements) {return null;}
        public static <E> ImmutableList<E> copyOf(Iterator<? extends E> elements) {return null;}
        public static <E> ImmutableList<E> copyOf(E[] elements) {return null;}

        @Override public E get(int index) {return null;}
        @Override public int size() {return 0;}
    }

    public static void foo() {
        PairList<Integer, List<Integer>> list = new PairList<>();
        list.replaceAllSecond(x -> ImmutableList.copyOf(x)); //accepted
        list.replaceAllSecond(ImmutableList::copyOf); //error
    }
}

使用来自Oracle JDK 8u40的javac编译时，可以使用lambda调用replaceAllSecond，但传递方法引用的调用被拒绝，错误如下：

Example.java:26: error: reference to replaceAllSecond is ambiguous
                list.replaceAllSecond(ImmutableList::copyOf); //error
                    ^
  both method replaceAllSecond(Function<? super B,? extends B>) in PairList and method replaceAllSecond(BiFunction<? super A,? super B,? extends B>) in PairList match
  where B,A are type-variables:
    B extends Object declared in class PairList
    A extends Object declared in class PairList
1 error

我不明白为什么重载BiFunction在这里可能适用。来自JLS15.12.2.1（省略了一些项目符号）：

成员方法可能适用于方法调用当且仅当以下所有为真：

• 如果成员是一个固定的属性方法，属性为n，则方法调用的属性等于n，并且对于所有i（1≤i≤n），方法调用的第i个参数可能与方法的第i个参数的类型兼容，如下所述。

根据以下规则，表达式可能与目标类型兼容：

>

• 方法引用表达式的形式为[TypeArguments]标识符e:: [TypeArguments]，并且至少有一个可能适用的方法是i）静态的，并且支持属性n，或者ii）非静态的，并且支持属性n-1。

按照我的解释，BiFunction的函数类型arity是2，但是copyOf的所有重载都是静态的，并且具有arity 1，因此方法引用可能与BiFunction参数不兼容，因此replaceAllSecond（BiFunction）可能不适用。

我是误解了JLS，还是这是一个javac错误？JDK-8026231描述了更新javac以实现该规范，但该错误在2013年Java 8首次发布（2014年3月）之前得到解决。

Answer 1

您的示例可以进一步简化为以下内容：

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

public final class Example {
    static class PairList<A, B> {
        public void replaceAllSecond(Function<? super B, ? extends B> secondFunction) {}
        public void replaceAllSecond(BiFunction<? super A, ? super B, ? extends B> secondFunction) {}
    }

    public static <E> List<E> copyOf(Iterable<? extends E> elements) {return null;}
    public static <E> List<E> copyOf(Collection<? extends E> elements) {return null;}

    public static void foo() {
        PairList<Integer, List<Integer>> list = new PairList<>();
        list.replaceAllSecond(x -> Example.copyOf(x)); //accepted
        list.replaceAllSecond(Example::copyOf); //error
    }
}

我想这是一个javac问题，因为这段代码可以编译Java-9早期访问版本（甚至像9ea57这样的非常旧的版本），而在Java-8版本（即使是最新的更新）中失败。