MCTypeTraits.h

#if !defined(MCTypeTraits_H_)
#define MCTypeTraits_H_

#ident "@(#)$Id: MCTypeTraits.h,v 1.5 2004/12/02 07:05:20 mike Exp $"

/*
 * Copyright Miba Consulting Ltd. (c) 2000-2003
 * 
 * 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., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 *
 */

#include "mcllib/MCTypes.h"

/*
 * Provides support for optimizations
 * There are three optimizations
 * - optimize destructor
 * - optimize copy constructor 
 * - optimize assignment
 * If the optimization is set then the relevant operation can be avoided
 * Otherwise the operation must be performed. This is useful when using
 * placement new to allocate arrays of things which may or may not be
 * objects. To get better performance (e.g. if your copy constructor nothing)
 * then specialize MCTypeTraits.
 * The is_pod member determines if the type is a pod (plain-old-data) type
 */

namespace mcllib
{
    template<typename T>
    struct MCTypeTraits {
        typedef T underlying_type;
        enum {
            destruct_opt = 0,
            copy_opt = 0,
            assign_opt = 0,
            is_pod = 0
        };
        typedef const underlying_type& copy_param_type;
        typedef const underlying_type& copy_return_type;
    };

    template<>
    struct MCTypeTraits<bool> {
        typedef bool underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcint8> {
        typedef mcllib::mcint8 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcuint8> {
        typedef mcllib::mcuint8 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcint16> {
        typedef mcllib::mcint16 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcuint16> {
        typedef mcllib::mcuint16 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcint32> {
        typedef mcllib::mcint32 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcuint32> {
        typedef mcllib::mcuint32 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcint64> {
        typedef mcllib::mcint64 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef const underlying_type& copy_param_type;
        typedef const underlying_type& copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcuint64> {
        typedef mcllib::mcuint64 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef const underlying_type& copy_param_type;
        typedef const underlying_type& copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcfloat32> {
        typedef mcllib::mcfloat32 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef underlying_type copy_param_type;
        typedef underlying_type copy_return_type;
    };

    template<>
    struct MCTypeTraits<mcllib::mcfloat64> {
        typedef mcllib::mcfloat64 underlying_type;
        enum { destruct_opt = 1, copy_opt = 1, assign_opt = 1, is_pod = 1 };
        typedef const underlying_type& copy_param_type;
        typedef const underlying_type& copy_return_type;
    };

};

#endif

---