Пространства имён
Варианты
Действия

std::make_from_tuple

Материал из cppreference.com
< cpp‎ | utility
 
C++
Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования функциональности библиотеки (C++20)    
Управление динамической памятью
Программные утилиты
Поддержка сопрограмм (C++20)
Вариативные функции
(C++20)
(C++26)
(C++11)
(C++20)
Трёхстороннее сравнение (C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)    
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
Общие утилиты
Дата и время
Функциональные объекты
Библиотека форматирования (C++20)
(C++11)
Операторы отношения (устарело в C++20)
Целочисленные функции сравнения
(C++20)(C++20)(C++20)    
(C++20)
Операции обмена и типа
(C++20)
(C++14)
(C++11)
(C++23)
(C++11)
(C++23)
(C++11)
(C++11)
(C++17)
Общие лексические типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++11)
(C++17)
make_from_tuple
(C++17)
(C++23)
Элементарные преобразования строк
(C++17)
(C++17)
(C++17)
 
Определено в заголовочном файле <tuple>
template< class T, class Tuple >
constexpr T make_from_tuple( Tuple&& t );
 (начиная с C++17)
(до C++23)
template< class T, tuple-like Tuple >
constexpr T make_from_tuple( Tuple&& t );
 (начиная с C++23)

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

Учитывая функцию только для описания /*make-from-tuple-impl*/, определённую следующим образом:
template<class T, tuple-like Tuple, std::size_t... I> // нет ограничений на Tuple до 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>>>{}
);
 .

Если

(начиная с C++23)

программа некорректна.

Содержание

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

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

[править] Возвращаемое значение

Созданный объект T или ссылка.

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

Tuple не обязательно должен быть std::tuple, вместо этого может быть что угодно, что поддерживает std::get и std::tuple_size; в частности, могут использоваться std::array и std::pair.

(до C++23)

Tuple должен быть tuple-подобным, т.е. каждый тип в нём должен быть специализацией std::tuple или другого типа (например, std::array и std::pair), который моделирует tuple-like.

(начиная с C++23)

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

Макрос Тестирования функциональности Значение Стандарт Функциональность
__cpp_lib_make_from_tuple 201606L (C++17) std::make_from_tuple

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

Запустить этот код
#include <iostream>
#include <tuple>
 
struct Foo {
    Foo(int first, float second, int third) {
        std::cout << first << ", " << second << ", " << third << '\n';
    }
};
 
int main()
{
   auto tuple =