API 来表达一个操作来测试一个`Predicate`是否比另一个`Predicate`更严格？

Question

在 Java 中是否有某种标准方式来表达一个操作来测试一个 Predicate 是否比另一个 Predicate 更严格？

我可以想象像pred1.isStricterThan(pred2) 这样的东西，但是我在 API 中看不到这样的东西：https://docs.oracle.com/javase/8/docs/api/java/util/function/Predicate.html 和https://google.github.io/guava/releases/19.0/api/docs/com/google/common/base/Predicate.html .

这种类型的检查可能有用，例如重复使用缓存的搜索结果。

我看到了isEqual() 和equals()，这可能会有所帮助，但还有可能进行进一步优化...

编辑：

例子：

1. string.contains("xy") 比 string.contains("x") 更严格
2. string.contains("xy") && string.contains("ab") 比 string.contains("xy") 更严格
3. x > 3 比 x > 2 更严格
4. string.contains("abc") 不比 string.contains("cd") 更严格

严格性检查方法当然必须根据具体情况巧妙实施。

编辑 2&3：更严格的谓词在用于过滤时，应返回不太严格的谓词的子集。

编辑 4：注意：我不是要求 实现。相反，我问的是是否有一些 API 可以以标准方式表达这些检查。

Answer 1

您所描述的是graph。您可以使用 Google Guava 的新 graph API 来定义谓词严格度图并进行查询：

Predicate<String> containsX = string -> string.contains("x");
Predicate<String> containsXy = string -> string.contains("xy");
Predicate<String> containsXyAndAb = string -> string.contains("xy") 
        && string.contains("ab");
Predicate<Integer> greaterThan2 = x -> x > 2;
Predicate<Integer> greaterThan3 = x -> x > 3;
Predicate<String> containsAbc = string -> string.contains("abc");
Predicate<String> containsCd = string -> string.contains("cd");

MutableGraph<Predicate<?>> predicateStrictnessGraph = GraphBuilder.directed().build();

predicateStrictnessGraph.addNode(containsX);
predicateStrictnessGraph.addNode(containsXy);
predicateStrictnessGraph.addNode(containsXyAndAb);
predicateStrictnessGraph.addNode(greaterThan3);
predicateStrictnessGraph.addNode(containsAbc);
predicateStrictnessGraph.addNode(containsCd);

predicateStrictnessGraph.putEdge(containsXy, containsX);
predicateStrictnessGraph.putEdge(containsXyAndAb, containsXy);
predicateStrictnessGraph.putEdge(greaterThan3, greaterThan2);

boolean isContainsXyStricterThanContainsX =
        Graphs.reachableNodes(predicateStrictnessGraph, containsXy)
                .contains(containsX);
// result: true

boolean isContainsXyStricterThanContainsXyAndAb =
        Graphs.reachableNodes(predicateStrictnessGraph, containsXy)
                .contains(containsXyAndAb);
// result: false

为了进一步说明这一点，请考虑在图中查询比指定谓词更严格的谓词：

Predicate<String> containsAb = string -> string.contains("ab");
predicateStrictnessGraph.addNode(containsAb);
predicateStrictnessGraph.putEdge(containsAbc, containsAb);
predicateStrictnessGraph.putEdge(containsXyAndAb, containsAb);
Set<Predicate<?>> containsAbAndStricterPredicates =
        Graphs.reachableNodes(Graphs.transpose(predicateStrictnessGraph), containsAb);
// result: [containsAb, containsAbc, containsXyAndAb]

更多详情请见GraphsExplained · google/guava Wiki。