std::optional

template< class T >
class 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, который содержит значение.

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

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

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

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

Типы членов

Член-функции

Функции вне класса

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

Помощники

Руководства по выводу типов

Примечания

Пример

#include <iostream>
#include <optional>
#include <string>
 
// optional can be used as the return type of a factory that may fail
std::optional<std::string> create(bool b)
{
    if (b)
        return "Godzilla";
    return {};
}
 
// std::nullopt can be used to create any (empty) 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-returning factory functions are usable as conditions of while and if
    if (auto str = create2(true))
        std::cout << "create2(true) returned " << *str << '\n';
}

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

См. также