Namespaces
Variants
Views
Actions

std::common_type<tuple-like>

From cppreference.com
< cpp‎ | utility‎ | tuple
 
 
Utilities library
General utilities
Date and time
Function objects
Formatting library (C++20)
(C++11)
Relational operators (deprecated in C++20)
Integer comparison functions
(C++20)(C++20)(C++20)   
(C++20)
Swap and type operations
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Common vocabulary types
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
Elementary string conversions
(C++17)
(C++17)
 
 
Defined in header <tuple>
template< /*tuple-like*/ TTuple, /*tuple-like*/ UTuple >

    requires /* see below */

struct common_type<TTuple, UTuple>;
(since C++23)

The common type of two tuple-like types is a tuple consists of the common types of all corresponding element type pairs of both types.

The common type is defined only if

  • both TTuple and UTuple are cv-unqualified tuple-like types, and
  • either TTuple or UTuple is a std::tuple specialization, and
  • both TTuple and UTuple have the same number of elements (as determined by std::tuple_size_v), and
  • all corresponding element type pairs of TTuple and UTuple have common types.

[edit] Member types

Member type Definition
type std::tuple<std::common_type_t<TTypes, UTypes>...>

In the table above, TTypes... and UTypes... denotes the sequence of element types of TTuple and UTuple respectively, where each elements type of TupleLike at given index I is std::tuple_element_t<I, TupleLike>.

[edit] Example

[edit] See also

determines the common type of a group of types
(class template) [edit]
determines the common type of two pairs
(class template specialization) [edit]