<type_traits>

class template
<type_traits>

std::decay

template <class T> struct decay;
Decay type
Obtains the decay type of T.

The transformed type is aliased as member type decay::type.

The decay type of T is the same type that results from the standard conversions that happen when an lvalue expression is used as an rvalue, with its cv-qualifier stripped:


This resembles the implicit conversions happening when an argument is passed by value to a function.

Notice that this class merely obtains a type using another type as model, but it does not transform values or objects between those types.

Template parameters

T
A type.

Member types

member typedefinition
typeIf T is a reference type, the type referrered to by T.
Otherwise, T.

Example

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// decay example #include <iostream> #include <type_traits> typedef std::decay<int>::type A; // int typedef std::decay<int&>::type B; // int typedef std::decay<int&&>::type C; // int typedef std::decay<const int&>::type D; // int typedef std::decay<int[2]>::type E; // int* typedef std::decay<int(int)>::type F; // int(*)(int) typedef int X[3]; int main() { 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; std::cout << "E: " << std::is_same<int,E>::value << std::endl; std::cout << "F: " << std::is_same<int,F>::value << std::endl; return 0; }

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


See also