common.h

Go to the documentation of this file.

/* -*- C++ -*- ------------------------------------------------------------
 
Copyright (c) 2007 Jesse Anders and Demian Nave http://cmldev.net/

The Configurable Math Library (CML) is distributed under the terms of the
Boost Software License, v1.0 (see cml/LICENSE for details).

 *-----------------------------------------------------------------------*/
#ifndef core_meta_common_h
#define core_meta_common_h

namespace cml {

struct true_type {};

struct false_type {};

template<bool B> struct is_true {
    typedef false_type result;
};

template<> struct is_true<true> {
    typedef true_type result;
};

template<typename T1, typename T2> struct type_pair {
    typedef T1 first;
    typedef T2 second;
};

template<typename T1, typename T2, typename T3, typename T4>
struct type_quad {
    typedef T1 first;
    typedef T2 second;
    typedef T3 third;
    typedef T3 fourth;
};

struct any_type {};

template<typename T, typename U> struct same_type {
    typedef false_type result;
    enum { is_true = false, is_false = true };
};

template<typename T> struct same_type<T,T> {
    typedef true_type result;
    enum { is_true = true, is_false = false };
};

template<typename T> struct same_type<T,any_type> {
    typedef true_type result;
    enum { is_true = true, is_false = false };
};

template<typename T> struct same_type<any_type,T> {
    typedef true_type result;
    enum { is_true = true, is_false = false };
};

template<> struct same_type<any_type,any_type> {
    typedef true_type result;
    enum { is_true = true, is_false = false };
};

template<typename T> struct remove_reference {
    template<typename Q, typename Dummy> struct helper {
        typedef Q type;
    };

    template<typename Q> struct helper<Q&, void> {
        typedef Q type;
    };

    template<typename Q> struct helper<const Q&, void> {
        typedef const Q type;
    };

    typedef typename helper<T,void>::type type;
};

template<typename T> struct remove_const {
    template<typename Q, typename Dummy> struct helper {
        typedef Q type;
    };

    template<typename Q> struct helper<const Q, void> {
        typedef Q type;
    };

    typedef typename helper<T,void>::type type;
};

} // namespace cml

#endif

// -------------------------------------------------------------------------
// vim:ft=cpp