C++使用expected实现优雅的错误处理

更新时间：2023年06月13日 10:29:08 作者：L_B__

C++ 中提供了很多中方式进行错误处理。无论是通过抛异常还是通过错误码，标准库都提供相应的调用，今天本文为大家介绍的是使用expected进行错误处理，感兴趣的可以了解一下

使用expected进行错误处理

C++ 中提供了很多中方式进行错误处理。无论是通过抛异常还是通过错误码，标准库都提供相应的调用。

通过 try catch 以抛出异常的方式进行处理，这种方式很多人会觉得看起来可读性很差（包括我），并且由于缺少异常规约（某些异常必须捕获），容易出现 bug，而且异常的传递很多时候可能伴随动态分配内存，这是一笔不小的开销。
通过 error_code 作为返回值判断，这种方式虽然看似简单易用，但是由于 C++ 中并未对 error_code 作过多的规范，使用起来并不方便，很多时候还是倾向于自定义一些枚举作为自己的 error_code，但是由于缺少多返回值的语法（当然如果C++版本比较高可用使用tuple以及解构的语法实现），如果把错误码作为返回值，那么原本的数据返回就只能函数参数传递引用的形式返回了。当然，如果不考虑函数返回值的具体错误信息，可以使用 C++17 的 optional 。

由于 optional 无法包含具体的错误信息，expected 横空出世，在 C++23 开始纳入标准。如果你的C++版本较低，可以使用第三方开源的 expected 库：github.com/TartanLlama/expected

下面我会以一个例子把第三方库中的 expected 库的使用方式介绍给大家。

expected 使用实例

由于该第三方库是 head-only 的，所以你只需要进到GitHub仓库把对应的头文件复制过来，便可引入使用。

下面是示例代码，样例是 cppreference 中的。

#include "expected.h"
#include <iomanip>
#include <iostream>
#include <string>

enum class parse_error
{
    invalid_input,
    overflow
};

tl::expected<double, parse_error> parse_number(std::string_view& str)
{
    const char* begin = str.data();
    char* end;
    double retval = std::strtod(begin, &end);

    if (begin == end)
        return tl::unexpected(parse_error::invalid_input);
    else if (std::isinf(retval))
        return tl::unexpected(parse_error::overflow);

    str.remove_prefix(end - begin);
    return retval;
}

int main()
{
    auto process = [](std::string_view str) {
        std::cout << "str: " << std::quoted(str) << ", ";
        if (const auto num = parse_number(str); num)
        {
            std::cout << "value: " << *num << '\n';
            // If num did not have a value, dereferencing num
            // would cause an undefined behavior, and
            // num.value() would throw std::bad_expected_access.
            // num.value_or(123) uses specified default value 123.
        }
        else if (num.error() == parse_error::invalid_input)
        {
            std::cout << "error: invalid input\n";
        }
        else if (num.error() == parse_error::overflow)
        {
            std::cout << "error: overflow\n";
        }
        else
        {
            std::cout << "unexpected!\n";// or invoke std::unreachable();
        }
    };

    for (auto src : {"42", "42abc", "meow", "inf"})
        process(src);
}

上面的代码如果想要跑通，情确保C++版本至少是C++17，因为其中用到了 string_view 以及更智能的自动类型推导（如果低于这个帮会导致unexpected需要指定明确的error类型）。

函数式的接口

and_then：传入一个回调，在没有错误的时候调用，该回调的返回值是新的 expected 值（可以控制err）。如果有错误返回原 expected 值。
or_else：传入一个回调，在有错误的时候调用，该回调的返回值是新的 expected 值（可以控制err），并且回调的参数是对应的错误类型。如果没有错误返回原 expected 值。
transform/map：transform 是C++23标准中规定的接口，而该第三方库作者又实现了一个名为map的接口，这两者效果是一致的。传入一个回调，在没有错误的时候调用，回调的参数和返回值都不牵扯 expected 值，只是作值的变换，所以无法控制新的 expected 的 err 值。如果有错误则返回原 expected 值。
transform_error/map_error：同上，但回调的调用时机和参数于 or_else 相同，但是需要注意的是，回调的返回值并不具备任何效用，也就是说如果 transform_error 中的回调被调用，那么返回的仍然是原本包含错误信息的 expected 值。

简单示例如下：

#include "expected.h"
#include <iostream>
#include <string>

enum class parse_error
{
    invalid_input,
    overflow
};

tl::expected<double, parse_error> parse_number(std::string_view& str)
{
    const char* begin = str.data();
    char* end;
    double retval = std::strtod(begin, &end);

    if (begin == end)
        return tl::unexpected(parse_error::invalid_input);
    else if (std::isinf(retval))
        return tl::unexpected(parse_error::overflow);

    str.remove_prefix(end - begin);
    return retval;
}

int main()
{
    auto sv = std::string_view{"0"};
    auto result = parse_number(sv)
                      .and_then([](double x) {
                          return tl::expected<double, parse_error>(x + 1);
                      })
                      .map([](double x) {
                          return x + 1;
                      })
                      .transform([](double x) {
                          return x + 1;
                      });
    if (result)
        std::cout << *result << "\n";
    auto result2 = parse_number(sv)
                       .and_then([](double x) {
                           //自己构造了一个错误
                           tl::expected<double, parse_error> ret = tl::unexpected<parse_error>(parse_error::invalid_input);
                           return ret;
                       })
                       .or_else([](parse_error err) {
                           if (err == parse_error::invalid_input)
                           {
                               std::cout << "invalid error\n";
                           }
                           //自己构造了一个错误
                           tl::expected<double, parse_error> ret = tl::unexpected<parse_error>(parse_error::overflow);
                           return ret;
                       })
                       .transform_error([](parse_error err) {
                           if (err == parse_error::overflow)
                           {
                               std::cout << "overflow error\n";
                           }
                           return 32432.4324;
                       }).map([](double x){
                           return x+1;
                       });
    if (result2)
    {
        std::cout << *result2;
    }
}

到此这篇关于C++使用expected实现优雅的错误处理的文章就介绍到这了,更多相关C++错误处理内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

数据结构之链式二叉树详解
所谓二叉树遍历 (Traversal) 是按照某种特定的规则，依次对二叉树中的节点进行相应的操作，并且每个节点只操作一次。本文通过代码示例详细介绍了C语言中的链式二叉树，需要的朋友可以参考一下
2023-04-04
浅谈C语言中strcpy,strcmp,strlen,strcat函数原型
下面小编就为大家带来一篇浅谈C语言中strcpy,strcmp,strlen,strcat函数原型。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧
2017-04-04
C字符串操作函数实现方法小结
这篇文章主要介绍了C字符串操作函数实现方法,实例总结了C语言字符串操作的相关技巧,非常具有实用价值,需要的朋友可以参考下
2015-04-04
C++内联函数详情
这篇文章主要介绍了C++内联函数，文章主要围绕C++内联函数的相关资料展开详细内容,需要的朋友可以参考一下，希望对大家有所帮助
2021-11-11
C语言详细解析有符号数与无符号数的表示
我们知道，在C语言中存在无符号数和有符号数，但是对于计算机而言，其本身并不区别有符号数和无符号数，因为在计算机里面都是O或者1，但是在我们的实际使用中有时候需要使用有符号数来表示一个整数，因此我们规定，当最高位为1的时，表示为负数，最高位为0时，表示为正数
2022-04-04
C语言实现一个通讯录
这篇文章主要为大家详细介绍了用C语言实现一个通讯录，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2018-02-02
C++数据结构AVL树全面分析
今天的这一篇博客，我要跟大家介绍一颗树——AVL树，它也是一颗二叉搜索树，它就是在二叉搜索树中加了一个平衡因子的概念在里面，下面我就来和大家聊一聊这棵树是个怎么样的树
2021-10-10
C++设计模式编程中使用Bridge桥接模式的完全攻略
这篇文章主要介绍了C++设计模式编程中使用Bridge桥接模式的完全攻略,Bridge将抽象部分与它的实现部分分离,使它们都可以独立地变化需要的朋友可以参考下
2016-03-03
在C++中实现高效的数组原地轮转的方法总结
在 C++ 中,可以通过多种方式实现数组的轮转操作,以下是几种常见的实现方法及其对应的代码示例,文中通过代码示例介绍的非常详细,具有一定的参考价值,需要的朋友可以参考下
2025-04-04
C语言实现24位彩色图像二值化
这篇文章主要为大家详细介绍了C语言实现24位彩色图像二值化，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2021-10-10