4

是否有任何最简单的方法可以在下面编写此代码，而不使用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;
    }
}
4

2 回答 2

15

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

让

  • A、B、C 是类型
  • 单位：A -> Monad<A> 一个构造函数
  • f: A -> Monad<B>, g: B -> Monad<C> 函数
  • a 是类型 A 的对象
  • m 是 Monad<A> 类型的对象

那么 Monad 接口的所有实例都应该遵守 Functor 定律（这里省略）和三个控制定律：

  • 左身份：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 部分不会完全吓跑你。事实上，开发人员不需要了解任何有关 Monads 的知识就可以利用 Vavr。

免责声明：我是 Vavr（原名：Javaslang）的创建者

于 2017-09-14T19:24:34.997 回答
1

使用.fold()or怎么样.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();
于 2021-09-07T21:50:54.243 回答