MethodReference表达式的简化过程

Question

从JLS中考虑下面的文章，它描述了在类型推断过程中方法引用表达式的还原过程。

形式的约束公式，其中T提到至少一个推理变量，减少如下：

...

否则，如果方法参考准确（§15.13.1），则让P1。。。，Pn是T的函数类型的参数类型，让F1。。。，Fk是潜在适用方法的参数类型。该约束减少为一组新的约束，如下所示：

–在n=K1的特殊情况下，P1类型的参数将作为调用的目标引用。方法引用表达式的形式必须为ReferenceType:：[TypeArguments]标识符。约束降低到èP1

在所有其他情况下，n=k，对于所有i（1），约束减少到≤ 我≤ n） ，èPi→ Fi›。

在这里，我想知道一些关于如何在条款中假设和适应以下条件的例子：

• 泛型函数类型
• 通用类类型（其方法将被用作参考）
• 通用方法类型（将作为参考）

例如，以下是我根据解释提出的问题：

• P1。。。，Pn是T的函数类型的参数类型，让F1。。。，Fk是潜在适用方法的参数类型

FunctionType<P1,P2 ... Pn> funType = ClassCls::MethodRef;
...
class ClassCls {
...
 public static <F1, ..., Fk> RetType potentiallyApplicbMethod(...){}
}

• 现在我们来看n=k1
  • 为什么FunctionType的参数数量比潜在应用方法的参数数量多
  • 为什么P1要充当调用的目标引用？我猜这里P1被假定为潜在应用方法的返回类型（RetType）
  • 我假设当FunctionType中指定的所有类型（可能包括也可能不包括返回类型）与潜在应用方法中指定的所有类型完全匹配时，就会给出这种情况




Answer 1

匿名用户

为什么FunctionType的参数数比可能的应用程序方法多？

方法引用有不同的形式。其中一种形式是ReiscceType::Instancemethod，或者Java教程称之为“引用特定类型的任意对象的实例方法”。

例子：

public class Main {

    public static void main(String[] args) {
        // this is a "reference to an instance method of an arbitrary object of a particular type"
        BiConsumer<Main, String> bar = Main::foo;
    }

    private <T> void foo(T t) {

    }
}

显然，BiConsumer的函数类型有两个参数，但是foo只有一个参数。函数类型的第一个额外参数是必需的，因为您需要一个实例来调用foo，而我们尚未在方法引用Main:：foo中指定该实例<代码>条形图。accept（new Main（），“foo”）与调用new Main（）相同。foo（“foo”）。这就是JLS所说的“目标引用”——它是您调用方法的对象。它与返回类型无关。

现在您也应该能够理解为什么JLS说，在n=k1的情况下，方法引用必须是引用Type:: [TypeArguments]标识符的形式，而不是主:: [TypeArguments]标识符。

对于n=k的情况，我假设当FunctionType中指定的所有类型与为潜在应用方法指定的所有类型完全匹配时，给出了这一点？

不，这个案例只是指其他类型的方法引用：

• 对静态方法的引用