std:: 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 ; программа является некорректной, если создаёт экземпляр 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++.

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