std::optional

template< class T >
class optional;

类模板 std::optional 管理一个可选的容纳值，即该值可能存在也可能不存在。

optional 的一个常见用例是可能失败的函数的返回值。与其他方法（如 std::pair<T, bool>）相反，optional 能良好地处理构造开销大的对象，并且更具可读性，因为意图被明确地表达了出来。

optional 的任何实例在任意给定时间点要么含有一个值，要么不含任何值。

如果 optional 含有一个值，则该值保证被嵌套在 optional 对象内部。因此，optional 对象模拟的是一个对象，而不是一个指针，即使 operator*() 和 operator->() 已被定义。

当 optional<T> 类型的对象被语境转换为 bool 时，如果该对象含有一个值，则转换返回 true；如果不含任何值，则返回 false。

在以下情况下，optional 对象含有一个值：

• 该对象由 T 类型的值或另一个含值的 optional 初始化/赋值。

在以下情况下，该对象不含任何值：

• 该对象被默认初始化。
• 该对象由 std::nullopt_t 类型的值或不含值的 optional 对象初始化/赋值。
• 成员函数 reset() 被调用。

不存在 optional 引用、函数、数组或（可能 cv 限定的）void；如果程序以此类类型实例化 optional，则构成程序格式错误。此外，如果程序以（可能 cv 限定的）标签类型 optionalstd::nullopt_t 或 std::in_place_t 实例化 ，则构成程序格式错误。

模板参数

嵌套类型

所有对 容器 迭代器类型的要求同样适用于 optional 的 iterator 类型。

数据成员

成员函数

非成员函数

辅助类

辅助工具

辅助特化

此特化的 ranges::enable_view 使 optional 满足 view 要求。

此 format_kind 的特化会禁用 optional 的 范围格式化支持 。

推导指引

注释

示例

#include <iostream>
#include <optional>
#include <string>
// optional 可用作可能失败的工厂函数的返回类型
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}
// std::nullopt 可用于创建任意（空）std::optional
auto create2(bool b)
{
    return b ? std::optional<std::string>{"Godzilla"} : std::nullopt;
}
int main()
{
    std::cout << "create(false) returned "
              << create(false).value_or("empty") << '\n';
    // 返回 optional 的工厂函数可用作 while 和 if 的条件
    if (auto str = create2(true))
        std::cout << "create2(true) returned " << *str << '\n';
}

create(false) returned empty
create2(true) returned Godzilla

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见