JMultiEquals.hh

Go to the documentation of this file.

#ifndef __JLANG__JMULTIEQUALS__
#define __JLANG__JMULTIEQUALS__

#include "JLang/JNullType.hh"
#include "JLang/JTypeList.hh"
#include "JLang/JType.hh"


/**
 * \author mdejong
 */

namespace JLANG {}
namespace JPP { using namespace JLANG; }

namespace JLANG {
   
  /**
   * Template definition of auxiliary base class for composite data structures
   * composed of base classes with equality evaluations capabilities.
   *
   * Each data type <tt>X</tt> in the type list should have the corresponding operator:
   * <pre>
   *       bool operator==(const X& first, const X& second);
   * </pre>
   * This class uses in-class friend operators (see Barton-Nackman trick).
   *
   * This class implements the operators <tt> == != </tt>.
   */
  template<class JClass_t, class JTypelist_t> 
  struct JMultiEquals {
  protected:
    /**
     * Equals method for composite data types.
     *
     * \param  first        first  object
     * \param  second       second object
     * \param  type         type
     * \return              true if two objects are equal; else false
     */
    template<class JHead_t, class JTail_t>
    static inline bool eq(const JClass_t& first,
                          const JClass_t& second,
                          const JType<JTypeList<JHead_t, JTail_t> >& type)
    {
      return (static_cast<const JHead_t&>(first)  ==
              static_cast<const JHead_t&>(second) &&
              eq(first, second, JType<JTail_t>()));
    }
    

    /**
     * Equals method for composite data types.
     *
     * \param  first        first  object
     * \param  second       second object
     * \param  type         type
     * \return              true if two objects are equal; else false
     */
    template<class JHead_t>
    static inline bool eq(const JClass_t& first,
                          const JClass_t& second,
                          const JType<JTypeList<JHead_t, JNullType> >& type)
    {
      return (static_cast<const JHead_t&>(first) ==
              static_cast<const JHead_t&>(second));
    }

  public:
    /**
     * Equal operator.
     *
     * \param  first        first  object
     * \param  second       second object
     * \return              true if two objects are equal; else false
     */
    friend bool operator==(const JClass_t& first,
                           const JClass_t& second)
    { 
      return eq(first, second, JType<JTypelist_t>());
    }


    /**
     * Not equal operator.
     *
     * \param  first        first  object
     * \param  second       second object
     * \return              true if two objects are not equal; else false
     */
    friend bool operator!=(const JClass_t& first,
                           const JClass_t& second)
    {
      return !eq(first, second, JType<JTypelist_t>());
    }
  };
}

#endif