06e744948b
2006-09-04 Benjamin Kosnik <bkoz@redhat.com> PR c++/28871 * include/ext/bitmap_allocator.h: Add comment for end of anonymous namespace. * include/ext/rope: Same. * include/bits/cpp_type_traits.h: Same. * include/tr1/tuple: Same. * include/tr1/functional_iterate.h: Same. * include/bits/cpp_type_traits.h: Revert anonymous namespace change, use nested detail instead. * testsuite/lib/libstdc++.exp (libstdc++_init): PCHFLAGS revert to stdc++.h. From-SVN: r116680
277 lines
11 KiB
C++
277 lines
11 KiB
C++
// class template tuple -*- C++ -*-
|
|
|
|
// Copyright (C) 2004, 2005 Free Software Foundation, Inc.
|
|
//
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
// software; you can redistribute it and/or modify it under the
|
|
// terms of the GNU General Public License as published by the
|
|
// Free Software Foundation; either version 2, 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 General Public License for more details.
|
|
|
|
// You should have received a copy of the GNU General Public License along
|
|
// with this library; see the file COPYING. If not, write to the Free
|
|
// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
|
|
// USA.
|
|
|
|
// 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.
|
|
|
|
/** @file
|
|
* This is a TR1 C++ Library header.
|
|
*/
|
|
|
|
// Chris Jefferson <chris@bubblescope.net>
|
|
|
|
#ifndef _TUPLE
|
|
#define _TUPLE 1
|
|
|
|
#include <tr1/utility>
|
|
#include <tr1/ref_fwd.h>
|
|
|
|
namespace std
|
|
{
|
|
_GLIBCXX_BEGIN_NAMESPACE(tr1)
|
|
|
|
// An implementation specific class which is used in the tuple class
|
|
// when the tuple is not maximum possible size.
|
|
struct _NullClass { };
|
|
|
|
template<typename _Tp0 = _NullClass, typename _Tp1 = _NullClass,
|
|
typename _Tp2 = _NullClass, typename _Tp3 = _NullClass,
|
|
typename _Tp4 = _NullClass, typename _Tp5 = _NullClass,
|
|
typename _Tp6 = _NullClass, typename _Tp7 = _NullClass,
|
|
typename _Tp8 = _NullClass, typename _Tp9 = _NullClass>
|
|
class tuple;
|
|
|
|
/// Gives the type of the ith element of a given tuple type.
|
|
template<int __i, typename _Tp>
|
|
struct tuple_element;
|
|
|
|
/// Finds the size of a given tuple type.
|
|
template<typename _Tp>
|
|
struct tuple_size;
|
|
|
|
// Adds a const reference to a non-reference type.
|
|
template<typename _Tp>
|
|
struct __add_c_ref
|
|
{ typedef const _Tp& type; };
|
|
|
|
template<typename _Tp>
|
|
struct __add_c_ref<_Tp&>
|
|
{ typedef _Tp& type; };
|
|
|
|
// Adds a reference to a non-reference type.
|
|
template<typename _Tp>
|
|
struct __add_ref
|
|
{ typedef _Tp& type; };
|
|
|
|
template<typename _Tp>
|
|
struct __add_ref<_Tp&>
|
|
{ typedef _Tp& type; };
|
|
|
|
// Class used in the implementation of get
|
|
template<int __i, typename _Tp>
|
|
struct __get_helper;
|
|
|
|
// Returns a const reference to the ith element of a tuple.
|
|
// Any const or non-const ref elements are returned with their original type.
|
|
template<int __i, typename _Tp0, typename _Tp1, typename _Tp2, typename _Tp3,
|
|
typename _Tp4, typename _Tp5, typename _Tp6, typename _Tp7,
|
|
typename _Tp8, typename _Tp9>
|
|
typename __add_ref<typename tuple_element<__i, tuple<_Tp0, _Tp1, _Tp2,
|
|
_Tp3, _Tp4, _Tp5,
|
|
_Tp6, _Tp7, _Tp8,
|
|
_Tp9> >::type>::type
|
|
get(tuple<_Tp0, _Tp1, _Tp2, _Tp3, _Tp4, _Tp5, _Tp6, _Tp7, _Tp8,
|
|
_Tp9>& __t)
|
|
{
|
|
return __get_helper<__i, tuple<_Tp0, _Tp1, _Tp2, _Tp3, _Tp4, _Tp5, _Tp6,
|
|
_Tp7, _Tp8, _Tp9> >::get_value(__t);
|
|
}
|
|
|
|
template<int __i, typename _Tp0, typename _Tp1, typename _Tp2, typename _Tp3,
|
|
typename _Tp4, typename _Tp5, typename _Tp6, typename _Tp7,
|
|
typename _Tp8, typename _Tp9>
|
|
typename __add_c_ref<typename tuple_element<__i, tuple<_Tp0, _Tp1, _Tp2,
|
|
_Tp3, _Tp4, _Tp5,
|
|
_Tp6, _Tp7, _Tp8,
|
|
_Tp9> >::type>::type
|
|
get(const tuple<_Tp0, _Tp1, _Tp2, _Tp3, _Tp4, _Tp5, _Tp6, _Tp7, _Tp8,
|
|
_Tp9>& __t)
|
|
{
|
|
return __get_helper<__i, tuple<_Tp0, _Tp1, _Tp2, _Tp3, _Tp4, _Tp5, _Tp6,
|
|
_Tp7, _Tp8, _Tp9> >::get_value(__t);
|
|
}
|
|
|
|
// This class helps construct the various comparison operations on tuples
|
|
template<int __check_equal_size, int __i, int __j, typename _Tp, typename _Up>
|
|
struct __tuple_compare;
|
|
|
|
template<int __i, int __j, typename _Tp, typename _Up>
|
|
struct __tuple_compare<0, __i, __j, _Tp, _Up>
|
|
{
|
|
static bool __eq(const _Tp& __t, const _Up& __u)
|
|
{
|
|
return get<__i>(__t) == get<__i>(__u) &&
|
|
__tuple_compare<0, __i+1, __j, _Tp, _Up>::__eq(__t, __u);
|
|
}
|
|
static bool __less(const _Tp& __t, const _Up& __u)
|
|
{
|
|
return (get<__i>(__t) < get<__i>(__u)) || !(get<__i>(__u) < get<__i>(__t)) &&
|
|
__tuple_compare<0, __i+1, __j, _Tp, _Up>::__less(__t, __u);
|
|
}
|
|
};
|
|
|
|
template<int __i, typename _Tp, typename _Up>
|
|
struct __tuple_compare<0, __i, __i, _Tp, _Up>
|
|
{
|
|
static bool __eq(const _Tp&, const _Up&)
|
|
{ return true; }
|
|
static bool __less(const _Tp&, const _Up&)
|
|
{ return false; }
|
|
};
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator==(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{
|
|
typedef tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10> _Tp;
|
|
typedef tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8,_U9, _U10> _Up;
|
|
return __tuple_compare<tuple_size<_Tp>::value - tuple_size<_Tp>::value, 0,
|
|
tuple_size<_Tp>::value, _Tp, _Up>::__eq(__t, __u);
|
|
}
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator<(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{
|
|
typedef tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10> _Tp;
|
|
typedef tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8,_U9, _U10> _Up;
|
|
return __tuple_compare<tuple_size<_Tp>::value - tuple_size<_Tp>::value, 0,
|
|
tuple_size<_Tp>::value, _Tp, _Up>::__less(__t, __u);
|
|
}
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator!=(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{ return !(__t == __u); }
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator>(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{ return __u < __t; }
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator<=(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{ return !(__u < __t); }
|
|
|
|
template<typename _T1, typename _T2, typename _T3, typename _T4, typename _T5,
|
|
typename _T6, typename _T7, typename _T8, typename _T9, typename _T10,
|
|
typename _U1, typename _U2, typename _U3, typename _U4, typename _U5,
|
|
typename _U6, typename _U7, typename _U8, typename _U9, typename _U10>
|
|
bool
|
|
operator>=(const tuple<_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10>& __t,
|
|
const tuple<_U1, _U2, _U3, _U4, _U5, _U6, _U7, _U8, _U9, _U10>& __u)
|
|
{ return !(__t < __u); }
|
|
|
|
// Helper which adds a reference to a type when given a reference_wrapper
|
|
template<typename _Tp>
|
|
struct __strip_reference_wrapper
|
|
{
|
|
typedef _Tp __type;
|
|
};
|
|
|
|
template<typename _Tp>
|
|
struct __strip_reference_wrapper<reference_wrapper<_Tp> >
|
|
{
|
|
typedef _Tp& __type;
|
|
};
|
|
|
|
template<typename _Tp>
|
|
struct __strip_reference_wrapper<const reference_wrapper<_Tp> >
|
|
{
|
|
typedef _Tp& __type;
|
|
};
|
|
|
|
template<typename _Tp0 = _NullClass, typename _Tp1 = _NullClass,
|
|
typename _Tp2 = _NullClass, typename _Tp3 = _NullClass,
|
|
typename _Tp4 = _NullClass, typename _Tp5 = _NullClass,
|
|
typename _Tp6 = _NullClass, typename _Tp7 = _NullClass,
|
|
typename _Tp8 = _NullClass, typename _Tp9 = _NullClass>
|
|
struct __stripped_tuple_type
|
|
{
|
|
typedef tuple<typename __strip_reference_wrapper<_Tp0>::__type,
|
|
typename __strip_reference_wrapper<_Tp1>::__type,
|
|
typename __strip_reference_wrapper<_Tp2>::__type,
|
|
typename __strip_reference_wrapper<_Tp3>::__type,
|
|
typename __strip_reference_wrapper<_Tp4>::__type,
|
|
typename __strip_reference_wrapper<_Tp5>::__type,
|
|
typename __strip_reference_wrapper<_Tp6>::__type,
|
|
typename __strip_reference_wrapper<_Tp7>::__type,
|
|
typename __strip_reference_wrapper<_Tp8>::__type,
|
|
typename __strip_reference_wrapper<_Tp9>::__type> __type;
|
|
};
|
|
|
|
// A class (and instance) which can be used in 'tie' when an element
|
|
// of a tuple is not required
|
|
struct swallow_assign
|
|
{
|
|
template<class T>
|
|
swallow_assign&
|
|
operator=(const T&)
|
|
{ return *this; }
|
|
};
|
|
|
|
// TODO: Put this in some kind of shared file.
|
|
namespace
|
|
{
|
|
swallow_assign ignore;
|
|
}; // anonymous namespace
|
|
|
|
#define _GLIBCXX_CAT(x,y) _GLIBCXX_CAT2(x,y)
|
|
#define _GLIBCXX_CAT2(x,y) x##y
|
|
#define _SHORT_REPEAT
|
|
#define _GLIBCXX_REPEAT_HEADER <tr1/tuple_iterate.h>
|
|
#include <tr1/repeat.h>
|
|
#undef _GLIBCXX_REPEAT_HEADER
|
|
#undef _SHORT_REPEAT
|
|
|
|
_GLIBCXX_END_NAMESPACE
|
|
}
|
|
|
|
#include <tr1/functional>
|
|
|
|
#endif
|