tuple.h

Go to the documentation of this file.

/***************************************************************************
 *  include/stxxl/bits/common/tuple.h
 *
 *  Part of the STXXL. See http://stxxl.sourceforge.net
 *
 *  Copyright (C) 2003 Roman Dementiev <[email protected]>
 *
 *  Distributed under the Boost Software License, Version 1.0.
 *  (See accompanying file LICENSE_1_0.txt or copy at
 *  http://www.boost.org/LICENSE_1_0.txt)
 **************************************************************************/

#ifndef STXXL_COMMON_TUPLE_HEADER
#define STXXL_COMMON_TUPLE_HEADER

#include <stxxl/bits/namespace.h>
#include <stxxl/bits/common/tmeta.h>
#include <limits>
#include <ostream>

STXXL_BEGIN_NAMESPACE

struct Plug { };

template <class T1,
          class T2,
          class T3,
          class T4,
          class T5,
          class T6
          >
struct tuple_base
{
    typedef T1 first_type;
    typedef T2 second_type;
    typedef T3 third_type;
    typedef T4 fourth_type;
    typedef T5 fifth_type;
    typedef T6 sixth_type;

    template <int I>
    struct item_type
    {
/*
        typedef typename SWITCH<I, CASE<1,first_type,
                                CASE<2,second_type,
                                CASE<3,third_type,
                                CASE<4,fourth_type,
                                CASE<5,fifth_type,
                                CASE<6,sixth_type,
                                CASE<DEFAULT,void
                            > > > > > > > >::result result;
*/
    };
};

//! k-Tuple data type
//!
//! (defined for k < 7)
template <class T1,
          class T2 = Plug,
          class T3 = Plug,
          class T4 = Plug,
          class T5 = Plug,
          class T6 = Plug
          >
struct tuple
{
    //! First tuple component type
    typedef T1 first_type;
    //! Second tuple component type
    typedef T2 second_type;
    //! Third tuple component type
    typedef T3 third_type;
    //! Fourth tuple component type
    typedef T4 fourth_type;
    //! Fifth tuple component type
    typedef T5 fifth_type;
    //! Sixth tuple component type
    typedef T6 sixth_type;

    template <int I>
    struct item_type
    {
        typedef typename SWITCH<I, CASE<1, first_type,
                                        CASE<2, second_type,
                                             CASE<3, third_type,
                                                  CASE<4, fourth_type,
                                                       CASE<5, fifth_type,
                                                            CASE<6, sixth_type,
                                                                 CASE<DEFAULT, void
                                                                      > > > > > > > >::result result;
    };

    //! First tuple component
    first_type first;
    //! Second tuple component
    second_type second;
    //! Third tuple component
    third_type third;
    //! Fourth tuple component
    fourth_type fourth;
    //! Fifth tuple component
    fifth_type fifth;
    //! Sixth tuple component
    sixth_type sixth;

    //! Empty constructor
    tuple() { }

    //! Construct tuple from components
    tuple(first_type _first,
          second_type _second,
          third_type _third,
          fourth_type _fourth,
          fifth_type _fifth,
          sixth_type _sixth
          )
        : first(_first),
          second(_second),
          third(_third),
          fourth(_fourth),
          fifth(_fifth),
          sixth(_sixth)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first && second == t.second && third == t.third
               && fourth == t.fourth && fifth == t.fifth && sixth == t.sixth;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first && second == t.second && third == t.third
                 && fourth == t.fourth && fifth == t.fifth && sixth == t.sixth);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ',' << t.second << ',' << t.third
                  << ',' << t.fourth << ',' << t.fifth << ',' << t.sixth
                  << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min(),
                     std::numeric_limits<second_type>::min(),
                     std::numeric_limits<third_type>::min(),
                     std::numeric_limits<fourth_type>::min(),
                     std::numeric_limits<fifth_type>::min(),
                     std::numeric_limits<sixth_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max(),
                     std::numeric_limits<second_type>::max(),
                     std::numeric_limits<third_type>::max(),
                     std::numeric_limits<fourth_type>::max(),
                     std::numeric_limits<fifth_type>::max(),
                     std::numeric_limits<sixth_type>::max());
    }
};

//! Partial specialization for 1- \c tuple
template <class T1>
struct tuple<T1, Plug, Plug, Plug, Plug>
{
    //! First tuple component type
    typedef T1 first_type;

    //! First tuple component
    first_type first;

    template <int I>
    struct item_type
    {
        typedef typename IF<I == 1, first_type, void>::result result;
    };

    //! Empty constructor
    tuple() { }

    //! Initializing constructor
    tuple(first_type first_)
        : first(first_)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max());
    }
};

//! Partial specialization for 2- \c tuple (equivalent to std::pair)
template <class T1, class T2>
struct tuple<T1, T2, Plug, Plug, Plug, Plug>
{
    //! First tuple component type
    typedef T1 first_type;
    //! Second tuple component type
    typedef T2 second_type;

    template <int I>
    struct item_type
    {
        typedef typename SWITCH<I, CASE<1, first_type,
                                        CASE<2, second_type,
                                             CASE<DEFAULT, void>
                                             > > >::result result;
    };

    //! First tuple component
    first_type first;
    //! Second tuple component
    second_type second;

    //! Empty constructor
    tuple() { }

    //! Initializing constructor
    tuple(first_type first_,
          second_type second_)
        : first(first_),
          second(second_)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first && second == t.second;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first && second == t.second);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ',' << t.second << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min(),
                     std::numeric_limits<second_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max(),
                     std::numeric_limits<second_type>::max());
    }
};

//! Partial specialization for 3- \c tuple (triple)
template <class T1,
          class T2,
          class T3
          >
struct tuple<T1, T2, T3, Plug, Plug, Plug>
{
    //! First tuple component type
    typedef T1 first_type;
    //! Second tuple component type
    typedef T2 second_type;
    //! Third tuple component type
    typedef T3 third_type;

    template <int I>
    struct item_type
    {
        typedef typename SWITCH<I, CASE<1, first_type,
                                        CASE<2, second_type,
                                             CASE<3, second_type,
                                                  CASE<DEFAULT, void>
                                                  > > > >::result result;
    };

    //! First tuple component
    first_type first;
    //! Second tuple component
    second_type second;
    //! Third tuple component
    third_type third;

    //! Empty constructor
    tuple() { }

    //! Construct tuple from components
    tuple(first_type _first,
          second_type _second,
          third_type _third)
        : first(_first),
          second(_second),
          third(_third)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first && second == t.second && third == t.third;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first && second == t.second && third == t.third);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ',' << t.second << ',' << t.third
                  << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min(),
                     std::numeric_limits<second_type>::min(),
                     std::numeric_limits<third_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max(),
                     std::numeric_limits<second_type>::max(),
                     std::numeric_limits<third_type>::max());
    }
};

//! Partial specialization for 4- \c tuple
template <class T1,
          class T2,
          class T3,
          class T4
          >
struct tuple<T1, T2, T3, T4, Plug, Plug>
{
    //! First tuple component type
    typedef T1 first_type;
    //! Second tuple component type
    typedef T2 second_type;
    //! Third tuple component type
    typedef T3 third_type;
    //! Fourth tuple component type
    typedef T4 fourth_type;

    template <int I>
    struct item_type
    {
        typedef typename SWITCH<I, CASE<1, first_type,
                                        CASE<2, second_type,
                                             CASE<3, third_type,
                                                  CASE<4, fourth_type,
                                                       CASE<DEFAULT, void
                                                            > > > > > >::result result;
    };

    //! First tuple component
    first_type first;
    //! Second tuple component
    second_type second;
    //! Third tuple component
    third_type third;
    //! Fourth tuple component
    fourth_type fourth;

    //! Empty constructor
    tuple() { }

    //! Construct tuple from components
    tuple(first_type _first,
          second_type _second,
          third_type _third,
          fourth_type _fourth)
        : first(_first),
          second(_second),
          third(_third),
          fourth(_fourth)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first && second == t.second && third == t.third
               && fourth == t.fourth;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first && second == t.second && third == t.third
                 && fourth == t.fourth);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ',' << t.second << ',' << t.third
                  << ',' << t.fourth << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min(),
                     std::numeric_limits<second_type>::min(),
                     std::numeric_limits<third_type>::min(),
                     std::numeric_limits<fourth_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max(),
                     std::numeric_limits<second_type>::max(),
                     std::numeric_limits<third_type>::max(),
                     std::numeric_limits<fourth_type>::max());
    }
};

//! Partial specialization for 5- \c tuple
template <class T1,
          class T2,
          class T3,
          class T4,
          class T5
          >
struct tuple<T1, T2, T3, T4, T5, Plug>
{
    //! First tuple component type
    typedef T1 first_type;
    //! Second tuple component type
    typedef T2 second_type;
    //! Third tuple component type
    typedef T3 third_type;
    //! Fourth tuple component type
    typedef T4 fourth_type;
    //! Fifth tuple component type
    typedef T5 fifth_type;

    template <int I>
    struct item_type
    {
        typedef typename SWITCH<I, CASE<1, first_type,
                                        CASE<2, second_type,
                                             CASE<3, third_type,
                                                  CASE<4, fourth_type,
                                                       CASE<5, fifth_type,
                                                            CASE<DEFAULT, void
                                                                 > > > > > > >::result result;
    };

    //! First tuple component
    first_type first;
    //! Second tuple component
    second_type second;
    //! Third tuple component
    third_type third;
    //! Fourth tuple component
    fourth_type fourth;
    //! Fifth tuple component
    fifth_type fifth;

    //! Empty constructor
    tuple() { }

    //! Construct tuple from components
    tuple(first_type _first,
          second_type _second,
          third_type _third,
          fourth_type _fourth,
          fifth_type _fifth)
        : first(_first),
          second(_second),
          third(_third),
          fourth(_fourth),
          fifth(_fifth)
    { }

    //! Equality comparison
    bool operator == (const tuple& t) const
    {
        return first == t.first && second == t.second && third == t.third
               && fourth == t.fourth && fifth == t.fifth;
    }

    //! Inequality comparison
    bool operator != (const tuple& t) const
    {
        return !(first == t.first && second == t.second && third == t.third
                 && fourth == t.fourth && fifth == t.fifth);
    }

    //! Make tuple ostream-able
    friend std::ostream& operator << (std::ostream& os, const tuple& t)
    {
        return os << '(' << t.first << ',' << t.second << ',' << t.third
                  << ',' << t.fourth << ',' << t.fifth << ')';
    }

    //! Return minimum value of tuple using numeric_limits
    static tuple min_value()
    {
        return tuple(std::numeric_limits<first_type>::min(),
                     std::numeric_limits<second_type>::min(),
                     std::numeric_limits<third_type>::min(),
                     std::numeric_limits<fourth_type>::min(),
                     std::numeric_limits<fifth_type>::min());
    }

    //! Return maximum value of tuple using numeric_limits
    static tuple max_value()
    {
        return tuple(std::numeric_limits<first_type>::max(),
                     std::numeric_limits<second_type>::max(),
                     std::numeric_limits<third_type>::max(),
                     std::numeric_limits<fourth_type>::max(),
                     std::numeric_limits<fifth_type>::max());
    }
};

/*
   template <class tuple_type,int I>
   typename tuple_type::item_type<I>::result get(const tuple_type & t)
   {
   return NULL;
   }
*/

template <typename TupleType>
struct tuple_less1st
{
    typedef TupleType value_type;

    bool operator () (const value_type& a, const value_type& b) const
    {
        return (a.first < b.first);
    }

    static value_type min_value() { return value_type::min_value(); }
    static value_type max_value() { return value_type::max_value(); }
};

template <typename TupleType>
struct tuple_greater1st
{
    typedef TupleType value_type;

    bool operator () (const value_type& a, const value_type& b) const
    {
        return (a.first > b.first);
    }

    static value_type min_value() { return value_type::max_value(); }
    static value_type max_value() { return value_type::min_value(); }
};

template <typename TupleType>
struct tuple_less1st_less2nd
{
    typedef TupleType value_type;

    bool operator () (const value_type& a, const value_type& b) const
    {
        if (a.first == b.first)
            return (a.second < b.second);
        return (a.first < b.first);
    }

    static value_type min_value() { return value_type::min_value(); }
    static value_type max_value() { return value_type::max_value(); }
};

template <typename TupleType>
struct tuple_less2nd
{
    typedef TupleType value_type;

    bool operator () (const value_type& a, const value_type& b) const
    {
        return (a.second < b.second);
    }

    static value_type min_value() { return value_type::min_value(); }
    static value_type max_value() { return value_type::max_value(); }
};

namespace stream {

/**
 * Counter for creating tuple indexes for example.
 */
template <class ValueType>
struct counter
{
public:
    typedef ValueType value_type;

protected:
    value_type m_count;

public:
    counter(const value_type& start = 0)
        : m_count(start)
    { }

    const value_type& operator * () const
    {
        return m_count;
    }

    counter& operator ++ ()
    {
        ++m_count;
        return *this;
    }

    bool empty() const
    {
        return false;
    }
};

/**
 * Concatenates two tuple streams as streamA . streamB
 */
template <class StreamA, class StreamB>
class concatenate
{
public:
    typedef typename StreamA::value_type value_type;

private:
    StreamA& A;
    StreamB& B;

public:
    concatenate(StreamA& A_, StreamB& B_) : A(A_), B(B_)
    {
        assert(!A.empty());
        assert(!B.empty());
    }

    const value_type& operator * () const
    {
        assert(!empty());

        if (!A.empty()) {
            return *A;
        }
        else {
            return *B;
        }
    }

    concatenate& operator ++ ()
    {
        assert(!empty());

        if (!A.empty()) {
            ++A;
        }
        else if (!B.empty()) {
            ++B;
        }

        return *this;
    }

    bool empty() const
    {
        return (A.empty() && B.empty());
    }
};

} // namespace stream

STXXL_END_NAMESPACE

#endif // !STXXL_COMMON_TUPLE_HEADER