Instigate Open Source Documentation

---

src/generic/_assignable.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_OPEN_SOURCE_INTERNAL_HEADER_IN_CONCEPT
#error This is an internal header file used to implement Instigate Open Source.\
        It should never be included directly by a program.
#endif

#ifndef INSTIGATE_GENERIC_ASSIGNABLE_HPP
#define INSTIGATE_GENERIC_ASSIGNABLE_HPP

// Headers from this project

// Headers from other project

// Headers from standard libraries
#include <new>

// Forward declarations
namespace instigate {
        namespace assignable {
                struct tag;
                template <typename T> struct interface;
                template <typename T> struct requirements;
        }
}

struct instigate::assignable::tag
{
};

template<typename T>
struct instigate::assignable::interface
{
        static void assign(T& a, const T& b)
        {
                a = b;
        }
        
        static T* copy_constructor(char* const p, const T& ob)
        {
                return ::new (static_cast<void*>(p)) T(ob);
        }
};

template<typename T>
struct instigate::assignable::requirements
{
        static void require_assign(T& a, const T& b)
        {
                instigate::assignable::interface<T>::assign(a, b);
        }

        static void require_copy_constructor(char* p, const T& ob)
        {
                instigate::assignable::interface<T>::copy_constructor(p, ob);
        }

        requirements()
        {
                &require_assign;
                &require_copy_constructor;
        }
};

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

#endif // INSTIGATE_GENERIC_ASSIGNABLE_HPP

---

© Instigate CJSC, Open Source