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().

Не существует опциональных ссылок, функций, массивов или (возможно, cv-квалифицированных) void; программа является некорректной (ill-formed), если она инстанцирует optional с таким типом. Кроме того, программа является некорректной, если она инстанцирует optional с (возможно, cv-квалифицированными) типами-тегами std::nullopt_t или std::in_place_t.

Параметры шаблона

Вложенные типы

Все требования к типам итераторов для Container также применяются к типу iterator в optional .

Члены данных

Функции-члены

Функции, не являющиеся членами класса

Вспомогательные классы

Вспомогательные средства

Вспомогательные специализации

Эта специализация 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++.

Смотрите также