std::expected<T,E>::expected

来自cppreference.com
< cpp‎ | utility‎ | expected
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
 
主模板
constexpr expected();
(1) (C++23 起)
constexpr expected( const expected& other );
(2) (C++23 起)
constexpr expected( expected&& other ) noexcept(/* 见下文 */);
(3) (C++23 起)
template< class U, class G >
constexpr expected( const expected<U, G>& other );
(4) (C++23 起)
(条件性 explicit)
template< class U, class G >
constexpr expected( expected<U, G>&& other );
(5) (C++23 起)
(条件性 explicit)
template< class U = T >
constexpr explicit(!std::is_convertible_v<U, T>) expected( U&& v );
(6) (C++23 起)
template< class G >

constexpr explicit(!std::is_convertible_v<const G&, E>)

    expected( const std::unexpected<G>& e );
(7) (C++23 起)
template< class G >

constexpr explicit(!std::is_convertible_v<G, E>)

    expected( std::unexpected<G>&& e );
(8) (C++23 起)
template< class... Args >
constexpr explicit expected( std::in_place_t, Args&&... args );
(9) (C++23 起)
template< class U, class... Args >

constexpr explicit
    expected( std::in_place_t,

              std::initializer_list<U> il, Args&&... args );
(10) (C++23 起)
template< class... Args >
constexpr explicit expected( std::unexpect_t, Args&&... args );
(11) (C++23 起)
template< class U, class... Args >

constexpr explicit expected( std::unexpect_t,

                             std::initializer_list<U> il, Args&&... args );
(12) (C++23 起)
void 部分特化
constexpr expected();
(13) (C++23 起)
constexpr expected( const expected& other );
(14) (C++23 起)
constexpr expected( expected&& other )
    noexcept(std::is_nothrow_move_constructible_v<E>);
(15) (C++23 起)
template< class U, class G >

constexpr explicit(!std::is_convertible_v<const G&, E>)

    expected( const expected<U, G>& other );
(16) (C++23 起)
template< class U, class G >

constexpr explicit(!std::is_convertible_v<G, E>)

    expected( expected<U, G>&& other );
(17) (C++23 起)
template< class G >

constexpr explicit(!std::is_convertible_v<const G&, E>)

    expected( const std::unexpected<G>& e );
(18) (C++23 起)
template< class G >

constexpr explicit(!std::is_convertible_v<G, E>)

    expected( std::unexpected<G>&& e );
(19) (C++23 起)
template< class... Args >
constexpr explicit expected( std::in_place_t );
(20) (C++23 起)
template< class... Args >
constexpr explicit expected( std::unexpect_t, Args&&... args );
(21) (C++23 起)
template< class U, class... Args >

constexpr explicit expected( std::unexpect_t,

                             std::initializer_list<U> il, Args&&... args );
(22) (C++23 起)

构造新的 expected 对象。

参数

other - 另一个 expected 对象,它包含的值会被复制
e - std::unexpected 对象,它包含的值会被复制
v - 用来初始化包含值的值
args - 用来初始化包含值的实参
il - 用来初始化包含值的初始化器列表

效果

主模板构造函数

 重载   初始化方式  预期值的初始化器 非预期值的初始化器 构造后的 has_value()
(1) 值初始化 (空) - true
(2) (非列表)
直接初始化
*other other.error() other.has_value()
  • true 时只会初始化预期值。
  • false 时只会初始化非预期值。
(3) std::move(*other) std::move(other.error())
(4) std::forward<const U&>
    (*other)
std::forward<const G&>
    (other.error())
(5) std::forward<U>(*other) std::forward<G>
    (other.error())
(6) std::forward<U>(v) - true
(7) - std::forward<const G&>
    (e.error())
false
(8) std::forward<G>(e.error())
(9) std::forward<Args>(args)... - true
(10) il,
std::forward<Args>(args)...
(11) - std::forward<Args>(args)... false
(12) il,
std::forward<Args>(args)...

void 部分特化构造函数

 重载  初始化方式 非预期值的初始化器 构造后的 has_value()
(13) 不适用 - true
(14) (非列表)直接初始化  rhs.error() other.has_value()
  • false 时会初始化非预期值。
(15) std::move(rhs.error)
(16) std::forward<const G&>(rhs.error())
(17) std::forward<G>(rhs.error())
(18) std::forward<const G&>(e.error()) false
(19) std::forward<G>(e.error())
(20) 不适用 - true
(21) (非列表)直接初始化 std::forward<Args>(args)... false
(22) il, std::forward<Args>(args)...

约束和补充信息

主模板构造函数

1) 此重载只有在 std::is_default_constructible_v<T>true 时才会参与重载决议。
2) 此构造函数被定义为弃置,除非 std::is_copy_constructible_v<T>std::is_copy_constructible_v<E> 都是 true
此构造函数是平凡的,如果 std::is_trivially_copy_constructible_v<T>std::is_trivially_copy_constructible_v<E> 都是 true
3) 此重载只有在 std::is_move_constructible_v<T>std::is_move_constructible_v<E> 都是 true 时才会参与重载决议。
此构造函数是平凡的,如果 std::is_trivially_move_constructible_v<T>std::is_trivially_move_constructible_v<E> 都是 true
4,5) 这些重载只有在满足以下所有条件时才会参与重载决议:
4) 此构造函数是 explicit 的,如果 std::is_convertible_v<const U&, T>std::is_convertible_v<const G&, E>false
5) 此构造函数是 explicit 的,如果 std::is_convertible_v<U, T>std::is_convertible_v<G, E>false
6) 此重载只有在满足以下所有条件时才会参与重载决议:
7) 此重载只有在 std::is_constructible_v<E, const G&>true 时才会参与重载决议。
8) 此重载只有在 std::is_constructible_v<E, G>true 时才会参与重载决议。
9) 此重载只有在 std::is_constructible_v<T, Args...>true 时才会参与重载决议。
10) 此重载只有在 std::is_constructible_v<T, std::initializer_list<U>&, Args...>true 时才会参与重载决议。
11) 此重载只有在 std::is_constructible_v<E, Args...>true 时才会参与重载决议。
12) 此重载只有在 std::is_constructible_v<E, std::initializer_list<U>&, Args...>true 时才会参与重载决议。

void 部分特化构造函数

14) 此构造函数被定义为弃置,除非 std::is_copy_constructible_v<E>true
此构造函数是平凡的,如果 std::is_trivially_copy_constructible_v<E>true
15) 此重载只有在 std::is_move_constructible_v<E>true 时才会参与重载决议。
此构造函数是平凡的,如果 std::is_trivially_move_constructible_v<E>true
16,17) 这些重载只有在满足以下所有条件时才会参与重载决议:
18) 此重载只有在 std::is_constructible_v<E, const G&>true 时才会参与重载决议。
19) 此重载只有在 std::is_constructible_v<E, G>true 时才会参与重载决议。
21) 此重载只有在 std::is_constructible_v<E, Args...>true 时才会参与重载决议。
22) 此重载只有在 std::is_constructible_v<E, std::initializer_list<U>&, Args...>true 时才会参与重载决议。

异常

主模板构造函数

1) 抛出在初始化预期值的过程中抛出的异常。
2) 抛出在初始化预期值或非预期值的过程中抛出的异常。
3) 抛出在初始化预期值或非预期值的过程中抛出的异常。
4,5) 抛出在初始化预期值或非预期值的过程中抛出的异常。
6) 抛出在初始化预期值的过程中抛出的异常。
7,8) 抛出在初始化非预期值的过程中抛出的异常。
9,10) 抛出在初始化预期值的过程中抛出的异常。
11,12) 抛出在初始化非预期值的过程中抛出的异常。

void 部分特化构造函数

14-19) 抛出在初始化非预期值的过程中抛出的异常。
21,22) 抛出在初始化非预期值的过程中抛出的异常。

示例

参阅

表示一个非预期值
(类模板)
原位构造标签
(类模板)
expected 中非预期值的原位构造标签
(类) (常量)