Namespaces
Variants

std::make_optional

С сайта ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (основные типы, RTTI)
Макросы тестирования возможностей библиотеки (C++20)
Утилиты программ
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношений (устарело в C++20)
 
 
Определён в заголовочном файле <optional>
template< class T >
constexpr std::optional<std::decay_t<T>> make_optional( T&& value );
(1) (начиная с C++17)
template< class T, class... Args >
constexpr std::optional<T> make_optional( Args&&... args );
(2) (начиная с C++17)
template< class T, class U, class... Args >
constexpr std::optional<T> make_optional( std::initializer_list<U> il,
                                          Args&&... args );
(3) (начиная с C++17)
1) Создаёт объект optional из value. Фактически вызывает std::optional<std::decay_t<T>>(std::forward<T>(value)).
2) Создаёт объект optional, сконструированный на месте из args.... Эквивалентно return std::optional<T>(std::in_place, std::forward<Args>(args)...);.
Эта перегрузка участвует в разрешении перегрузки, только если std::is_constructible_v<T, Args...> является true.
3) Создаёт объект optional, сконструированный на месте из il и args.... Эквивалентно return std::optional<T>(std::in_place, il, std::forward<Args>(args)...);.
Эта перегрузка участвует в разрешении перегрузки, только если std::is_constructible_v<T, std::initializer_list<U>&, Args...> является true.

Параметры

value - значение для конструирования optional объекта
il, args - аргументы для передачи конструктору T

Возвращаемое значение

Сконструированный объект optional.

Исключения

Выбрасывает любое исключение, выбрасываемое конструктором T .

Примечания

T не обязательно должен быть перемещаемым для перегрузок ( 2,3 ) благодаря гарантированному исключению копирования.

Пример

#include <iomanip>
#include <iostream>
#include <optional>
#include <string>
#include <vector>
int main()
{
    auto op1 = std::make_optional<std::vector<char>>({'a','b','c'});
    std::cout << "op1: ";
    for (char c : op1.value())
        std::cout << c << ',';
    auto op2 = std::make_optional<std::vector<int>>(5, 2);
    std::cout << "\nop2: ";
    for (int i : *op2)
        std::cout << i << ',';
    std::string str{"hello world"};
    auto op3 = std::make_optional<std::string>(std::move(str));
    std::cout << "\nop3: " << std::quoted(op3.value_or("empty value")) << '\n';
    std::cout << "str: " << std::quoted(str) << '\n';
}

Возможный вывод:

op1: a,b,c,
op2: 2,2,2,2,2,
op3: "hello world"
str: ""

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

создает объект optional
(публичная функция-член)