Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/utility/tuple/make tuple"

From cppreference.com
< cpp‎ | utility‎ | tuple
m (+Possible implementation)
m (→‎Example: fmt)
 
(21 intermediate revisions by 13 users not shown)
Line 1: Line 1:
 
{{cpp/title|make_tuple}}
 
{{cpp/title|make_tuple}}
 
{{cpp/utility/tuple/navbar}}
 
{{cpp/utility/tuple/navbar}}
−
{{ddcl list begin}}
+
{{dcl begin}}
−
{{ddcl list header | tuple}}
+
{{dcl header|tuple}}
−
{{ddcl list item | notes={{mark since c++11}} | 1=
+
{{dcl|since=c++11|notes={{mark|constexpr since C++14}}|1=
 
template< class... Types >
 
template< class... Types >
−
tuple<VTypes...> make_tuple( Types&&... args );
+
std::tuple<VTypes...> make_tuple( Types&&... args );
 
}}
 
}}
−
{{ddcl list end}}
+
{{dcl end}}
  
 
Creates a tuple object, deducing the target type from the types of arguments.
 
Creates a tuple object, deducing the target type from the types of arguments.
  
−
For each {{tt|Ti}} in {{tt|Types...}}, the corresponding type {{tt|Vi}} in {{tt|Vtypes...}} is {{c|std::decay<Ti>::type}} unless application of {{c|std::decay}} results in {{c|std::reference_wrapper<X>}} for some type {{tt|X}}, in which case the deduced type is {{tt|X&}}.  
+
For each {{tt|Ti}} in {{tt|Types...}}, the corresponding type {{tt|Vi}} in {{tt|VTypes...}} is {{c|std::decay<Ti>::type}} unless application of {{lc|std::decay}} results in {{c|std::reference_wrapper<X>}} for some type {{tt|X}}, in which case the deduced type is {{tt|X&}}.
  
 
===Parameters===
 
===Parameters===
−
{{param list begin}}
+
{{par begin}}
−
{{param list item | args | zero or more arguments to construct the tuple from}}
+
{{par|args|zero or more arguments to construct the tuple from}}
−
{{param list end}}
+
{{par end}}
  
 
===Return value===
 
===Return value===
−
A {{c|std::tuple}} object containing the given values, created as if by {{c|std::tuple<VTypes...>(std::forward<Types>(t)...).}}
+
A {{lc|std::tuple}} object containing the given values, created as if by {{c|std::tuple<VTypes...>(std::forward<Types>(t)...).}}
  
 
===Possible implementation===
 
===Possible implementation===
−
{{eq fun | 1=
+
{{eq fun|1=
 +
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;
 +
// or use std::unwrap_ref_decay_t (since C++20)
 +
 
 
template <class... Types>
 
template <class... Types>
−
auto make_tuple(Types&&... args) //C++14 implementation
+
constexpr // since C++14
−
{
+
std::tuple<unwrap_decay_t<Types>...> make_tuple(Types&&... args)
−
  return std::tuple<std::decay_t<Types>...>(std::forward<Types>(args)...);
+
{
−
}
+
    return std::tuple<unwrap_decay_t<Types>...>(std::forward<Types>(args)...);
 +
}
 
}}
 
}}
  
 
===Example===
 
===Example===
−
{{example |
+
{{example|
−
| code=
+
|code=
 
#include <iostream>
 
#include <iostream>
 
#include <tuple>
 
#include <tuple>
 
#include <functional>
 
#include <functional>
  
−
int main()
+
std::tuple<int, int> f() // this function returns multiple values
 
{
 
{
−
     auto t1 = std::make_tuple(10, "Test", 3.14);
+
     int x = 5;
−
     std::cout << "The value of t1 is "
+
     return std::make_tuple(x, 7); // return {x,7}; in C++17
−
              << "(" << std::get<0>(t1) << ", " << std::get<1>(t1)
+
}
−
              << ", " << std::get<2>(t1) << ")\n";
+
  
 +
int main()
 +
{
 +
    // heterogeneous tuple construction
 
     int n = 1;
 
     int n = 1;
−
     auto t2 = std::make_tuple(std::ref(n), n);
+
     auto t = std::make_tuple(10, "Test", 3.14, std::ref(n), n);
 
     n = 7;
 
     n = 7;
−
     std::cout << "The value of t2 is "
+
     std::cout << "The value of t is ("
−
               << "(" << std::get<0>(t2) << ", " << std::get<1>(t2) << ")\n";
+
               << std::get<0>(t) << ", "
 +
              << std::get<1>(t) << ", "
 +
              << std::get<2>(t) << ", "
 +
              << std::get<3>(t) << ", "
 +
              << std::get<4>(t) << ")\n";
 +
 
 +
    // function returning multiple values
 +
    int a, b;
 +
    std::tie(a, b) = f();
 +
    std::cout << a << ' ' << b << '\n';
 
}
 
}
−
| output=
+
|output=
−
The value of t1 is (10, Test, 3.14)
+
The value of t is (10, Test, 3.14, 7, 1)
−
The value of t2 is (7, 1)
+
5 7
 
}}
 
}}
  
−
{{dcl list begin}}
+
===See also===
−
{{dcl list template | cpp/utility/tuple/dcl list tie}}
+
{{dsc begin}}
−
{{dcl list template | cpp/utility/tuple/dcl list forward_as_tuple}}
+
{{dsc inc|cpp/utility/tuple/dsc tie}}
−
{{dcl list template | cpp/utility/tuple/dcl list tuple_cat}}
+
{{dsc inc|cpp/utility/tuple/dsc forward_as_tuple}}
−
{{dcl list end}}
+
{{dsc inc|cpp/utility/tuple/dsc tuple_cat}}
 +
{{dsc inc|cpp/utility/dsc apply}}
 +
{{dsc end}}
  
−
[[de:cpp/utility/tuple/make tuple]]
+
{{langlinks|de|es|fr|it|ja|pt|ru|zh}}
−
[[es:cpp/utility/tuple/make tuple]]
+
−
[[fr:cpp/utility/tuple/make tuple]]
+
−
[[it:cpp/utility/tuple/make tuple]]
+
−
[[ja:cpp/utility/tuple/make tuple]]
+
−
[[pt:cpp/utility/tuple/make tuple]]
+
−
[[ru:cpp/utility/tuple/make tuple]]
+
−
[[zh:cpp/utility/tuple/make tuple]]
+

Latest revision as of 08:46, 2 February 2023

 
C++
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
std::tuple
 
Defined in header <tuple>
template< class... Types >
std::tuple<VTypes...> make_tuple( Types&&... args );
 (since C++11)
(constexpr since C++14)

Creates a tuple object, deducing the target type from the types of arguments.

For each Ti in Types..., the corresponding type Vi in VTypes... is std::decay<Ti>::type unless application of std::decay results in std::reference_wrapper<X> for some type X, in which case the deduced type is X&.

Contents

[edit] Parameters

args - zero or more arguments to construct the tuple from

[edit] Return value

A std::tuple object containing the given values, created as if by std::tuple<VTypes...>(std::forward<Types>(t)...).

[edit] Possible implementation

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;
// or use std::unwrap_ref_decay_t (since C++20)
 
template <class... Types>
constexpr // since C++14
std::tuple<unwrap_decay_t<Types>...> make_tuple(Types&&... args)
{
    return std::tuple<unwrap_decay_t<Types>...>(std::forward<Types>(args)...);
}

[edit] Example

Run this code
#include <iostream>
#include <tuple>
#include <functional>
 
std::tuple<int, int> f() // this function returns multiple values
{
    int x = 5;
    return std::make_tuple(x, 7); // return {x,7}; in C++17
}
 
int main()
{
    // heterogeneous tuple construction
    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";
 
    // function returning multiple values
    int a, b;
    std::tie(a, b) = f();
    std::cout << a << ' ' << b << '\n';
}

Output: 

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

[edit] See also

(C++11)
 creates a tuple of lvalue references or unpacks a tuple into individual objects
(function template) [edit]
(C++11)
 creates a tuple of forwarding references
(function template) [edit]
(C++11)
 creates a tuple by concatenating any number of tuples
(function template) [edit]
(C++17)
 calls a function with a tuple of arguments
(function template) [edit]
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/utility/tuple/make_tuple&oldid=147386"