用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。