<type_traits>

class template
<type_traits>

std::conditional

template <bool Cond, class T, class F> struct conditional;
Conditional type
Obtains either T or F, depending on whether Cond is true or false.

If Cond is true, member type conditional::type is defined as an alias of T.
If Cond is false, member type conditional::type is defined as an alias of F.

Template parameters

Cond
A compile-time constant of type bool.
T,F
Types.

Member types

member typedefinition
typeIf Cond is true: T
If Cond is false: F

Example

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// conditional example
#include <iostream>
#include <type_traits>

int main() {

  short int i = 1;    // code does not compile if type of i is not integral

  typedef std::conditional<true,int,float>::type A;                      // int
  typedef std::conditional<false,int,float>::type B;                     // float
  typedef std::conditional<std::is_integral<A>::value,long,int>::type C; // long
  typedef std::conditional<std::is_integral<B>::value,long,int>::type D; // int

  std::cout << std::boolalpha;
  std::cout << "typedefs of int:" << std::endl;
  std::cout << "A: " << std::is_same<int,A>::value << std::endl;
  std::cout << "B: " << std::is_same<int,B>::value << std::endl;
  std::cout << "C: " << std::is_same<int,C>::value << std::endl;
  std::cout << "D: " << std::is_same<int,D>::value << std::endl;

  return 0;
}

Output:
typedefs of int:
A: true
B: false
C: false
D: true


See also