Standard library header <experimental/ranges/type_traits>

< cpp‎ | header
 
C++
 
Standard Library headers
Language Support
Concepts
<concepts>
Diagnostics
General utilities
Strings
Localization
Containers
Iterators
<iterator>
Ranges
<ranges>
Algorithms
Numerics
Input/Output
Regular expressions
<regex>
Filesystem support
<filesystem>
Thread support
C compatibility
 

This header is part of the ranges library.

Metaprogramming and type traits

Defined in namespace std::experimental::ranges
checks if objects of a type can be swapped with objects of same or different type
(class template)
determine the common reference type of a set of types
(class template)
determine the common type of a set of types
(class template)

Synopsis 

namespace std { namespace experimental { namespace ranges { inline namespace v1 {
 
template <class T, class U> struct is_swappable_with;
template <class T> struct is_swappable;
 
template <class T, class U> struct is_nothrow_swappable_with;
template <class T> struct is_nothrow_swappable;
 
template <class T, class U> constexpr bool is_swappable_with_v
  = is_swappable_with<T, U>::value;
template <class T> constexpr bool is_swappable_v
  = is_swappable<T>::value;
 
template <class T, class U> constexpr bool is_nothrow_swappable_with_v
  = is_nothrow_swappable_with<T, U>::value;
template <class T> constexpr bool is_nothrow_swappable_v
  = is_nothrow_swappable<T>::value;
 
template <class... T> struct common_type;
template <class T, class U, template <class> class TQual, template <class> class UQual>
  struct basic_common_reference { };
template <class... T> struct common_reference;
 
template <class... T>
  using common_type_t = typename common_type<T...>::type;
template <class... T>
  using common_reference_t = typename common_reference<T...>::type;
 
}}}}