std::optional

Шаблонный класс std::optional управляет необязательным содержащимся значением, то есть значением, которое может присутствовать или отсутствовать.

Можно использовать optional как возвращаемое значение функции, которая может потерпеть неудачу, или как необязательное поле типа. В отличие от других подходов, вроде std::pair<T,bool>, optional хорошо обрабатывает дорогостоящие в построении объекты и является более читабельным, поскольку намерение выражено явно.

Любой экземпляр optional<T> в любой данный момент времени либо содержит значение, либо пуст.

Если optional<T> содержит значение, это значение гарантированно будет выделено в составе optional, то есть динамическое выделение памяти никогда не происходит. Таким образом optional объект моделирует объект, а не указатель, даже если определены operator*() и operator->().

Когда объект типа optional<T> контекстно преобразован в bool, преобразование возвращает true, если объект содержит значение, и false, если он не содержит значения.

Объект optional содержит значение при следующих условиях:

• Объект был инициализирован или присвоен из значения типа T или другого optional, который содержит значение.

Объект optional не содержит значения при следующих условиях:

• Объект был инициализирован по умолчанию.
• Объект был инициализирован или присвоен из значения типа std::nullopt_t (std::nullopt) или объекта optional, который не содержит значения.
• Была вызвана функция-элемент reset().

Нет optional ссылок; программа некорректна, если она создаёт экземпляр optional со ссылочным типом. Кроме того, программа некорректна, если она создаёт экземпляр optional с (возможно, cv-квалифицированными) тэгами типов std::nullopt_t или std::in_place_t.

[править] Параметры шаблона

[править] Типы-элементы

[править] Фукции-элементы

[править] Функции, не являющиеся элементами

[править] Вспомогательные классы

[править] Вспомогательные элементы

[править] Руководства по выводу

[править] Примечание

[править] Пример

#include <iostream>
#include <optional>
#include <string>
 
// optional может использоваться как возвращаемый тип фабрики, которая может дать сбой
std::optional<std::string> create(bool b) {
    if (b)
        return "Годзилла";
    return {};
}
 
// std::nullopt можно использовать для создания любого (пустого) std::optional
auto create2(bool b) {
    return b ? std::optional<std::string>{"Годзилла"} : std::nullopt;
}
 
int main()
{
    std::cout << "create(false) вернула "
              << create(false).value_or("пусто") << '\n';
 
    // фабричные функции с необязательным возвратом можно использовать как условия
    // while и if
    if (auto str = create2(true)) {
        std::cout << "create2(true) вернула " << *str << '\n';
    }
}

create(false) вернула пусто
create2(true) вернула Годзилла

[править] Смотрите также