用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。您可以使用谷歌番石榴的新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。