Java 可选与 C++ 可选

Question

我是否正确地假设 Java-Optional 与 C++17-optional 没有太多关系？

我了解 Javas Optional 主要来自 Stream-API 中的使用，例如:

Optional<Integer> op  = Optional.empty(); 
op.stream().forEach(System.out::println); 

我知道它也可以用作返回值(与其说是参数)。但是关于这种用法，这不适用于 C++-optional，对吧？

还是又是“Monads”，理解后没人能解释的东西？ C++-optional 实际上是否与 Monad 有任何关系，Java-Streams 也是如此，因此 C++--optional 与 Java-Optional 相当？那么什么是可比较的例子呢？

Answer 1

Java 和 C++(以及许多其他编程语言)中的可选项具有相似的目的 - 表示可能存在或不存在的值。

Java 中的可选项不仅用于流，它们可以(而且应该)以自己的方式使用。话虽如此，在 Java 中，可选值应该仅用作可能返回值或可能不返回值的方法的返回类型。返回 null 值也可以实现同样的效果，但这样就更容易忘记检查返回值。但是 Java 中的可选值不应该只是替换每个实际上可能不存在的对象(例如 Haskell 中的 Maybe)。

我不是 C++ 专家，但看起来 C++ 的 optional 具有大致相同的目的(如果我错了请纠正我)。

我不会在这里解释什么是 monad，但这个概念很简单，我真的不知道为什么那么多人害怕它们。如果您读过任何关于 monad 的文章，您就会知道它们基本上有 2 个操作:创建一个 monadic 值，然后绑定(bind)它(或平面映射它)。

在 Java 中，Optional.of 创建一个可选值，而 Optional.flatMap 则对它进行平面映射。但是这些操作并不完全遵守 monadic 法则，因此纯粹主义者声称 Java 中的可选项不是真正的 monads。

在C++中，你可以使用构造函数或make_optional函数来创建一个optional，所以你有创建的操作。但是我在标准库中找不到bind 或flat_map 函数。如果您愿意，您可以自己编写一个 - 然后如果该函数遵守 monadic 法则，可选的将成为 monad。