std::make_optional

Определён в заголовочном файле <optional>

Определён в заголовочном файле `<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)

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
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/optional/make_optional