Type Traits

When doing template metaprogramming, we may often find ourself in situations where we need information about the types we are dealing with at compile time. When writing regular (non-generic) C++ code, we work with concrete types that we have complete knowledge about, but this is not the case when writing a template; the concrete types are not determined until the compiler is instantiating a template. Type traits let us extract information about the types our templates are dealing with to generate efficient and correct C++ code.

In order to extract ...