decltype

Yields the type of its operand, which is not evaluated.

If the operand e is a name without any additional parentheses, then decltype(e) is the declared type of e.
```
int x = 42;
std::vector<decltype(x)> v(100, x); // v is a vector<int>
```
If the operand e is a class member access without any additional parentheses, then decltype(e) is the declared type of the member accessed.
```
struct S {
    int x = 42;
};
const S s;
decltype(s.x) y; // y has type int, even though s.x is const
```

In all other cases, decltype(e) yields both the type and the value category of the expression e, as follows:

* If `e` is an lvalue of type `T`, then `decltype(e)` is `T&`.
* If `e` is an xvalue of type `T`, then `decltype(e)` is `T&&`.
* If `e` is a prvalue of type `T`, then `decltype(e)` is `T`.

This includes the case with extraneous parentheses.

int f() { return 42; }
int& g() { static int x = 42; return x; }
int x = 42;
decltype(f()) a = f(); // a has type int
decltype(g()) b = g(); // b has type int&
decltype((x)) c = x;   // c has type int&, since x is an lvalue

The special form decltype(auto) deduces the type of a variable from its initializer or the return type of a function from the return statements in its definition, using the type deduction rules of decltype rather than those of auto.

const int x = 123;
auto y = x;           // y has type int
decltype(auto) z = x; // z has type const int, the declared type of x

Found a mistake? Have a question or improvement idea? Let me know.

keywords:

* Remarks

* Class types

* decltype

* class

* float

* bool

* void

* Controlling alignment

* Thread-local storage

* register

* char

* char16_t

* char32_t

* short

* long

* double

* int

* wchar_t

* enum

* if

* do

* else

* default

* explicit

* true

* false

* continue

* const

* for

* goto

* struct

* case

* mutable

* noexcept

* nullptr

* catch

* return

* signed

* unsigned

* Different keywords

* static

* this

* switch

* throw

* try

* break

* union

* asm

* volatile

* Querying the alignment of a type

* sizeof

* typename

Table Of Contents

0 Getting started

1 Literals

2 Basic type keywords

3 Operator precedence

4 Floating point arithmetic

5 Bit operators

6 Bit manipulation

7 Bit fields

8 Arrays

9 Flow control

10 const keyword

11 Loops

12 mutable keyword

13 friend keyword

14 keywords

15 Variable declaration keywords

16 auto keyword

17 Pointers

18 Type keywords (class, enum, struct, union)

19 Classes / structs

20 std::string

21 Enumeration

22 std::atomic

23 std::vector

24 std::array

25 std::pair

26 std::map

27 std::unordered_map

28 std::set and std::multiset

29 std::any

30 std::variant

31 std::optional

32 std::integer_sequence

33 std::function

34 std::forward_list

35 std::iomanip

36 Iterators

37 Basic I/O

38 File I/O

39 Streams

40 Stream manipulators

41 Metaprogramming

42 Returning multiple values from a function

43 References

44 Polymorphism

45 Value and reference semantics

46 Function call by value vs. by reference

47 Copying vs assignment

48 Pointers to class / struct members

49 The this pointer

50 Smart pointers

51 Unions

52 Templates

53 Namespaces

54 Function overloading

55 Operator overloading

56 Lambdas

57 Threading

58 Value categories

59 Preprocessor

60 SFINAE

61 Rule of three, five and zero

62 RAII

63 Exceptions

64 Implementation-defined behavior

65 Special member functions

66 Random numbers

67 Sorting

68 Regular expressions

69 Perfect forwarding

70 Virtual member functions

71 Undefined behavior

72 Overload resolution

73 Move semantics

74 Pimpl idiom

75 Copy elision

76 Fold expressions

77 Unnamed types

78 Singleton

79 ISO C++ Standard

80 User-defined literals

81 Type erasure

82 Memory management

83 Explicit type conversions

84 RTTI

85 Standard library algorithms

86 Expression templates

87 Scopes

88 Atomic types

89 static assert

90 constexpr

91 Date and time with std::chrono

92 Trailing return type

93 Function template overloading

94 Common compile linker errors

95 Design patterns

96 Optimizations

97 Compiling and building

98 Type traits

99 One definition rule

100 Unspecified behavio

101 Argument dependent name lookup

102 Attributes

103 Internationalization

104 Profiling

105 Return type covariance

106 Non-static member functions

107 Recursion

108 Callable objects

109 Constant class member functions

110 C++ vs. C++ 11 vs C++ 17

111 Inline functions

112 Client server examples

113 Header files

114 Const correctness

115 Refactoring techniques

116 Parameter packs

117 Iteration

118 type deduction

119 C++ 11 memory model

120 Build systems

121 Concurrency with OpenMP

122 Type inference

123 Resource management

124 Storage class specifiers

125 Alignment

126 Inline variables

127 Linkage specifications

128 Curiusly recurring template pattern

129 Using declaration

130 Typedef and type aliases

131 Layout of object types

132 C incompatibilities

133 Optimization

134 Semaphore

135 Thread synchronization

136 Debugging

137 Futures and promises

138 More undefined behaviors

139 Mutexes

140 Recursive mutex

141 Unit testing

142 decltype

143 Digit separators

144 C++ Containers

145 Arithmetic meta-programming

146 Contributors