java - 用于表达测试一个 `Predicate` 是否比另一个 `Predicate` 更严格的操作的 API？

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 .