标准库标头 <expected> (C++23)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

标准库头

语言支持 <cfloat> <climits> <compare>(C++20) <contracts>(C++26) <coroutine>(C++20) <csetjmp> <csignal> <cstdarg> <cstddef> <cstdint>(C++11) <cstdlib> <exception> <initializer_list>(C++11)    <limits> <new> <source_location>(C++20) <stdfloat>(C++23) <typeinfo> <version>(C++20) 概念 <concepts>(C++20) 诊断 <cassert> <cerrno> <debugging>(C++26) <stacktrace>(C++23) <stdexcept> <system_error>(C++11) 内存管理 <memory> <memory_resource>(C++17) <scoped_allocator>(C++11) 元编程 <type_traits>(C++11) <ratio>(C++11)

通用工具 <any>(C++17) <bitset> <bit>(C++20) <charconv>(C++17) <expected>(C++23) <format>(C++20) <functional> <optional>(C++17) <stdbit.h>(C++26) <tuple>(C++11) <typeindex>(C++11) <utility> <variant>(C++17) 容器 <array>(C++11) <deque> <flat_map>(C++23) <flat_set>(C++23) <forward_list>(C++11) <hive>(C++26) <inplace_vector>(C++26)    <list> <map> <mdspan>(C++23) <queue> <set> <span>(C++20) <stack> <unordered_map>(C++11) <unordered_set>(C++11) <vector> 迭代器 <iterator> 范围 <generator>(C++23) <ranges>(C++20)

算法 <algorithm> <numeric> 字符串 <cctype> <cstring> <cuchar>(C++11) <cwchar> <cwctype> <string_view>(C++17) <string> 文本处理 <clocale> <codecvt>(C++11/17/26*) <locale> <regex>(C++11) <text_encoding>(C++26)    cpp/header#数值库数值 <cfenv>(C++11) <cmath> <complex> <linalg>(C++26) <numbers>(C++20) <random>(C++11) <simd>(C++26) <stdckdint.h>(C++26) <valarray> 时间 <chrono>(C++11) <ctime> C 兼容性 <ccomplex>(C++11/17/20*) <ciso646>(C++20 前) <cstdalign>(C++11/17/20*) <cstdbool>(C++11/17/20*) <ctgmath>(C++11/17/20*)

输入/输出 <cinttypes>(C++11) <cstdio> <filesystem>(C++17) <fstream> <iomanip> <iosfwd> <iostream> <ios> <istream> <ostream> <print>(C++23) <spanstream>(C++23) <sstream> <streambuf> <strstream>(C++98/26*) <syncstream>(C++20) 并发支持 <atomic>(C++11) <barrier>(C++20) <condition_variable>(C++11) <future>(C++11) <hazard_pointer>(C++26) <latch>(C++20) <mutex>(C++11) <rcu>(C++26) <semaphore>(C++20) <shared_mutex>(C++14) <stdatomic.h>(C++23) <stop_token>(C++20) <thread>(C++11) 执行支持 <execution>(C++17)

 

此标头是工具库的一部分。

类
expected (C++23)	含有一个预期值或错误值的包装器 (类模板)
unexpected (C++23)	表示一个非预期值 (类模板)
bad_expected_access (C++23)	指示对含有非预期值的 expected 的有检查访问的异常 (类模板)
unexpect_tunexpect (C++23)	expected 中非预期值的原位构造标签 (类)(常量)

概要

namespace std {// 类模板 unexpectedtemplate<class E>class unexpected;   // 类模板 bad_expected_accesstemplate<class E>class bad_expected_access   // bad_expected_access 的 void 特化template<>class bad_expected_access<void>;   // unexpected 值的原地构造struct unexpect_t {explicit unexpect_t()=default;};inlineconstexpr unexpect_t unexpect{};   // 类模板 expectedtemplate<class T, class E>class expected;   // expected 的 void 类型的部分特化template<class T, class E> requires is_void_v<T>class expected<T, E>;}

类模板 std::unexpected

namespace std {template<class E>class unexpected {public:// 构造constexpr unexpected(const unexpected&)=default;constexpr unexpected(unexpected&&)=default;template<class... Args>constexprexplicit unexpected(in_place_t, Args&&...);template<class U, class... Args>constexprexplicit unexpected(in_place_t, initializer_list<U>, Args&&...);template<class Err = E>constexprexplicit unexpected(Err&&);   // 赋值constexpr unexpected& operator=(const unexpected&)=default;constexpr unexpected& operator=(unexpected&&)=default;   // 观察器constexprconst E& error()const&noexcept;constexpr E& error()&noexcept;constexprconst E&& error()const&&noexcept;constexpr E&& error()&&noexcept;   // 交换constexprvoid swap(unexpected& other)noexcept(/* 见说明 */);   friendconstexprvoid swap(unexpected& x, unexpected& y)noexcept(noexcept(x.swap(y)));   // 相等运算template<class E2>friendconstexprbool operator==(const unexpected&, const unexpected<E2>&);   private: E unex;// 仅用于阐释};   template<class E> unexpected(E)-> unexpected<E>;}

类模板 std::bad_expected_access

namespace std {template<class E>class bad_expected_access :public bad_expected_access<void>{public:   // 显式构造explicit bad_expected_access(E);   // 观察器constchar* what()constnoexcept override; E& error()&noexcept;const E& error()const&noexcept; E&& error()&&noexcept;const E&& error()const&&noexcept;   private: E unex;// 仅用于阐释};}

类模板特化 std::bad_expected_access<void>

namespace std {template<>class bad_expected_access<void>:public exception {protected:// 构造 bad_expected_access()noexcept; bad_expected_access(const bad_expected_access&); bad_expected_access(bad_expected_access&&); bad_expected_access& operator=(const bad_expected_access&); bad_expected_access& operator=(bad_expected_access&&);   ~bad_expected_access();   public:constchar* what()constnoexcept override;};}

类模板 std::expected

namespace std {template<class T, class E>class expected {public:using value_type = T;using error_type = E;using unexpected_type = unexpected<E>;   template<class U>using rebind = expected<U, error_type>;   // 构造constexpr expected();constexprexplicit(/* 见说明 */) expected(const expected&);constexprexplicit(/* 见说明 */) expected(expected&&)noexcept(/* 见说明 */);template<class U, class G>constexprexplicit(/* 见说明 */) expected(const expected<U, G>&);template<class U, class G>constexprexplicit(/* 见说明 */) expected(expected<U, G>&&);   template<class U = remove_cv_t<T>>constexprexplicit(/* 见说明 */) expected(U&& v);   template<class G>constexpr expected(const unexpected<G>&);template<class G>constexpr expected(unexpected<G>&&);   template<class... Args>constexprexplicit expected(in_place_t, Args&&...);template<class U, class... Args>constexprexplicit expected(in_place_t, initializer_list<U>, Args&&...);template<class... Args>constexprexplicit expected(unexpect_t, Args&&...);template<class U, class... Args>constexprexplicit expected(unexpect_t, initializer_list<U>, Args&&...);   // 析构constexpr ~expected();   // 赋值constexpr expected& operator=(const expected&);constexpr expected& operator=(expected&&)noexcept(/* 见说明 */);template<class U = remove_cv_t<T>>constexpr expected& operator=(U&&);template<class G>constexpr expected& operator=(const unexpected<G>&);template<class G>constexpr expected& operator=(unexpected<G>&&);   template<class... Args>constexpr T& emplace(Args&&...)noexcept;template<class U, class... Args>constexpr T& emplace(initializer_list<U>, Args&&...)noexcept;   // 交换constexprvoid swap(expected&)noexcept(/* 见说明 */);friendconstexprvoid swap(expected&, expected&)noexcept(/* 见说明 */);   // 观察器constexprconst T* operator->()constnoexcept;constexpr T* operator->()noexcept;constexprconst T& operator*()const&noexcept;constexpr T& operator*()&noexcept;constexprconst T&& operator*()const&&noexcept;constexpr T&& operator*()&&noexcept;constexprexplicit operator bool()constnoexcept;constexprbool has_value()constnoexcept;constexprconst T& value()const&;constexpr T& value()&;constexprconst T&& value()const&&;constexpr T&& value()&&;constexprconst E& error()const&;constexpr E& error()&;constexprconst E&& error()const&&;constexpr E&& error()&&;template<class U = remove_cv_t<T>>constexpr T value_or(U&&)const&;template<class U = remove_cv_t<T>>constexpr T value_or(U&&)&&;template<class G = E>constexpr E error_or(G&&)const&;template<class G = E>constexpr E error_or(G&&)&&;   // 单子操作template<class F>constexprauto and_then(F&& f)&;template<class F>constexprauto and_then(F&& f)&&;template<class F>constexprauto and_then(F&& f)const&;template<class F>constexprauto and_then(F&& f)const&&;template<class F>constexprauto or_else(F&& f)&;template<class F>constexprauto or_else(F&& f)&&;template<class F>constexprauto or_else(F&& f)const&;template<class F>constexprauto or_else(F&& f)const&&;template<class F>constexprauto transform(F&& f)&;template<class F>constexprauto transform(F&& f)&&;template<class F>constexprauto transform(F&& f)const&;template<class F>constexprauto transform(F&& f)const&&;template<class F>constexprauto transform_error(F&& f)&;template<class F>constexprauto transform_error(F&& f)&&;template<class F>constexprauto transform_error(F&& f)const&;template<class F>constexprauto transform_error(F&& f)const&&;   // 相等运算template<class T2, class E2> requires (!is_void_v<T2>)friendconstexprbool operator==(const expected& x, const expected<T2, E2>& y);template<class T2>friendconstexprbool operator==(const expected&, const T2&);template<class E2>friendconstexprbool operator==(const expected&, const unexpected<E2>&);   private:bool has_val;// 仅用于解释union{ T val;// 仅用于解释 E unex;// 仅用于解释};};}

std::expected 的 void 类型的部分特化

namespace std {template<class T, class E> requires is_void_v<T>class expected<T, E>{public:using value_type = T;using error_type = E;using unexpected_type = unexpected<E>;   template<class U>using rebind = expected<U, error_type>;   // 构造constexpr expected()noexcept;constexprexplicit(/* 见说明 */) expected(const expected&);constexprexplicit(/* 见说明 */) expected(expected&&)noexcept(/* 见说明 */);template<class U, class G>constexprexplicit(/* 见说明 */) expected(const expected<U, G>&);template<class U, class G>constexprexplicit(/* 见说明 */) expected(expected<U, G>&&);   template<class G>constexpr expected(const unexpected<G>&);template<class G>constexpr expected(unexpected<G>&&);   constexprexplicit expected(in_place_t)noexcept;template<class... Args>constexprexplicit expected(unexpect_t, Args&&...);template<class U, class... Args>constexprexplicit expected(unexpect_t, initializer_list<U>, Args&&...);   // 析构constexpr ~expected();   // 赋值constexpr expected& operator=(const expected&);constexpr expected& operator=(expected&&)noexcept(/* 见说明 */);template<class G>constexpr expected& operator=(const unexpected<G>&);template<class G>constexpr expected& operator=(unexpected<G>&&);constexprvoid emplace()noexcept;   // 交换constexprvoid swap(expected&)noexcept(/* 见说明 */);friendconstexprvoid swap(expected&, expected&)noexcept(/* 见说明 */);   // 观察器constexprexplicit operator bool()constnoexcept;constexprbool has_value()constnoexcept;constexprvoid operator*()constnoexcept;constexprvoid value()const&;constexprvoid value()&&;constexprconst E& error()const&;constexpr E& error()&;constexprconst E&& error()const&&;constexpr E&& error()&&;   // 单子操作template<class F>constexprauto and_then(F&& f)&;template<class F>constexprauto and_then(F&& f)&&;template<class F>constexprauto and_then(F&& f)const&;template<class F>constexprauto and_then(F&& f)const&&;template<class F>constexprauto or_else(F&& f)&;template<class F>constexprauto or_else(F&& f)&&;template<class F>constexprauto or_else(F&& f)const&;template<class F>constexprauto or_else(F&& f)const&&;template<class F>constexprauto transform(F&& f)&;template<class F>constexprauto transform(F&& f)&&;template<class F>constexprauto transform(F&& f)const&;template<class F>constexprauto transform(F&& f)const&&;template<class F>constexprauto transform_error(F&& f)&;template<class F>constexprauto transform_error(F&& f)&&;template<class F>constexprauto transform_error(F&& f)const&;template<class F>constexprauto transform_error(F&& f)const&&;   // 相等运算template<class T2, class E2> requires is_void_v<T2>friendconstexprbool operator==(const expected& x, const expected<T2, E2>& y);template<class E2>friendconstexprbool operator==(const expected&, const unexpected<E2>&);   private:bool has_val;// 仅用于解释union{ E unex;// 仅用于解释};};}