指定before/after :: operator的通用方法引用类型

Question

以下方法引用之间有什么区别,

BiPredicate<List<String>,String> contains1 = List<String>::contains;

BiPredicate<List<String>,String> contains2 = List::<String>contains;

BiPredicate<List<String>,String> contains3 = List<String>::<String>contains;

案件有特殊名称吗？有没有类似用法的例子？

Answer 1

首先,这被称为类型见证(在官方Oracle教程中)或TypeArguments(在JLS Sec 15.12中),您正在有效地帮助编译器使用这样的结构.

一个例子:

private static void test(Callable<Object> call) {

}

private static void test(Runnable run) {

}

static class Gen<T> {

}

并通过它调用它test(Gen::new);(这将失败,更不用说为什么),但重点是你添加一个类型见证来帮助编译器,所以这将工作

test(Gen<String>::new);

所以当你写作时List<String>,你已经为目标类型添加了一个类型见证 - List也就是说; 在第二种情况下,您要为方法添加一个contains- 但它不是通用的,因此会被忽略.

Answer 2

在:

BiPredicate<List<String>, String> contains2 = List::<String>contains;

<String>是非泛型List.contains方法¹的类型参数.

而在:

BiPredicate<List<String>, String> contains1 = List<String>::contains;

<String>是一个类型参数List.

^{1 - 在这种特殊情况下,根据JLS§15.12.2.1忽略类型参数:}

^{非泛型方法可能适用于提供显式类型参数的调用.在这种情况下,类型参数将被忽略.}