forked from boostorg/mpl
Bruno Dutra
c8fe35643d
Originally Tickets 7975 and 8749 referred only to insertion of keys into maps, but the very same bug can be reproduced for sets as well. Moreover, the removal of keys from both also suffers of the same bug.
142 lines
3.8 KiB
C++
142 lines
3.8 KiB
C++
|
|
#ifndef BOOST_MPL_MAP_AUX_ITEM_HPP_INCLUDED
|
|
#define BOOST_MPL_MAP_AUX_ITEM_HPP_INCLUDED
|
|
|
|
// Copyright Aleksey Gurtovoy 2003-2004
|
|
// Copyright David Abrahams 2003-2004
|
|
//
|
|
// 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)
|
|
//
|
|
// See http://www.boost.org/libs/mpl for documentation.
|
|
|
|
// $Id$
|
|
// $Date$
|
|
// $Revision$
|
|
|
|
#include <boost/mpl/void.hpp>
|
|
#include <boost/mpl/pair.hpp>
|
|
#include <boost/mpl/long.hpp>
|
|
#include <boost/mpl/next.hpp>
|
|
#include <boost/mpl/prior.hpp>
|
|
#include <boost/mpl/map/aux_/map0.hpp>
|
|
#include <boost/mpl/aux_/order_impl.hpp>
|
|
#include <boost/mpl/aux_/yes_no.hpp>
|
|
#include <boost/mpl/aux_/type_wrapper.hpp>
|
|
#include <boost/mpl/aux_/config/arrays.hpp>
|
|
#include <boost/mpl/aux_/config/typeof.hpp>
|
|
#include <boost/mpl/aux_/config/ctps.hpp>
|
|
|
|
|
|
namespace boost { namespace mpl {
|
|
|
|
#if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
|
|
|
|
template< typename Key, typename T, typename Base >
|
|
struct m_item
|
|
: Base
|
|
{
|
|
typedef Key key_;
|
|
typedef pair<Key,T> item;
|
|
typedef Base base;
|
|
typedef m_item type;
|
|
|
|
typedef typename next< typename Base::size >::type size;
|
|
typedef typename next< typename Base::order >::type order;
|
|
|
|
#if defined(BOOST_MPL_CFG_NO_DEPENDENT_ARRAY_TYPES)
|
|
typedef typename aux::weighted_tag<BOOST_MPL_AUX_MSVC_VALUE_WKND(order)::value>::type order_tag_;
|
|
#else
|
|
typedef char (&order_tag_)[BOOST_MPL_AUX_MSVC_VALUE_WKND(order)::value];
|
|
#endif
|
|
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::type_wrapper<T>, VALUE_BY_KEY, m_item, aux::type_wrapper<Key>* );
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::type_wrapper<item>, ITEM_BY_ORDER, m_item, order* );
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( order_tag_, ORDER_BY_KEY, m_item, aux::type_wrapper<Key>* );
|
|
};
|
|
|
|
|
|
template< typename Key, typename Base >
|
|
struct m_mask
|
|
: Base
|
|
{
|
|
typedef void_ key_;
|
|
typedef Base base;
|
|
typedef m_mask type;
|
|
|
|
typedef typename prior< typename Base::size >::type size;
|
|
typedef typename x_order_impl<Base,Key>::type key_order_;
|
|
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::type_wrapper<void_>, VALUE_BY_KEY, m_mask, aux::type_wrapper<Key>* );
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::type_wrapper<void_>, ITEM_BY_ORDER, m_mask, key_order_* );
|
|
};
|
|
|
|
#else // BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES
|
|
|
|
|
|
# if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
|
|
|
|
template< long n, typename Key, typename T, typename Base >
|
|
struct m_item;
|
|
|
|
# else
|
|
|
|
template< long n >
|
|
struct m_item_impl
|
|
{
|
|
template< typename Key, typename T, typename Base >
|
|
struct result_;
|
|
};
|
|
|
|
template< long n, typename Key, typename T, typename Base >
|
|
struct m_item
|
|
: m_item_impl<n>::result_<Key,T,Base>
|
|
{
|
|
};
|
|
|
|
|
|
# endif
|
|
|
|
|
|
template< typename Key, typename T, typename Base >
|
|
struct m_item_
|
|
: Base
|
|
{
|
|
typedef Key key_;
|
|
typedef Base base;
|
|
typedef m_item_ type;
|
|
|
|
typedef typename next< typename Base::size >::type size;
|
|
typedef typename next< typename Base::order >::type order;
|
|
|
|
#if defined(BOOST_MPL_CFG_NO_DEPENDENT_ARRAY_TYPES)
|
|
typedef typename aux::weighted_tag<BOOST_MPL_AUX_MSVC_VALUE_WKND(order)::value>::type order_tag_;
|
|
#else
|
|
typedef char (&order_tag_)[BOOST_MPL_AUX_MSVC_VALUE_WKND(order)::value];
|
|
#endif
|
|
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( order_tag_, ORDER_BY_KEY, m_item_, aux::type_wrapper<Key>* );
|
|
};
|
|
|
|
template< typename Key, typename Base >
|
|
struct m_mask
|
|
: Base
|
|
{
|
|
typedef void_ key_;
|
|
typedef Base base;
|
|
typedef m_mask type;
|
|
|
|
typedef typename prior< typename Base::size >::type size;
|
|
typedef typename x_order_impl<Base,Key>::type key_order_;
|
|
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::no_tag, ORDER_BY_KEY, m_mask, aux::type_wrapper<Key>* );
|
|
BOOST_MPL_AUX_MAP_OVERLOAD( aux::yes_tag, IS_MASKED, m_mask, key_order_* );
|
|
};
|
|
|
|
#endif // BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES
|
|
|
|
}}
|
|
|
|
#endif // BOOST_MPL_MAP_AUX_ITEM_HPP_INCLUDED
|