std::make_from_tuple

template< class T, class Tuple >
constexpr T make_from_tuple( Tuple&& t );

template< class T, tuple-like Tuple >
constexpr T make_from_tuple( Tuple&& t );

Создаёт объект типа T, используя элементы кортежа t в качестве аргументов конструктора.

Пусть дана иллюстративная функция /*make-from-tuple-impl*/, определённая следующим образом:
template<class T, tuple-like Tuple, std::size_t... I> // no constraint on Tuple before C++23
constexpr T /*make-from-tuple-impl*/(Tuple&& t, std::index_sequence<I...>)
{
    return T(std::get<I>(std::forward<Tuple>(t))...);
}

Результат эквивалентен:
return /*make-from-tuple-impl*/<T>(
std::forward<Tuple>(t),
std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{}
);.

Если

• std::is_constructible_v<T, decltype(std::get<I>(std::declval<Tuple>()))...> — это false,

программа считается некорректной.

Параметры

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

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

Примечания

Благодаря гарантированному пропуску копирования , T не обязательно должен быть перемещаемым.

Пример

#include <iostream>
#include <tuple>
struct Foo
{
    Foo(int first, float second, int third)
    {
        std::cout << first << ", " << second << ", " << third << '\n';
    }
};
int main()
{
    auto tuple = std::make_tuple(42, 3.14f, 0);
    std::make_from_tuple<Foo>(std::move(tuple));
}

42, 3.14, 0

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

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