快捷導(dǎo)航

C++使用expected實(shí)現(xiàn)優(yōu)雅的錯(cuò)誤處理

更新時(shí)間：2023年06月13日 10:29:08 作者：L_B__

C++ 中提供了很多中方式進(jìn)行錯(cuò)誤處理。無(wú)論是通過(guò)拋異常還是通過(guò)錯(cuò)誤碼，標(biāo)準(zhǔn)庫(kù)都提供相應(yīng)的調(diào)用，今天本文為大家介紹的是使用expected進(jìn)行錯(cuò)誤處理，感興趣的可以了解一下

使用expected進(jìn)行錯(cuò)誤處理

C++ 中提供了很多中方式進(jìn)行錯(cuò)誤處理。無(wú)論是通過(guò)拋異常還是通過(guò)錯(cuò)誤碼，標(biāo)準(zhǔn)庫(kù)都提供相應(yīng)的調(diào)用。

通過(guò) try catch 以拋出異常的方式進(jìn)行處理，這種方式很多人會(huì)覺(jué)得看起來(lái)可讀性很差（包括我），并且由于缺少異常規(guī)約（某些異常必須捕獲），容易出現(xiàn) bug，而且異常的傳遞很多時(shí)候可能伴隨動(dòng)態(tài)分配內(nèi)存，這是一筆不小的開(kāi)銷。
通過(guò) error_code 作為返回值判斷，這種方式雖然看似簡(jiǎn)單易用，但是由于 C++ 中并未對(duì) error_code 作過(guò)多的規(guī)范，使用起來(lái)并不方便，很多時(shí)候還是傾向于自定義一些枚舉作為自己的 error_code，但是由于缺少多返回值的語(yǔ)法（當(dāng)然如果C++版本比較高可用使用tuple以及解構(gòu)的語(yǔ)法實(shí)現(xiàn)），如果把錯(cuò)誤碼作為返回值，那么原本的數(shù)據(jù)返回就只能函數(shù)參數(shù)傳遞引用的形式返回了。當(dāng)然，如果不考慮函數(shù)返回值的具體錯(cuò)誤信息，可以使用 C++17 的 optional 。

由于 optional 無(wú)法包含具體的錯(cuò)誤信息，expected 橫空出世，在 C++23 開(kāi)始納入標(biāo)準(zhǔn)。如果你的C++版本較低，可以使用第三方開(kāi)源的 expected 庫(kù)：github.com/TartanLlama/expected

下面我會(huì)以一個(gè)例子把第三方庫(kù)中的 expected 庫(kù)的使用方式介紹給大家。

expected 使用實(shí)例

由于該第三方庫(kù)是 head-only 的，所以你只需要進(jìn)到GitHub倉(cāng)庫(kù)把對(duì)應(yīng)的頭文件復(fù)制過(guò)來(lái)，便可引入使用。

下面是示例代碼，樣例是 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，因?yàn)槠渲杏玫搅?string_view 以及更智能的自動(dòng)類型推導(dǎo)（如果低于這個(gè)幫會(huì)導(dǎo)致unexpected需要指定明確的error類型）。

函數(shù)式的接口

and_then：傳入一個(gè)回調(diào)，在沒(méi)有錯(cuò)誤的時(shí)候調(diào)用，該回調(diào)的返回值是新的 expected 值（可以控制err）。如果有錯(cuò)誤返回原 expected 值。
or_else：傳入一個(gè)回調(diào)，在有錯(cuò)誤的時(shí)候調(diào)用，該回調(diào)的返回值是新的 expected 值（可以控制err），并且回調(diào)的參數(shù)是對(duì)應(yīng)的錯(cuò)誤類型。如果沒(méi)有錯(cuò)誤返回原 expected 值。
transform/map：transform 是C++23標(biāo)準(zhǔn)中規(guī)定的接口，而該第三方庫(kù)作者又實(shí)現(xiàn)了一個(gè)名為map的接口，這兩者效果是一致的。傳入一個(gè)回調(diào)，在沒(méi)有錯(cuò)誤的時(shí)候調(diào)用，回調(diào)的參數(shù)和返回值都不牽扯 expected 值，只是作值的變換，所以無(wú)法控制新的 expected 的 err 值。如果有錯(cuò)誤則返回原 expected 值。
transform_error/map_error：同上，但回調(diào)的調(diào)用時(shí)機(jī)和參數(shù)于 or_else 相同，但是需要注意的是，回調(diào)的返回值并不具備任何效用，也就是說(shuō)如果 transform_error 中的回調(diào)被調(diào)用，那么返回的仍然是原本包含錯(cuò)誤信息的 expected 值。

簡(jiǎn)單示例如下：

#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) {
                         ? //自己構(gòu)造了一個(gè)錯(cuò)誤
                         ? 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";
                         ? }
                         ? //自己構(gòu)造了一個(gè)錯(cuò)誤
                         ? 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;
    }
}

到此這篇關(guān)于C++使用expected實(shí)現(xiàn)優(yōu)雅的錯(cuò)誤處理的文章就介紹到這了,更多相關(guān)C++錯(cuò)誤處理內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: