流减少不兼容的类型

Question

我正在尝试创建一个包含多个谓词并减少它们的查找程序:

public static <T extends BusinessInterface> Collection<T> findOr(
    Context pContext, Class<T> pClass, Predicate<? super T>... pPredicates) {
  Predicate<? super T> lReducedPredicate =
      Arrays.asList(pPredicates).stream().reduce(Predicate::or).orElse(r -> false);
  return find(pContext, pClass, lReducedPredicate);
}

不幸的是我得到以下编译错误:

谓词lReducedPredicate = Arrays.asList(pPredicates).stream().reduce(Predicate :: or).orElse(r - > false); 不兼容的类型:谓词不能转换为谓词,其中T是一个类型变量:T扩展了方法findOr(Context,Class,Predicate ...)中声明的BusinessInterface,其中CAP#1,CAP#2是新的类型变量:CAP# 1扩展Object super:T从捕获？超级T CAP#2扩展了Object super:T从捕获？超级T

我在Eclipse中没有错误,我不知道出了什么问题.

任何帮助真的很感激:).

Answer 1

解决这个问题的一种方法是使用

public static <T extends BusinessInterface> Collection<T> findOr(
    Context pContext, Class<T> pClass, Predicate<? super T>... pPredicates) {
  Predicate<? super T> lReducedPredicate = Arrays.asList(pPredicates).stream()
    .reduce((a,b) -> t -> a.test(t) || b.test(t)).orElse(r -> false);
  return find(pContext, pClass, lReducedPredicate);
}

虽然您不能or在Predicate<? super T>另一个实例上调用该方法Predicate<? super T>作为参数,但您可以创建相同的函数or,自己返回,因为将T实例传递给任一test方法都是有效的.

Answer 2

你的代码在intellij中适用于我,但不适用于ideone,这很奇怪.

编译器错误的原因是您正在尝试执行此操作:

Predicate<? super T> a = null;
Predicate<? super T> b = null;
a.or(b);  // Compiler error!

因为在两个单独的通配符a和b,编译器不能保证类型界限是兼容的,因为这些通配符不一定相同.

无论如何,试试这个奇怪的伎俩:

Arrays.asList(pPredicates)
    .stream()
    .map(a -> a)  // Here!
    .reduce(Predicate::or)
    .orElse(r -> false);

插入此行允许它转换为与类型约束匹配的类型.