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()，这可能会有所帮助，但是可以进一步优化......

编辑：

示例：

string.contains("xy")比string.contains("x")
string.contains("xy") && string.contains("ab")比string.contains("xy")
x > 3比x > 2
string.contains("abc"）并不比string.contains("cd")

严格性检查方法当然必须巧妙地逐案实施。

EDIT 2＆amp; 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。

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

1 个答案: