Java 函数式编程：如何将 for 循环中的 if-else 阶梯转换为函数式风格？

Question

期望是从输入列表中派生 3 个列表itemIsBoth，，。如何将下面的代码转换为功能样式？（我知道这段代码在命令式风格中已经足够清晰了，但我想知道声明式风格是否真的无法处理这样一个简单的例子）。谢谢。aItemsbItemsitems

for (Item item: items) {

    if (item.isA() && item.isB()) {

        itemIsBoth.add(item);

    } else if (item.isA()) {

        aItems.add(item);

    } else if (item.isB()){

        bItems.add(item)

    }

}

Answer 1

问题标题相当广泛（转换 if-else 阶梯），但由于实际问题询问的是特定场景，所以让我提供一个示例，至少可以说明可以做什么。因为该if-else结构基于应用于项目的谓词创建了三个不同的列表，所以我们可以将此行为更明确地表达为分组操作。要开箱即用，唯一需要做的额外工作是使用标记对象折叠多个布尔谓词。例如：class Item {&nbsp; &nbsp; enum Category {A, B, AB}&nbsp; &nbsp; public Category getCategory() {&nbsp; &nbsp; &nbsp; &nbsp; return /* ... */;&nbsp; &nbsp; }}那么逻辑可以简单的表达为：Map<Item.Category, List<Item>> categorized =&nbsp;&nbsp; &nbsp; items.stream().collect(Collectors.groupingBy(Item::getCategory));其中每个列表都可以从给定类别的地图中检索。如果无法更改 class Item，则可以通过移动 enum 声明和分类方法使其超出类Item（该方法将成为静态方法）来实现相同的效果。

Answer 2

另一种使用 Vavr 并只对项目列表进行一次迭代的解决方案可以使用以下方法实现foldLeft：list.foldLeft(&nbsp; &nbsp; Tuple.of(List.empty(), List.empty(), List.empty()), //we declare 3 lists for results&nbsp; &nbsp; (lists, item) -> Match(item).of(&nbsp; &nbsp; &nbsp; &nbsp; //both predicates pass, add to first list&nbsp; &nbsp; &nbsp; &nbsp; Case($(allOf(Item::isA, Item::isB)), lists.map1(l -> l.append(item))),&nbsp; &nbsp; &nbsp; &nbsp; //is a, add to second list&nbsp; &nbsp; &nbsp; &nbsp; Case($(Item::isA), lists.map2(l -> l.append(item))),&nbsp; &nbsp; &nbsp; &nbsp; //is b, add to third list&nbsp; &nbsp; &nbsp; &nbsp; Case($(Item::isB), lists.map3(l -> l.append(item)))&nbsp; &nbsp; )));它将返回一个包含三个结果列表的元组。

Answer 3

既然你提到了 vavr 作为标签，我将提供一个使用 vavr 集合的解决方案。import static io.vavr.Predicates.allOf;import static io.vavr.Predicates.not;...final Array<Item> itemIsBoth = items.filter(allOf(Item::isA,&nbsp; &nbsp; &nbsp;Item::isB));final Array<Item> aItems&nbsp; &nbsp; &nbsp;= items.filter(allOf(Item::isA, not(Item::isB)));final Array<Item> bItems&nbsp; &nbsp; &nbsp;= items.filter(allOf(Item::isB, not(Item::isA)));该解决方案的优点是简单易懂，一目了然，而且它的功能与 Java 一样。缺点是它将遍历原始集合三次而不是一次。这仍然是一个O(n)，但乘数为 3。在非关键代码路径和小型集合中，为了代码清晰度而牺牲几个 CPU 周期可能是值得的。当然，这也适用于所有其他 vavr 集合，因此您可以替换Array为List、Vector、Stream等。

Answer 4

摆脱 the 的另一种方法if-else是将它们替换为Predicateand Consumer：Map<Predicate<Item>, Consumer<Item>> actions =&nbsp;&nbsp; Map.of(item.predicateA(), aItems::add, item.predicateB(), bItems::add);actions.forEach((key, value) -> items.stream().filter(key).forEach(value));因此，您需要增强Item这两种方法predicateA()并使用您在和predicateB()中实现的逻辑isA()isB()顺便说一句，我仍然建议使用你的if-else逻辑。

Answer 5

当然可以。功能方式是使用声明方式。在数学上你正在设置一个Equivalence relation，然后，你可以写Map<String, List<Item>> ys = xs&nbsp; &nbsp; .stream()&nbsp; &nbsp; .collect(groupingBy(x -> here your equivalence relation))一个简单的例子说明了这一点public class Main {&nbsp; &nbsp; static class Item {&nbsp; &nbsp; &nbsp; &nbsp; private final boolean a;&nbsp; &nbsp; &nbsp; &nbsp; private final boolean b;&nbsp; &nbsp; &nbsp; &nbsp; Item(boolean a, boolean b) {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; this.a = a;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; this.b = b;&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; &nbsp; &nbsp; public boolean isB() {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return b;&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; &nbsp; &nbsp; public boolean isA() {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return a;&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; }&nbsp; &nbsp; public static void main(String[] args) {&nbsp; &nbsp; &nbsp; &nbsp; List<Item> xs = asList(new Item(true, true), new Item(true, true), new Item(false, true));&nbsp; &nbsp; &nbsp; &nbsp; Map<String, List<Item>> ys = xs.stream().collect(groupingBy(x -> x.isA() + "," + x.isB()));&nbsp; &nbsp; &nbsp; &nbsp; ys.entrySet().forEach(System.out::println);&nbsp; &nbsp; }}带输出true,true=[com.foo.Main$Item@64616ca2, com.foo.Main$Item@13fee20c]false,true=[com.foo.Main$Item@4e04a765]