主页 / coding / 问题 / 79202756
Accepted
David
Asked: 2024-11-19 17:04:23 +0800 CST

为什么 std::expected<void, Error> 中没有单子运算

  • 772

我建模了一个返回实例的函数std::expected<void, Error>- 我告诉自己“我可以使用新标准，因此我将据此设计我的库” - 并且我非常肯定有良好而具体的错误处理。现在事实证明，所有单子操作都只适用std::expected于非 void 项。即使 void 有专门化，单子操作也不可用。我理解or_else需要返回值 - 但是 void 有专门化，那么为什么这不起作用呢？

std::expected<void, Error> fun (int);

fun (19).and_then ([]() { doSomething(); }).or_else ([] (Error e) { std::println ("Uh oh error.."); });

得出：

/usr/include/c++/14.2.1/expected:1586:37: error: static assertion failed
 1586 |           static_assert(__expected::__is_expected<_Up>);
      |                         ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/expected:1586:37: note: ‘std::__expected::__is_expected<void>’ evaluates to false
/usr/include/c++/14.2.1/expected:1587:25: error: ‘std::remove_cvref<void>::type’ {aka ‘void’} is not a class, struct, or union type
 1587 |           static_assert(is_same_v<typename _Up::error_type, _Er>);
      |                         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/expected:1592:20: error: expression list treated as compound expression in functional cast [-fpermissive]
 1592 |             return _Up(unexpect, std::move(_M_unex));
      |                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/david/tests/cpp/src/expect.cpp: In function ‘int main()’:
/home/david/tests/cpp/src/expect.cpp:49:26: error: invalid use of ‘void’

这里有什么问题？这个功能只完成了一半（因此标准不完整）还是我误解了它的意义？

c++

2 个回答

  1. Best Answer

    问题在于，可调用函数and_then和or_else需要返回一个专门化函数，std::expected才能使链接工作。您的 lambda 函数不需要。

    如果fun要返回意外结果（错误），and_then则不会调用可调用函数，但它需要将错误转发到unexpectedlambda 返回的同一类型中。因此，lambdaand_then应该返回std::unexpected<..., Error>。您可以选择希望 lambda 返回的任何“预期”类型，只要它是相同的类型即可。当然，Error您可以坚持下去。void

    fun (19).and_then ([]() { doSomething(); return std::expected<void, Error>(); })

    相反，回调函数or_else可以选择不同的错误类型，但需要在其返回的std::expected特化中保留预期的类型。但总的来说，相同的处理应该有效。

    fun (19).and_then ([]() { 
          doSomething();
          return std::expected<void, Error>();
}).or_else ([] (Error e) { 
          std::println ("Uh oh error..");
          return std::expected<void, Error>();
});

    注意我选择接受or_else错误并返回一个std::expected值。当然，您也可以选择转发错误。

    ...
.or_else ([] (Error e) { 
          std::println ("Uh oh error..");
          return std::expected<void, Error>(std::unexpect, e);
});
    • 12

  2. 尽管上面已经回答了这个问题，但让我补充一点transform，transform_error这可能正是您对库函数的期望。

    fun(19).transform([]() { doSomething(); }).transform_error([](Error e) {
    std::println("Uh oh error..");
    return e;
});

    monad 和 functor 之间是有区别的。

    • and_then并or_else以单子形式表现。and_then接受一个函数T -> std::expected<U, E>并从转换std::expected<T, E>为std::expected<U, E>
    • transform并transform_error表现得像函子。transform接受一个函数T -> U并从 转换std::expected<T, E>为std::expected<U, E>。

    有趣的是，根据我的测试，transform_errorcannot have U = voidif不是 void。monadic 变体更具表现力，因为您可以返回不同的结果，例如，每当内部出现问题时，就返回意外的变体。Tand_then

    • 9

相关问题