meta_programming.hpp

#ifndef __CUV_META_PROGRAMMING_HPP__
#define __CUV_META_PROGRAMMING_HPP__

namespace cuv {


struct FalseType {
        enum {
            value = false
        };
};
struct TrueType {
        enum {
            value = true
        };
};

template<typename T1, typename T2>
struct IsSame
{
        typedef FalseType Result;
};

template<typename T>
struct IsSame<T, T>
{
        typedef TrueType Result;
};

template<typename T1, typename T2>
struct IsDifferent
{
        typedef TrueType Result;
};

template<typename T>
struct IsDifferent<T, T>
{
        typedef FalseType Result;
};

template<typename T>
struct unconst {
        typedef T type;
};

template<typename T>
struct unconst<const T> {
        typedef T type;
};

template<bool Condition, class Then, class Else>
struct If {
        typedef Then result;
};
template<class Then, class Else>
struct If<false, Then, Else> {
        typedef Else result;
};

template<bool B, class T = void>
struct EnableIfC {
        typedef T type; 
};

template<class T>
struct EnableIfC<false, T> {
};

template<class Cond, class T = void>
struct EnableIf: public EnableIfC<Cond::value, T> {
};

template<class Cond, class T = void>
struct DisableIf: public EnableIfC<!Cond::value, T> {
};

}

#endif