_trivial.h

Go to the documentation of this file.

/* === S T A R T =========================================================== */

#ifndef __ETL__TRIVIAL_H
#define __ETL__TRIVIAL_H

/* === H E A D E R S ======================================================= */

/* === M A C R O S ========================================================= */

/* === T Y P E D E F S ===================================================== */

/* === C L A S S E S & S T R U C T S ======================================= */

_ETL_BEGIN_NAMESPACE

template <class T>
class trivial
{
    typedef T value_type;
    typedef T& reference;
    typedef const T& const_reference;
    typedef T* pointer;
    typedef const T* const_pointer;

    char data[sizeof(T)];
public:
    operator reference()
    { return *reinterpret_cast<pointer>(data); }

    // HACK - Rather dangerous
    //operator reference()const
    //{ return *reinterpret_cast<pointer>(const_cast<char *>(data)); }

    operator const_reference()const
    { return *reinterpret_cast<const_pointer>(data); }

    reference get()
    { return *reinterpret_cast<pointer>(data); }

    const_reference get()const
    { return *reinterpret_cast<const_pointer>(data); }

    void construct()
    { new(&get()) value_type(); }

    void destruct()
    { get().~value_type(); }

    void destroy() { destruct(); }

    template<class U> reference
    operator=(const U &rhs)
    { return get()=rhs; }

    template<class U>reference
    operator=(const trivial<U> &rhs)
    { return get()=rhs.get(); }

    template<class U> reference
    operator+=(const U &rhs)
    { return get()+=rhs; }

    template<class U> reference
    operator-=(const U &rhs)
    { return get()-=rhs; }

    template<class U> reference
    operator*=(const U &rhs)
    { return get()*=rhs; }

    template<class U> reference
    operator/=(const U &rhs)
    { return get()/=rhs; }

    template<class U> reference
    operator%=(const U &rhs)
    { return get()%=rhs; }

    template<class U> reference
    operator^=(const U &rhs)
    { return get()^=rhs; }

    template<class U> reference
    operator&=(const U &rhs)
    { return get()&=rhs; }

    template<class U> reference
    operator>>=(const U &rhs)
    { return get()>>=rhs; }

    template<class U> reference
    operator<<=(const U &rhs)
    { return get()<<=rhs; }

    operator bool()const
    { return get(); }

    bool operator!()const
    { return !get(); }
}; // END of template class trivial

_ETL_END_NAMESPACE

//#include <iostream>

/*
template<typename T, typename _CharT, class _Traits> std::basic_istream<_CharT, _Traits>&
operator>>(std::basic_istream<_CharT, _Traits>& s, etl::trivial<T>& rhs)
{ return s>>(T)(rhs); }

template<typename T,typename _CharT, class _Traits> std::basic_ostream<_CharT, _Traits>&
operator<<(std::basic_ostream<_CharT, _Traits>& s, const etl::trivial<T>& rhs)
{ return s<<(T)(rhs); }
*/

/*
template<typename T> std::istream&
operator>>(std::istream& s, etl::trivial<T>& rhs)
{ return s>>(T)(rhs); }

template<typename T> std::ostream&
operator<<(std::ostream& s, const etl::trivial<T>& rhs)
{ return s<<(T)(rhs); }
*/

/* === E X T E R N S ======================================================= */

/* === E N D =============================================================== */

#endif