std:: make_tuple

Создает объект кортежа, выводя целевой тип из типов аргументов.

Для каждого Ti в Types... соответствующий тип Vi в VTypes... является std:: decay < Ti > :: type , за исключением случая, когда применение std::decay даёт результат std:: reference_wrapper < X > для некоторого типа X , в этом случае выводимым типом является X& .

Параметры

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

Объект std::tuple содержащий заданные значения, созданный как если бы с помощью std:: tuple < VTypes... > ( std:: forward < Types > ( t ) ... ) .

Возможная реализация

template <class T>
struct unwrap_refwrapper
{
    using type = T;
};
template <class T>
struct unwrap_refwrapper<std::reference_wrapper<T>>
{
    using type = T&;
};
template <class T>
using unwrap_decay_t = typename unwrap_refwrapper<typename std::decay<T>::type>::type;
// или использовать std::unwrap_ref_decay_t (начиная с C++20)
template <class... Types>
constexpr // начиная с C++14
std::tuple<unwrap_decay_t<Types>...> make_tuple(Types&&... args)
{
    return std::tuple<unwrap_decay_t<Types>...>(std::forward<Types>(args)...);
}

Пример

#include <iostream>
#include <tuple>
#include <functional>
std::tuple<int, int> f() // эта функция возвращает несколько значений
{
    int x = 5;
    return std::make_tuple(x, 7); // return {x,7}; в C++17
}
int main()
{
    // создание гетерогенного кортежа
    int n = 1;
    auto t = std::make_tuple(10, "Test", 3.14, std::ref(n), n);
    n = 7;
    std::cout << "The value of t is ("
              << std::get<0>(t) << ", "
              << std::get<1>(t) << ", "
              << std::get<2>(t) << ", "
              << std::get<3>(t) << ", "
              << std::get<4>(t) << ")\n";
    // функция, возвращающая несколько значений
    int a, b;
    std::tie(a, b) = f();
    std::cout << a << ' ' << b << '\n';
}

The value of t is (10, Test, 3.14, 7, 1)
5 7

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