type_opers.hpp

Go to the documentation of this file.

/*****************************************************************************
    
    type_opers.hpp -- Operation with types.

    This file is part of the Arageli library.

    Copyright (C) Nikolai Yu. Zolotykh, 1999--2006
    Copyright (C) Sergey S. Lyalin, 2005--2006
    University of Nizhni Novgorod, Russia

*****************************************************************************/

#ifndef _ARAGELI_type_opers_hpp_
#define _ARAGELI_type_opers_hpp_


#include "config.hpp"

#include <iostream>


//****************************************************************************


namespace Arageli
{




struct true_type { static const bool value = true; };
struct false_type { static const bool value = false; };

template <bool V> struct bool_type;

template <> struct bool_type<false>
{
    typedef false_type type;
    typedef false_type value_type;
    static const false_type value;
};


template <> struct bool_type<true>
{
    typedef true_type type;
    typedef true_type value_type;
    static const true_type value;
};


inline std::ostream& operator<< (std::ostream& out, const true_type&)
{ return out << "true"; }

inline std::ostream& operator<< (std::ostream& out, const false_type&)
{ return out << "false"; }






template <typename T1, typename T2>
struct equal_types
{
    static const bool bvalue = false;
    typedef false_type value_type;
    static const false_type value;
};

template <typename T>
struct equal_types<T, T>
{
    static const bool bvalue = true;
    typedef true_type value_type;
    static const true_type value;
};





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

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





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

template <typename T>
struct omit_asterisk<T*> { typedef T type; };






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

template <typename T>
struct omit_ref<T&> { typedef T type; };




template <typename T>
struct omit_const_ref
{ typedef typename omit_const<typename omit_ref<T>::type>::type type; };


//namespace _Internal
//{
//
//template <typename T1, typename T2>
//struct is_subclass_of_helper;
//
//template <typename T1, typename T2>
//struct is_subclass_of_helper;
//
//}
//
//
//template <typename T1, typename T2>
//struct is_subclass_of :
//  public _Internal::is_subclass_of_helper<T1*, T2*> {};
//


//  See function_traits and type_traits. */
//template <typename T1, typename T2>
//struct is_subcategory_of
//{
//  static const bool bvalue = false;
//  typedef false_type value_type;
//  static const false_type value;
//};



} // namespace Arageli



#ifdef ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE
    #define ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_TYPE_OPERS
    #include "type_opers.cpp"
    #undef  ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_TYPE_OPERS
#endif


#endif  //  #ifndef _ARAGELI_type_opers_hpp_

---