pair

Go to the documentation of this file.

// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * (c) 2008-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once
 
#include <l4/cxx/type_traits>
 
namespace cxx {
 
template< typename First, typename Second >
struct Pair
{
  typedef First First_type;
  typedef Second Second_type;
 
  First first;
  Second second;
 
  template<typename A1, typename A2>
  Pair(A1 &&first, A2 &&second)
  : first(cxx::forward<A1>(first)), second(cxx::forward<A2>(second)) {}
 
  template<typename A1>
  Pair(A1 &&first)
  : first(cxx::forward<A1>(first)), second() {}
 
  Pair() = default;
};
 
template< typename F, typename S >
Pair<F,S> pair(F const &f, S const &s)
{ return cxx::Pair<F,S>(f,s); }
 
 
template< typename Cmp, typename Typ >
class Pair_first_compare
{
private:
  Cmp const &_cmp;
 
public:
  Pair_first_compare(Cmp const &cmp = Cmp()) : _cmp(cmp) {}
 
  bool operator () (Typ const &l, Typ const &r) const
  { return _cmp(l.first,r.first); }
};
 
}
 
template< typename OS, typename A, typename B >
inline
OS &operator << (OS &os, cxx::Pair<A,B> const &p)
{
  os << p.first << ';' << p.second;
  return os;
}