c++ - std::unique_ptr 可以被认为是一个单子吗？

Question

我目前正试图将我的头包裹在单子上。不幸的是，大多数关于该主题的文章都使用 Haskell 没有正确解释符号。然而，由于我主要使用 C++ 进行编程，所以我想在不学习新的编程语言的情况下理解 monad...

根据我在网上收集的信息，monadM是 type 的类型构造函数T，它至少提供以下操作：

• 构造类型的实际方法T
• 用于将任意类型转换为的转换器（在 Haskell 中T显然称为return ）
• 用于将存储的值应用T到函数的组合器（在 Haskell 中f显然称为绑定）

将这些标准应用于 C++，在我看来，这std::unique_ptr可以被视为一个单子。这是真的？

---

我的推理如下：

std::unique_ptr模板用于构造实际类型，因此std::unique_ptr<T>：

• 类型构造函数是std::unique_ptr<T>{}或者std::make_unique<T>()
• 转换器再次将是构造函数或std::make_unique（带有参数......）
• 组合器可以是std::bind(func, pointer.get())，std::bind(func, *pointer)或等效的 lambda

您是否同意，或者对组合器的operator*()/调用是否会.get()取消std::unique_ptr成为 monad 的资格？

---

我明白了，std::unique_ptr用作 monad 可能没有意义，因为它带有所有者语义。我只是想知道，如果它是一个。

标签： c++functional-programmingmonads

Answer 1