King_DuckZ/Loki
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

type traits: a refernce is also a integral...

Browse source 
git-svn-id: svn://svn.code.sf.net/p/loki-lib/code/trunk@225 7ec92016-0320-0410-acc4-a06ded1c099a
This commit is contained in:
syntheticpp 2005-08-31 15:54:47 +00:00
parent 8cf5c6ad87
commit c1b357a5bd
1 changed files with 24 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

31
include/loki/TypeTraits.h
View file

@ -199,12 +199,18 @@ namespace Loki
enum { isConst = 1 };
};
template <class U, class V> struct UnConst<U V::* const>
{
typedef U V::* Result;
enum { isConst = 1 };
};
template <class U> struct UnVolatile
{
typedef U Result;
enum { isVolatile = 0 };
};
template <class U> struct UnVolatile<volatile U>
{
typedef U Result;
@ -212,11 +218,18 @@ namespace Loki
};
template <class U> struct UnVolatile<volatile U&>
{
{
typedef U& Result;
enum { isVolatile = 1 };
};
template <class U, class V> struct UnVolatile<U V::* volatile>
{
typedef U V::* Result;
enum { isVolatile = 1 };
};
public:
typedef typename UnConst<T>::Result
NonConstType;
@ -235,11 +248,15 @@ namespace Loki
enum { isReference = ReferenceTraits<UnqualifiedType>::result };
enum { isMemberPointer = PToMTraits<UnqualifiedType>::result };
enum { isStdUnsignedInt = TL::IndexOf<Private::StdUnsignedInts, UnqualifiedType>::value>= 0 };
enum { isStdSignedInt = TL::IndexOf<Private::StdSignedInts, UnqualifiedType>::value>= 0 };
enum { isStdIntegral = isStdUnsignedInt || isStdSignedInt || TL::IndexOf<Private::StdOtherInts,
UnqualifiedType>::value >= 0 };
enum { isStdFloat = TL::IndexOf<Private::StdFloats, UnqualifiedType>::value>= 0 };
enum { isStdUnsignedInt = TL::IndexOf<Private::StdUnsignedInts, UnqualifiedType>::value >= 0 ||
TL::IndexOf<Private::StdUnsignedInts, typename ReferenceTraits<UnqualifiedType>::ReferredType>::value >= 0};
enum { isStdSignedInt = TL::IndexOf<Private::StdSignedInts, UnqualifiedType>::value >= 0 ||
TL::IndexOf<Private::StdSignedInts, typename ReferenceTraits<UnqualifiedType>::ReferredType>::value >= 0};
enum { isStdIntegral = isStdUnsignedInt || isStdSignedInt ||
TL::IndexOf<Private::StdOtherInts, UnqualifiedType>::value >= 0 ||
TL::IndexOf<Private::StdOtherInts, typename ReferenceTraits<UnqualifiedType>::ReferredType>::value >= 0};
enum { isStdFloat = TL::IndexOf<Private::StdFloats, UnqualifiedType>::value >= 0 ||
TL::IndexOf<Private::StdFloats, typename ReferenceTraits<UnqualifiedType>::ReferredType>::value >= 0};
enum { isStdArith = isStdIntegral || isStdFloat };
enum { isStdFundamental = isStdArith || isStdFloat || Conversion<T, void>::sameType };