使用基元类型的方法引用和函数接口专门化来解决重载问题

Question

假设我们有一个类和一个重载函数：

public class Main {
    static final class A {
    }

    public static String g(ToIntFunction<? extends A> f) {
        return null;
    }

    public static String g(ToDoubleFunction<? extends A> f) {
        return null;
    }
}

我想用一个方法引用一个类型为A的函数来调用g-

public class Main {
    static final class A {
    }

    public static String g(ToIntFunction<? extends A> f) {
        return null;
    }

    public static String g(ToDoubleFunction<? extends A> f) {
        return null;
    }

    private static int toInt(A x) {
        return 2;
    }

    public static void main(String[] args) {
        ToIntFunction<? extends A> f1 = Main::toInt;
        ToDoubleFunction<? extends A> f2 = Main::toInt;

        g(Main::toInt);
    }
}

这适用于javac，但不适用于eclipse ecj。我向ecj提交了一份错误报告，但我不确定这是一个ecj还是javac错误，并试图遵循重载解决算法来解决它。我的感觉是代码应该被接受，因为从直觉上讲，ToIntFunction比ToDoubleFunction更适合toInt。然而，我对JLS的理解是，它应该被拒绝，因为没有理由更具体。

我必须承认，我对JLS规范有点迷茫，希望能得到一些帮助。我首先想计算Main:：double2int的类型，所以我看了15.13.2。方法引用的类型。它不定义类型，但定义类型在不同上下文中何时兼容：

如果T是函数接口类型（§9.8），且表达式与从T派生的基本目标类型的函数类型一致，则方法引用表达式在赋值上下文、调用上下文或转换上下文中与目标类型T兼容。

地面类型是ToIntFunction

然后我查看了过载分辨率，发现是15.12.2.5。对于编译时声明a的参数Main:：toInt，选择对方法引用有特殊情况的最具体的方法来决定ToIntFunction或ToDoubleFunction的两个重载中的哪一个更具体-

对于表达式e，函数接口类型S比函数接口类型T更具体，如果T不是S的子类型，并且以下之一为真（其中U1... Uk和R1是S捕获的函数类型的参数类型和返回类型，V1...Vk和R2是T）的函数类型的参数类型和返回类型：

...

如果e是精确的方法参考表达式（§15.13.1），则i）表示所有i（1≤ 我≤ k） ，Ui与Vi相同，ii）以下情况之一是正确的：

R2是空的。

R1

R1是基元类型，R2是引用类型，方法引用的编译时声明的返回类型是基元类型。

R1是引用类型，R2是基元类型，方法引用的编译时声明具有引用类型的返回类型。

第一个条件显然不匹配，因为R1和R2不是无效的。

这两个接口ToInFunction和ToDoubleFunction的不同之处在于它们的返回类型是基本类型double和int。对于基元类型，子句“R1”

最后两点也不合适，因为这两个函数接口都没有引用类型的返回值。

对于两个函数接口返回原语，并且代码应该被拒绝为不明确的情况，似乎没有规则。然而，javac接受该代码，我希望它也会接受。所以我想知道这是否是JLS中缺失的一点。




Answer 1

对于基元类型，子句"R1

事实并非如此double实际上是int的超类型。

第4.10段：

类型的超类型是通过对直接超类型关系的自反和传递闭包获得的，写为S

第4.10.1段：

以下规则定义了基元类型之间的直接超类型关系：

double

float

long

超类型关系是直接超类型关系的自反和传递闭包，这意味着从（double