- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
考虑以下代码:
public class Main {
private static Predicate<? extends TestObject> predicate = testObject -> true;
private static Predicate<? extends TestObject> predicate1 = testObject -> true;
public static void main( String[] args ) {
List<TestObject> objects = Lists.newArrayList( new TestObject(), new TestObject() );
objects.stream().filter( predicate.or( predicate1 ) ).findFirst();
}
}
编译不通过,报错:
Error:(17, 48) java: incompatible types: java.util.function.Predicate<capture#1 of ? extends test.test.TestObject> cannot be converted to java.util.function.Predicate<? super capture#2 of ? extends test.test.TestObject>
似乎我们不能用“or”或“and”这样的逻辑运算符连接这样的谓词,但为什么 Java 不能处理它们呢?
它使用像 Predicate<TestObject>
这样的简单谓词进行编译, 但不是 Predicate<? super TestObject>
或 Predicate<? extends TestObject>
.
最佳答案
您可能知道谓词是兼容的,但编译器不知道。
想象一下这个例子:
Predicate<? extends Collection<Object>> p1 = (Set<Object> s) -> s.isEmpty();
Predicate<? extends Collection<Object>> p2 = (List<Object> l) -> l.get(0) != null;
我们开发人员可以看到,第一个谓词在技术上可以处理所有集合,而第二个谓词只能处理列表。但是想象一下谓词是在其他地方初始化的,或者同时会被更改。编译器无法确定谓词对象是为哪种类型的集合创建的。因此,您根本无法使用它们:
Set<Object> set = new HashSet<>();
List<Object> list = new ArrayList<>();
p1.test(set);
p2.test(list);
p1.test(list);
p2.test(set);
所有这些调用都不会编译,因为编译器无法判断p1
后面的实际对象是否存在。和 p2
can 正是那些类型的集合。这就是? extends Collection<>
的意思: 你知道它是一个特定的子类型,但你不能告诉编译器到底是哪一个。
用一个更简单的例子来说明这一点:
Collection<Apple> appleBasket = ...;
appleBasket.add(new Apple()); // works
appleBasket.add(new Orange()); // does not work (obviously)
Collection<Fruit> mixedFruitBasket = ...;
mixedFruitBasket.add(new Apple()); // works
mixedFruitBasket.add(new Orange()); // works
// Now the tricky part
Collection<? extends Fruit> unknownButPureFruitBasket = ...;
unknownButPureFruitBasket.add(new Apple()); // does not work
unknownButPureFruitBasket.add(new Orange()); // does not work
您不能将任何一种水果添加到您不知道其类型的篮子中。它实际上可能是一个可以容纳所有水果的篮子,但它可能是一个纯苹果篮子,或者橙子篮子,甚至是你还不知道的香蕉篮子。
在您的 IDE 中尝试:
List<? extends String> l1 = new ArrayList<>();
List<? extends String> l2 = new ArrayList<>();
l1.addAll(l2);
Eclipse 告诉我:
The method addAll(Collection1-of ? extends String>) in the type List<capture#1-of ? extends String> is not applicable for the arguments (List<capture#2-of ? extends String>)
注意不同的类型:addAll
期望收集 capture#1
, l2
是 capture#2
的集合.
关于Java 8 Predicate - 为什么不能连接通配符泛型谓词?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52081228/
我是一名优秀的程序员,十分优秀!