2015-04-13 21:25:31 +00:00
|
|
|
/* Type traits for OctaSTD.
|
|
|
|
*
|
|
|
|
* This file is part of OctaSTD. See COPYING.md for futher information.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef OCTA_TRAITS_H
|
|
|
|
#define OCTA_TRAITS_H
|
|
|
|
|
2015-04-13 22:04:25 +00:00
|
|
|
#include <stddef.h>
|
|
|
|
|
2015-04-13 21:25:31 +00:00
|
|
|
#include "octa/types.h"
|
|
|
|
|
|
|
|
namespace octa {
|
2015-04-13 21:56:02 +00:00
|
|
|
/* conditional */
|
|
|
|
|
|
|
|
template<bool cond, typename T, typename U>
|
|
|
|
struct Conditional {
|
|
|
|
typedef T type;
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T, typename U>
|
|
|
|
struct Conditional<false, T, U> {
|
|
|
|
typedef U type;
|
|
|
|
};
|
|
|
|
|
|
|
|
/* removers */
|
|
|
|
|
|
|
|
template<typename T> struct RemoveReference { typedef T type; };
|
|
|
|
template<typename T> struct RemoveReference<T&> { typedef T type; };
|
|
|
|
template<typename T> struct RemoveReference<T&&> { typedef T type; };
|
|
|
|
|
|
|
|
template<typename T> struct RemoveConst { typedef T type; };
|
|
|
|
template<typename T> struct RemoveConst<const T> { typedef T type; };
|
|
|
|
|
|
|
|
template<typename T> struct RemoveVolatile { typedef T type; };
|
|
|
|
template<typename T> struct RemoveVolatile<volatile T> { typedef T type; };
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct RemoveConstVolatile {
|
|
|
|
typedef typename RemoveVolatile<typename RemoveConst<T>::type>::type type;
|
|
|
|
};
|
|
|
|
|
|
|
|
/* integral constant */
|
|
|
|
|
2015-04-13 21:25:31 +00:00
|
|
|
template<typename T, T val>
|
|
|
|
struct IntegralConstant {
|
2015-04-14 00:12:00 +00:00
|
|
|
static constexpr const T value = val;
|
2015-04-13 21:25:31 +00:00
|
|
|
|
|
|
|
typedef T value_type;
|
2015-04-13 22:19:52 +00:00
|
|
|
typedef IntegralConstant<T, val> type;
|
2015-04-13 21:25:31 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
typedef IntegralConstant<bool, true> true_t;
|
|
|
|
typedef IntegralConstant<bool, false> false_t;
|
|
|
|
|
2015-04-14 00:12:00 +00:00
|
|
|
template<typename T, T val> constexpr const T IntegralConstant<T, val>::value;
|
2015-04-13 21:25:31 +00:00
|
|
|
|
2015-04-13 21:56:02 +00:00
|
|
|
/* is integer */
|
|
|
|
|
|
|
|
template<typename T> struct IsIntegerBase: false_t {};
|
|
|
|
|
|
|
|
template<> struct IsIntegerBase<bool >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<char >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<uchar >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<schar >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<short >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<ushort>: true_t {};
|
|
|
|
template<> struct IsIntegerBase<int >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<uint >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<long >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<ulong >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<llong >: true_t {};
|
|
|
|
template<> struct IsIntegerBase<ullong>: true_t {};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsInteger: IsIntegerBase<typename RemoveConstVolatile<T>::type> {};
|
|
|
|
|
|
|
|
/* is floating point */
|
|
|
|
|
|
|
|
template<typename T> struct IsFloatBase : false_t {};
|
|
|
|
|
2015-04-13 22:19:52 +00:00
|
|
|
template<> struct IsFloatBase<float >: true_t {};
|
|
|
|
template<> struct IsFloatBase<double >: true_t {};
|
2015-04-13 21:56:02 +00:00
|
|
|
template<> struct IsFloatBase<ldouble>: true_t {};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsFloat: IsFloatBase<typename RemoveConstVolatile<T>::type> {};
|
|
|
|
|
2015-04-13 22:19:52 +00:00
|
|
|
/* is number */
|
|
|
|
|
|
|
|
template<typename T> struct IsNumber: IntegralConstant<bool,
|
|
|
|
(IsInteger<T>::value || IsFloat<T>::value)
|
|
|
|
> {};
|
|
|
|
|
2015-04-13 21:56:02 +00:00
|
|
|
/* is pointer */
|
|
|
|
|
2015-04-13 22:04:25 +00:00
|
|
|
template<typename > struct IsPointerBase : false_t {};
|
|
|
|
template<typename T> struct IsPointerBase<T *>: true_t {};
|
2015-04-13 21:56:02 +00:00
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsPointer: IsPointerBase<typename RemoveConstVolatile<T>::type> {};
|
|
|
|
|
2015-04-14 00:12:00 +00:00
|
|
|
/* is pointer to member function */
|
|
|
|
|
|
|
|
template<typename > struct IsMemberPointerBase: false_t {};
|
|
|
|
template<typename T, typename U>
|
|
|
|
struct IsMemberPointerBase<T U::*>: true_t {};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsMemberPointer: IsMemberPointerBase<
|
|
|
|
typename RemoveConstVolatile<T>::type
|
|
|
|
> {};
|
|
|
|
|
|
|
|
/* is null pointer */
|
|
|
|
|
|
|
|
template<typename> struct IsNullPointerBase : false_t {};
|
|
|
|
template< > struct IsNullPointerBase<nullptr_t>: true_t {};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsNullPointer: IsNullPointerBase<
|
|
|
|
typename RemoveConstVolatile<T>::type
|
|
|
|
> {};
|
|
|
|
|
2015-04-13 21:56:02 +00:00
|
|
|
/* is POD: currently wrong */
|
2015-04-13 21:25:31 +00:00
|
|
|
|
|
|
|
template<typename T> struct IsPOD: IntegralConstant<bool,
|
|
|
|
(IsInteger<T>::value || IsFloat<T>::value || IsPointer<T>::value)
|
|
|
|
> {};
|
|
|
|
|
2015-04-13 22:19:52 +00:00
|
|
|
/* is class */
|
|
|
|
|
|
|
|
struct IsClassBase {
|
|
|
|
template<typename T> static char test(void (T::*)(void));
|
|
|
|
template<typename > static int test(...);
|
|
|
|
};
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
struct IsClass: IntegralConstant<bool,
|
|
|
|
sizeof(IsClassBase::test<T>(0)) == 1
|
|
|
|
> {};
|
|
|
|
|
2015-04-13 21:56:02 +00:00
|
|
|
/* type equality */
|
|
|
|
|
2015-04-13 22:04:25 +00:00
|
|
|
template<typename, typename> struct IsEqual : false_t {};
|
|
|
|
template<typename T > struct IsEqual<T, T>: true_t {};
|
2015-04-13 21:25:31 +00:00
|
|
|
|
2015-04-13 22:04:25 +00:00
|
|
|
/* is lvalue reference */
|
|
|
|
|
|
|
|
template<typename > struct IsLvalueReference : false_t {};
|
|
|
|
template<typename T> struct IsLvalueReference<T &>: true_t {};
|
|
|
|
|
|
|
|
/* is rvalue reference */
|
|
|
|
|
|
|
|
template<typename > struct IsRvalueReference : false_t {};
|
|
|
|
template<typename T> struct IsRvalueReference<T &&>: true_t {};
|
|
|
|
|
|
|
|
/* is reference */
|
|
|
|
|
|
|
|
template<typename T> struct IsReference: IntegralConstant<bool,
|
|
|
|
(IsLvalueReference<T>::value || IsRvalueReference<T>::value)
|
|
|
|
> {};
|
|
|
|
|
|
|
|
/* is array */
|
|
|
|
|
|
|
|
template<typename > struct IsArray : false_t {};
|
|
|
|
template<typename T > struct IsArray<T[] >: true_t {};
|
|
|
|
template<typename T, size_t N> struct IsArray<T[N]>: true_t {};
|
2015-04-14 00:12:00 +00:00
|
|
|
|
|
|
|
/* move */
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
static inline constexpr typename RemoveReference<T>::type &&
|
|
|
|
move(T &&v) noexcept {
|
2015-04-14 22:25:29 +00:00
|
|
|
return static_cast<typename RemoveReference<T>::type &&>(v);
|
2015-04-14 00:12:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* forward */
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
static inline constexpr T &&
|
|
|
|
forward(typename RemoveReference<T>::type &v) noexcept {
|
2015-04-14 22:25:29 +00:00
|
|
|
return static_cast<T &&>(v);
|
2015-04-14 00:12:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
static inline constexpr T &&
|
|
|
|
forward(typename RemoveReference<T>::type &&v) noexcept {
|
2015-04-14 22:25:29 +00:00
|
|
|
return static_cast<T &&>(v);
|
2015-04-14 00:12:00 +00:00
|
|
|
}
|
2015-04-13 21:25:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|