Instigate Open Source Documentation

---

src/generic/base.hpp

Go to the documentation of this file.

/*
 * @htmlonly
 * Copyright &copy 2008-2009
 * @endhtmlonly
 * Instigate CJSC, Armenia
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free
 * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

#ifndef INSTIGATE_GENERIC_BASE
#define INSTIGATE_GENERIC_BASE

// headers from this project

// headers from other projects

// headers from standard libraries

// Forward declarations

namespace instigate {
        namespace generic {
                template <int> class require;
                template <> class require<1>;
                template <typename T, typename U> class conversion;
                template <typename T> class conversion<T, T>;
                template <typename T> struct type_to_type;
                template <int t> struct int_to_type;
        }
}


#define CHECK(R) {R();}  

#define CHECK_CONVERTIBILITY(T, U) {\
instigate::generic::require<instigate::\
        generic::conversion<T, U>::exists>();}

#define CHECK_SAME_TYPE(T, U) {\
instigate::generic::require<instigate::\
        generic::conversion<T, U>::same_type>();}

template <>
class instigate::generic::require<1> 
{};

template <typename T, typename U>
class instigate::generic::conversion
{
private:
        typedef char small;
        class big { char a[2]; };
        static T makeT();
        static small test(U);
        static big test(...);
public:
        static const bool exists = (sizeof(small) == sizeof(test(makeT())));
        static const bool same_type = false;
        static const bool super_sub_class = 
                conversion<const U*, const T*>::exists &&
                !conversion<const T*, const void*>::same_type;
};

template <typename T>
class instigate::generic::conversion<T, T>
{
public:
        static const bool exists = true;
        static const bool same_type = true;
        static const bool super_sub_class = false;
};

template <int t>
struct instigate::generic::int_to_type
{
        enum { value = t };
};

template <typename T>
struct instigate::generic::type_to_type
{
        typedef T original_type;
};

template <typename U, typename F>
static void require_same_type(U v1, F v2)
{
        CHECK_SAME_TYPE(U, F);
}

#define REQUIRE_SAME_TYPE(v1, v2){require_same_type(v1, v2);}

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:

#endif // INSTIGATE_FRAMEWORK_GENERIC_BASE

---

© Instigate CJSC, Open Source