java - 它是如何决定 Predicate “and” 方法在 java 中有一个消费者而不是生产者的?
问题描述
我正在浏览 Java 8 中引入的 Predicate 类,它是功能接口。Predicate 类内部有一个方法 and ,用于将多个谓词组合为一个。
default Predicate<T> and(Predicate<? super T> other) {
Objects.requireNonNull(other);
return (t) -> test(t) && other.test(t);
}
我已经阅读了 Java 中 PECS 的概念,但仍然不明白为什么在 Predicate 的情况下我们使用? super T
. java程序员如何决定它将是消费者而不是生产者。
我的意思是为什么不应该允许出现编译错误的行:
public class PredicateExample {
public static void main(String[] args) {
Predicate<Number> pred = n -> n.intValue() > 2;
Predicate<Integer> predInt = n -> n > 3;
//Compile error
//pred.and(predInt);
Predicate<Object> predObj = o -> Integer.parseInt(o.toString()) > 4;
pred.and(predObj); //Valid statement
Number n = new Integer(100);
System.out.println(pred.and(predObj).test(10));
System.out.println(predInt.and(pred).test(10));
//Compile error
//System.out.println(pred.and(predInt).test(10));
}
}
解决方案
Predicate<T>
s 接受 aT
并给你 a boolean
。是的,它是boolean
s 的生产者,但这在这里并不重要。在类型参数上应用 PECS 时,您应该考虑该类型是该类型参数的生产者还是消费者。
由于Predicate<T>
接受 a T
,它是 的消费者T
,所以它应该是? super
参数T
。
另一个例子:BiFunction<T, U, V>
接受 aT
和 a U
,并产生 a V
,所以它是 的消费者T
、消费者U
和生产者V
。因此,? super
对于T
和U
,? extends
对于V
。如您所见,只有类型参数很重要。该类型可能做的任何其他事情都不会。
如果您翻转两侧 - 将允许这些线条predInt.and(pred)
,这会创建一个Predicate<Integer>
.
这是因为and
被声明为产生与调用它的谓词相同类型的谓词,所以pred.and(...)
只能产生 a Predicate<Number>
,但 aPredicate<Number>
在这里没有意义 - 另一个连词只能接受整数!
你完全可以让它在两个订单中都起作用。如果您声明and
为静态方法:
public static <T> Predicate<T> and(Predicate<? super T> a, Predicate<? super T> b)
然后你可以做这两个:
and(predInt, pred)
and(pred, predInt)
但这种方式可读性较差:(
推荐阅读
- flutter - 未从 Flutter 中的建议中选择时如何重置 TypeAheadFormField 的文本?
- c# - CSV 到使用实体框架的级联模型
- mongodb - Spring Data MongoDB不存在开关错误
- node.js - 400 未找到项目的计费帐户。必须启用计费才能激活服务
- sql - 如何从第二个表中选择前 x 条记录
- ffmpeg - ffmpeg 创建充满人工制品且完全难以辨认的屏幕截图
- javascript - 是否可以在材料ui的选择组件中使用分页?
- cs-cart - 如何在 cs-cart 中使用 API (PUT) 更新用户配置文件
- python - 如何检查语句是否为真,执行,然后重置该语句?
- azure - Azure VM:使用 RSA-HSM 密钥加密磁盘