ustl::tm::TypeTraits< T > Class Template Reference

#include <traits.h>

List of all members.

Public Types
enum	{ isConst = UnConst<T>::isConst }
enum	{ isVolatile = UnVolatile<T>::isVolatile }
enum	{ isReference = ReferenceTraits<UnqualifiedType>::result }
enum	{ isFunction = FunctionPointerTraits<typename AddPointer<T>::Result >::result }
enum	{ isFunctionPointer }
enum	{ isMemberFunctionPointer }
enum	{ isMemberPointer }
enum	{ isPointer }
enum	{   isStdUnsignedInt = tl::IndexOf<StdUnsignedInts,   value,   value }
enum	{   isStdSignedInt = tl::IndexOf<StdSignedInts,   value,   value }
enum	{   isStdIntegral,   value,   value }
enum	{   isStdFloat = tl::IndexOf<StdFloats,   value,   value }
enum	{ isStdArith = isStdIntegral || isStdFloat }
enum	{   isStdFundamental = isStdArith || isStdFloat || Conversion<T,   sameType }
enum	{ isUnsignedInt = isStdUnsignedInt }
enum	{ isSignedInt = isStdSignedInt }
enum	{ isIntegral = isStdIntegral || isUnsignedInt || isSignedInt }
enum	{ isFloat = isStdFloat }
enum	{ isArith = isIntegral || isFloat }
enum	{ isFundamental = isStdFundamental || isArith }
typedef UnConst< T >::Result	NonConstType
typedef UnVolatile< T >::Result	NonVolatileType
typedef UnVolatile< typename UnConst< T >::Result >::Result	UnqualifiedType
typedef PointerTraits< UnqualifiedType >::PointeeType	PointeeType
typedef ReferenceTraits< T >::ReferredType	ReferredType
typedef Select< isStdArith||isPointer||isMemberPointer, T, typename AddParameterType< T >::Result >::Result	ParameterType

---

Detailed Description

template<typename T>
class ustl::tm::TypeTraits< T >

Figures out at compile time various properties of any given type Invocations (T is a type, TypeTraits<T>::Propertie):

• isPointer : returns true if T is a pointer type
• PointeeType : returns the type to which T points if T is a pointer type, NullType otherwise
• isReference : returns true if T is a reference type
• ReferredType : returns the type to which T refers if T is a reference type, NullType otherwise
• isMemberPointer : returns true if T is a pointer to member type
• isStdUnsignedInt: returns true if T is a standard unsigned integral type
• isStdSignedInt : returns true if T is a standard signed integral type
• isStdIntegral : returns true if T is a standard integral type
• isStdFloat : returns true if T is a standard floating-point type
• isStdArith : returns true if T is a standard arithmetic type
• isStdFundamental: returns true if T is a standard fundamental type
• isUnsignedInt : returns true if T is a unsigned integral type
• isSignedInt : returns true if T is a signed integral type
• isIntegral : returns true if T is a integral type
• isFloat : returns true if T is a floating-point type
• isArith : returns true if T is a arithmetic type
• isFundamental : returns true if T is a fundamental type
• ParameterType : returns the optimal type to be used as a parameter for functions that take Ts
• isConst : returns true if T is a const-qualified type
• NonConstType : Type with removed 'const' qualifier from T, if any
• isVolatile : returns true if T is a volatile-qualified type
• NonVolatileType : Type with removed 'volatile' qualifier from T, if any
• UnqualifiedType : Type with removed 'const' and 'volatile' qualifiers from T, if any
• ConstParameterType: returns the optimal type to be used as a parameter for functions that take 'const T's

---

The documentation for this class was generated from the following file:

• traits.h

---