Vavr：可选对象内的 Howto 平面图集合

Question

在不使用 toStream() 的情况下，是否有任何最简单的方法来编写下面的代码？

import io.vavr.collection.List;
import io.vavr.control.Option;
import lombok.Value;

public class VavrDemo {

    public static void main(String[] args) {
        Foo bar = new Foo(List.of(new Bar(1), new Bar(2)));
        Number value = Option.some(bar)
                .toStream()              // <- WTF?!?
                .flatMap(Foo::getBars)
                .map(Bar::getValue)
                .sum();
        System.out.println(value);
    }

    @Value
    static class Foo {
        private List<Bar> bars;
    }

    @Value
    static class Bar {
        private int value;
    }
}

Answer 1

Option 是所谓的 Monad。这只是告诉我们flatMap函数遵循特定的规律，即

让

A、B、C为类型
单元：A -> Monad 一个构造函数

f: A -> Monad, g: B -> Monad 函数

a 是 A 类型的对象

m 是 Monad 类型的对象

那么Monad接口的所有实例都应该遵守Functor laws（此处略）和三个控制法则：

左身份：unit(a).flatMap(f) ≡ f a

正确身份：m.flatMap(unit) ≡ m

关联性：m.flatMap(f).flatMap(g) ≡ m.flatMap(x -> f.apply(x).flatMap(g))

目前 Vavr 有（简体）：

interface Option<T> { Option flatMap(Function<T, Option> mapper) { return isEmpty() ? none() : mapper.apply(get()); } }

此版本遵守 Monad 法则。

无法按照您想要的方式定义仍然遵守 Monad 法则的 Option.flatMap。例如，假设一个 flatMap 版本接受一个带有 Iterable 作为结果的函数。所有的 Vavr 集合都有这样一个 flatMap 方法但是对于 Option 它没有意义：

interface Option<T> { Option flatMap(Function<T, Iterable> mapper) { if (isEmpty()) { return none(); } else { Iterable iterable = mapper.apply(get()); if (isEmpty(iterable)) { return none(); } else { U resultValue = whatToDoWith(iterable); // ??? return some(resultValue); } } } }

看到了吗？我们能做的最好的事情就是只获取 iterable 的一个元素，以防它不为空。除了它没有使用你可能预期的结果（在上面的 VavrTest 中），我们可以证明这个 'phantasy' 版本的 flatMap 确实违反了 Monad 定律。

如果您遇到这种情况，请考虑稍微更改您的调用。例如 VavrTest 可以这样表达：

Number value = Option.some(bar) .map(b -> b.getBars().map(Bar::getValue).sum()) .getOrElse(0);

希望这对您有所帮助，并且上面的 Monad 部分不会完全吓跑您。事实上，开发人员无需了解任何有关 Monad 的知识即可利用 Vavr。

免责声明：我是 Vavr（以前称为：Javaslang）的创建者

Answer 2

使用 .fold() 或 .getOrElse() 怎么样？

Option.some(bar)
    .fold(List::<Bar>empty, Foo::getBars)
    .map(Bar::getValue)
    .sum();

Option.some(bar)
    .map(Foo::getBars)
    .getOrElse(List::empty)
    .map(Bar::getValue)
    .sum();

Vavr：可选对象内的 Howto 平面图集合

Vavr: Howto flatmap collection inside optional object

java

java-stream

vavr