java - Vavr:可选对象内的 Howto 平面 map 集合

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

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

让

• A、B、C 为类型
• 单元:A -> Monad 构造函数
• f: A -> Monad, g:B -> Monad 函数
• a 是 A 类型的对象
• m 是 Monad 类型的对象

那么 Monad 接口(interface)的所有实例都应该遵守仿函数定律(这里略)和三个控制定律:

• 左恒等式: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> {
    <U> Option<U> flatMap(Function<T, Option<U>> mapper) {
        return isEmpty() ? none() : mapper.apply(get());
    }
}

此版本遵守 Monad 定律。

不可能按照您想要的方式定义仍然遵守 Monad 定律的 Option.flatMap。例如，想象一个 flatMap 版本接受一个带有 Iterable 作为结果的函数。所有 Vavr 集合都有这样的 flatMap 方法，但对于 Option 来说它没有意义:

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

你看到了吗？我们能做的最好的事情就是只获取可迭代对象的一个​​元素，以防它不为空。除了它没有给出您可能期望的结果(在上面的 VavrTest 中)，我们可以证明这个“幻想”版本的 flatMap 确实违反了 Monad 定律。

如果您遇到这种情况，请考虑稍微改变一下您的调用。例如 VavrTest 可以这样表示:

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

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

免责声明:我是 Vavr(以前:Javaslang)的创建者