[ceph.git] / ceph / src / boost / libs / bimap / include / boost / bimap / detail / set_view_base.hpp

// Boost.Bimap
//
// Copyright (c) 2006-2007 Matias Capeletto
//
// 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)

/// \file detail/set_view_base.hpp
/// \brief Helper base for the construction of the bimap views types.

#ifndef BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP
#define BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP

#if defined(_MSC_VER)
#pragma once
#endif

#include <boost/config.hpp>

#include <boost/bimap/relation/member_at.hpp>
#include <boost/bimap/relation/support/data_extractor.hpp>
#include <boost/bimap/detail/modifier_adaptor.hpp>
#include <boost/bimap/detail/set_view_iterator.hpp>
#include <boost/bimap/relation/support/get_pair_functor.hpp>
#include <boost/bimap/relation/detail/to_mutable_relation_functor.hpp>
#include <boost/bimap/relation/mutant_relation.hpp>
#include <boost/bimap/container_adaptor/support/iterator_facade_converters.hpp>

namespace boost {
namespace bimaps {
namespace detail {

template< class Key, class Value, class KeyToBase >
class set_view_key_to_base
{
    public:
    const Key operator()( const Value & v ) const
    {
        return keyToBase( v );
    }
    private:
    KeyToBase keyToBase;
};

template< class MutantRelationStorage, class KeyToBase >
class set_view_key_to_base<MutantRelationStorage,MutantRelationStorage,KeyToBase>
{
    typedef BOOST_DEDUCED_TYPENAME MutantRelationStorage::non_mutable_storage non_mutable_storage;
    public:
    const MutantRelationStorage & operator()( const non_mutable_storage & k ) const
    {
        return ::boost::bimaps::relation::detail::mutate<MutantRelationStorage>(k);
    }
    const MutantRelationStorage & operator()( const MutantRelationStorage & k ) const
    {
        return k;
    }
};


// The next macro can be converted in a metafunctor to gain code robustness.
/*===========================================================================*/
#define BOOST_BIMAP_SET_VIEW_CONTAINER_ADAPTOR(                               \
    CONTAINER_ADAPTOR, CORE_INDEX, OTHER_ITER, CONST_OTHER_ITER               \
)                                                                             \
::boost::bimaps::container_adaptor::CONTAINER_ADAPTOR                         \
<                                                                             \
    CORE_INDEX,                                                               \
    ::boost::bimaps::detail::                                                 \
              set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator         >,    \
    ::boost::bimaps::detail::                                                 \
        const_set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator   >,    \
    ::boost::bimaps::detail::                                                 \
              set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::OTHER_ITER       >,    \
    ::boost::bimaps::detail::                                                 \
        const_set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::CONST_OTHER_ITER >,    \
    ::boost::bimaps::container_adaptor::support::iterator_facade_to_base      \
    <                                                                         \
        ::boost::bimaps::detail::      set_view_iterator<                     \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator>,                     \
        ::boost::bimaps::detail::const_set_view_iterator<                     \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator>                \
                                                                              \
    >,                                                                        \
    ::boost::mpl::na,                                                         \
    ::boost::mpl::na,                                                         \
    ::boost::bimaps::relation::detail::                                       \
        get_mutable_relation_functor<                                         \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >,                  \
    ::boost::bimaps::relation::support::                                      \
        get_above_view_functor<                                               \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >,                  \
    ::boost::bimaps::detail::set_view_key_to_base<                            \
        BOOST_DEDUCED_TYPENAME CORE_INDEX::key_type,                          \
        BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type,                        \
        BOOST_DEDUCED_TYPENAME CORE_INDEX::key_from_value                     \
    >                                                                         \
>
/*===========================================================================*/


/*===========================================================================*/
#define BOOST_BIMAP_SEQUENCED_SET_VIEW_CONTAINER_ADAPTOR(                     \
    CONTAINER_ADAPTOR, CORE_INDEX, OTHER_ITER, CONST_OTHER_ITER               \
)                                                                             \
::boost::bimaps::container_adaptor::CONTAINER_ADAPTOR                         \
<                                                                             \
    CORE_INDEX,                                                               \
    ::boost::bimaps::detail::                                                 \
              set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator         >,    \
    ::boost::bimaps::detail::                                                 \
        const_set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator   >,    \
    ::boost::bimaps::detail::                                                 \
              set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::OTHER_ITER       >,    \
    ::boost::bimaps::detail::                                                 \
        const_set_view_iterator<                                              \
                    BOOST_DEDUCED_TYPENAME CORE_INDEX::CONST_OTHER_ITER >,    \
    ::boost::bimaps::container_adaptor::support::iterator_facade_to_base      \
    <                                                                         \
        ::boost::bimaps::detail::      set_view_iterator<                     \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator>,                     \
        ::boost::bimaps::detail::const_set_view_iterator<                     \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator>                \
                                                                              \
    >,                                                                        \
    ::boost::mpl::na,                                                         \
    ::boost::mpl::na,                                                         \
    ::boost::bimaps::relation::detail::                                       \
        get_mutable_relation_functor<                                         \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >,                  \
    ::boost::bimaps::relation::support::                                      \
        get_above_view_functor<                                               \
            BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >                   \
>
/*===========================================================================*/


#if defined(BOOST_MSVC)
/*===========================================================================*/
#define BOOST_BIMAP_SET_VIEW_BASE_FRIEND(TYPE,INDEX_TYPE)                     \
    typedef ::boost::bimaps::detail::set_view_base<                           \
        TYPE< INDEX_TYPE >, INDEX_TYPE > template_class_friend;               \
    friend class template_class_friend;
/*===========================================================================*/
#else
/*===========================================================================*/
#define BOOST_BIMAP_SET_VIEW_BASE_FRIEND(TYPE,INDEX_TYPE)                     \
    friend class ::boost::bimaps::detail::set_view_base<                      \
        TYPE< INDEX_TYPE >, INDEX_TYPE >;
/*===========================================================================*/
#endif


/// \brief Common base for set views.

template< class Derived, class Index >
class set_view_base
{
    typedef ::boost::bimaps::container_adaptor::support::
    iterator_facade_to_base
    <
        ::boost::bimaps::detail::
                  set_view_iterator<BOOST_DEDUCED_TYPENAME Index::      iterator>,
        ::boost::bimaps::detail::
            const_set_view_iterator<BOOST_DEDUCED_TYPENAME Index::const_iterator>

    > iterator_to_base_;

    typedef BOOST_DEDUCED_TYPENAME Index::value_type::left_value_type          left_type_;

    typedef BOOST_DEDUCED_TYPENAME Index::value_type::right_value_type        right_type_;

    typedef BOOST_DEDUCED_TYPENAME Index::value_type                          value_type_;

    typedef ::boost::bimaps::detail::
                    set_view_iterator<BOOST_DEDUCED_TYPENAME Index::iterator>   iterator_;

    public:

    bool replace(iterator_ position,
                 const value_type_ & x)
    {
        return derived().base().replace(
            derived().template functor<iterator_to_base_>()(position),x
        );
    }

    template< class CompatibleLeftType >
    bool replace_left(iterator_ position,
                      const CompatibleLeftType & l)
    {
        return derived().base().replace(
            derived().template functor<iterator_to_base_>()(position),
            ::boost::bimaps::relation::detail::copy_with_left_replaced(*position,l)
        );
    }

    template< class CompatibleRightType >
    bool replace_right(iterator_ position,
                       const CompatibleRightType & r)
    {
        return derived().base().replace(
            derived().template functor<iterator_to_base_>()(position),
            ::boost::bimaps::relation::detail::copy_with_right_replaced(*position,r)
        );
    }

    /* This function may be provided in the future

    template< class Modifier >
    bool modify(iterator_ position,
                Modifier mod)
    {
        return derived().base().modify(

            derived().template functor<iterator_to_base_>()(position),

            ::boost::bimaps::detail::relation_modifier_adaptor
            <
                Modifier,
                BOOST_DEDUCED_TYPENAME Index::value_type,
                BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
                data_extractor
                <
                    ::boost::bimaps::relation::member_at::left,
                    BOOST_DEDUCED_TYPENAME Index::value_type

                >::type,
                BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
                data_extractor
                <
                    ::boost::bimaps::relation::member_at::right,
                    BOOST_DEDUCED_TYPENAME Index::value_type

                >::type

            >(mod)
        );
    }
    */
    /*
    template< class Modifier >
    bool modify_left(iterator_ position, Modifier mod)
    {
        typedef BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
        data_extractor
        <
            BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::member_at::right,
            BOOST_DEDUCED_TYPENAME Index::value_type

        >::type left_data_extractor_;

        return derived().base().modify(

            derived().template functor<iterator_to_base_>()(position),

            // this may be replaced later by
            // ::boost::bind( mod, ::boost::bind(data_extractor_(),_1) )

            ::boost::bimaps::detail::unary_modifier_adaptor
            <
                Modifier,
                BOOST_DEDUCED_TYPENAME Index::value_type,
                left_data_extractor_

            >(mod)
        );
    }

    template< class Modifier >
    bool modify_right(iterator_ position, Modifier mod)
    {
        typedef BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
        data_extractor
        <
            BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::member_at::right,
            BOOST_DEDUCED_TYPENAME Index::value_type

        >::type right_data_extractor_;

        return derived().base().modify(

            derived().template functor<iterator_to_base_>()(position),

            // this may be replaced later by
            // ::boost::bind( mod, ::boost::bind(data_extractor_(),_1) )

            ::boost::bimaps::detail::unary_modifier_adaptor
            <
                Modifier,
                BOOST_DEDUCED_TYPENAME Index::value_type,
                right_data_extractor_

            >(mod)
        );
    }
    */
    protected:

    typedef set_view_base set_view_base_;

    private:

    // Curiously Recurring Template interface.

    Derived& derived()
    {
        return *static_cast<Derived*>(this);
    }

    Derived const& derived() const
    {
        return *static_cast<Derived const*>(this);
    }
};


} // namespace detail
} // namespace bimaps
} // namespace boost

#endif // BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP
Commit	Line	Data
7c673cae FG	1	// Boost.Bimap
	2	//
	3	// Copyright (c) 2006-2007 Matias Capeletto
	4	//
	5	// Distributed under the Boost Software License, Version 1.0.
	6	// (See accompanying file LICENSE_1_0.txt or copy at
	7	// http://www.boost.org/LICENSE_1_0.txt)
	8
	9	/// \file detail/set_view_base.hpp
	10	/// \brief Helper base for the construction of the bimap views types.
	11
	12	#ifndef BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP
	13	#define BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP
	14
	15	#if defined(_MSC_VER)
	16	#pragma once
	17	#endif
	18
	19	#include <boost/config.hpp>
	20
	21	#include <boost/bimap/relation/member_at.hpp>
	22	#include <boost/bimap/relation/support/data_extractor.hpp>
	23	#include <boost/bimap/detail/modifier_adaptor.hpp>
	24	#include <boost/bimap/detail/set_view_iterator.hpp>
	25	#include <boost/bimap/relation/support/get_pair_functor.hpp>
	26	#include <boost/bimap/relation/detail/to_mutable_relation_functor.hpp>
	27	#include <boost/bimap/relation/mutant_relation.hpp>
	28	#include <boost/bimap/container_adaptor/support/iterator_facade_converters.hpp>
	29
	30	namespace boost {
	31	namespace bimaps {
	32	namespace detail {
	33
	34	template< class Key, class Value, class KeyToBase >
	35	class set_view_key_to_base
	36	{
	37	public:
	38	const Key operator()( const Value & v ) const
	39	{
	40	return keyToBase( v );
	41	}
	42	private:
	43	KeyToBase keyToBase;
	44	};
	45
	46	template< class MutantRelationStorage, class KeyToBase >
	47	class set_view_key_to_base<MutantRelationStorage,MutantRelationStorage,KeyToBase>
	48	{
	49	typedef BOOST_DEDUCED_TYPENAME MutantRelationStorage::non_mutable_storage non_mutable_storage;
	50	public:
	51	const MutantRelationStorage & operator()( const non_mutable_storage & k ) const
	52	{
	53	return ::boost::bimaps::relation::detail::mutate<MutantRelationStorage>(k);
	54	}
	55	const MutantRelationStorage & operator()( const MutantRelationStorage & k ) const
	56	{
	57	return k;
	58	}
	59	};
	60
	61
	62	// The next macro can be converted in a metafunctor to gain code robustness.
	63	/===========================================================================/
	64	#define BOOST_BIMAP_SET_VIEW_CONTAINER_ADAPTOR( \
65	CONTAINER_ADAPTOR, CORE_INDEX, OTHER_ITER, CONST_OTHER_ITER \
66	) \
67	::boost::bimaps::container_adaptor::CONTAINER_ADAPTOR \
68	< \
69	CORE_INDEX, \
70	::boost::bimaps::detail:: \
71	set_view_iterator< \
72	BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator >, \
73	::boost::bimaps::detail:: \
74	const_set_view_iterator< \
75	BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator >, \
76	::boost::bimaps::detail:: \
77	set_view_iterator< \
78	BOOST_DEDUCED_TYPENAME CORE_INDEX::OTHER_ITER >, \
79	::boost::bimaps::detail:: \
80	const_set_view_iterator< \
81	BOOST_DEDUCED_TYPENAME CORE_INDEX::CONST_OTHER_ITER >, \
82	::boost::bimaps::container_adaptor::support::iterator_facade_to_base \
83	< \
84	::boost::bimaps::detail:: set_view_iterator< \
85	BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator>, \
86	::boost::bimaps::detail::const_set_view_iterator< \
87	BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator> \
88	\
89	>, \
90	::boost::mpl::na, \
91	::boost::mpl::na, \
92	::boost::bimaps::relation::detail:: \
93	get_mutable_relation_functor< \
94	BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >, \
95	::boost::bimaps::relation::support:: \
96	get_above_view_functor< \
97	BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >, \
98	::boost::bimaps::detail::set_view_key_to_base< \
99	BOOST_DEDUCED_TYPENAME CORE_INDEX::key_type, \
100	BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type, \
101	BOOST_DEDUCED_TYPENAME CORE_INDEX::key_from_value \
102	> \
103	>
104	/===========================================================================/
105
106
107	/===========================================================================/
108	#define BOOST_BIMAP_SEQUENCED_SET_VIEW_CONTAINER_ADAPTOR( \
109	CONTAINER_ADAPTOR, CORE_INDEX, OTHER_ITER, CONST_OTHER_ITER \
110	) \
111	::boost::bimaps::container_adaptor::CONTAINER_ADAPTOR \
112	< \
113	CORE_INDEX, \
114	::boost::bimaps::detail:: \
115	set_view_iterator< \
116	BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator >, \
117	::boost::bimaps::detail:: \
118	const_set_view_iterator< \
119	BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator >, \
120	::boost::bimaps::detail:: \
121	set_view_iterator< \
122	BOOST_DEDUCED_TYPENAME CORE_INDEX::OTHER_ITER >, \
123	::boost::bimaps::detail:: \
124	const_set_view_iterator< \
125	BOOST_DEDUCED_TYPENAME CORE_INDEX::CONST_OTHER_ITER >, \
126	::boost::bimaps::container_adaptor::support::iterator_facade_to_base \
127	< \
128	::boost::bimaps::detail:: set_view_iterator< \
129	BOOST_DEDUCED_TYPENAME CORE_INDEX::iterator>, \
130	::boost::bimaps::detail::const_set_view_iterator< \
131	BOOST_DEDUCED_TYPENAME CORE_INDEX::const_iterator> \
132	\
133	>, \
134	::boost::mpl::na, \
135	::boost::mpl::na, \
136	::boost::bimaps::relation::detail:: \
137	get_mutable_relation_functor< \
138	BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type >, \
139	::boost::bimaps::relation::support:: \
140	get_above_view_functor< \
141	BOOST_DEDUCED_TYPENAME CORE_INDEX::value_type > \
142	>
143	/===========================================================================/
144
145
146	#if defined(BOOST_MSVC)
147	/===========================================================================/
148	#define BOOST_BIMAP_SET_VIEW_BASE_FRIEND(TYPE,INDEX_TYPE) \
149	typedef ::boost::bimaps::detail::set_view_base< \
150	TYPE< INDEX_TYPE >, INDEX_TYPE > template_class_friend; \
151	friend class template_class_friend;
152	/===========================================================================/
153	#else
154	/===========================================================================/
155	#define BOOST_BIMAP_SET_VIEW_BASE_FRIEND(TYPE,INDEX_TYPE) \
156	friend class ::boost::bimaps::detail::set_view_base< \
157	TYPE< INDEX_TYPE >, INDEX_TYPE >;
158	/===========================================================================/
159	#endif
160
161
162	/// \brief Common base for set views.
163
164	template< class Derived, class Index >
165	class set_view_base
166	{
167	typedef ::boost::bimaps::container_adaptor::support::
168	iterator_facade_to_base
169	<
170	::boost::bimaps::detail::
171	set_view_iterator<BOOST_DEDUCED_TYPENAME Index:: iterator>,
172	::boost::bimaps::detail::
173	const_set_view_iterator<BOOST_DEDUCED_TYPENAME Index::const_iterator>
174
175	> iterator_to_base_;
176
177	typedef BOOST_DEDUCED_TYPENAME Index::value_type::left_value_type left_type_;
178
179	typedef BOOST_DEDUCED_TYPENAME Index::value_type::right_value_type right_type_;
180
181	typedef BOOST_DEDUCED_TYPENAME Index::value_type value_type_;
182
183	typedef ::boost::bimaps::detail::
184	set_view_iterator<BOOST_DEDUCED_TYPENAME Index::iterator> iterator_;
185
186	public:
187
188	bool replace(iterator_ position,
189	const value_type_ & x)
190	{
191	return derived().base().replace(
192	derived().template functor<iterator_to_base_>()(position),x
193	);
194	}
195
196	template< class CompatibleLeftType >
197	bool replace_left(iterator_ position,
198	const CompatibleLeftType & l)
199	{
200	return derived().base().replace(
201	derived().template functor<iterator_to_base_>()(position),
202	::boost::bimaps::relation::detail::copy_with_left_replaced(*position,l)
203	);
204	}
205
206	template< class CompatibleRightType >
207	bool replace_right(iterator_ position,
208	const CompatibleRightType & r)
209	{
210	return derived().base().replace(
211	derived().template functor<iterator_to_base_>()(position),
212	::boost::bimaps::relation::detail::copy_with_right_replaced(*position,r)
213	);
214	}
215
216	/* This function may be provided in the future
217
218	template< class Modifier >
219	bool modify(iterator_ position,
220	Modifier mod)
221	{
222	return derived().base().modify(
223
224	derived().template functor<iterator_to_base_>()(position),
225
226	::boost::bimaps::detail::relation_modifier_adaptor
227	<
228	Modifier,
229	BOOST_DEDUCED_TYPENAME Index::value_type,
230	BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
231	data_extractor
232	<
233	::boost::bimaps::relation::member_at::left,
234	BOOST_DEDUCED_TYPENAME Index::value_type
235
236	>::type,
237	BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
238	data_extractor
239	<
240	::boost::bimaps::relation::member_at::right,
241	BOOST_DEDUCED_TYPENAME Index::value_type
242
243	>::type
244
245	>(mod)
246	);
247	}
248	*/
249	/*
250	template< class Modifier >
251	bool modify_left(iterator_ position, Modifier mod)
252	{
253	typedef BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
254	data_extractor
255	<
256	BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::member_at::right,
257	BOOST_DEDUCED_TYPENAME Index::value_type
258
259	>::type left_data_extractor_;
260
261	return derived().base().modify(
262
263	derived().template functor<iterator_to_base_>()(position),
264
265	// this may be replaced later by
266	// ::boost::bind( mod, ::boost::bind(data_extractor_(),_1) )
267
268	::boost::bimaps::detail::unary_modifier_adaptor
269	<
270	Modifier,
271	BOOST_DEDUCED_TYPENAME Index::value_type,
272	left_data_extractor_
273
274	>(mod)
275	);
276	}
277
278	template< class Modifier >
279	bool modify_right(iterator_ position, Modifier mod)
280	{
281	typedef BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::support::
282	data_extractor
283	<
284	BOOST_DEDUCED_TYPENAME ::boost::bimaps::relation::member_at::right,
285	BOOST_DEDUCED_TYPENAME Index::value_type
286
287	>::type right_data_extractor_;
288
289	return derived().base().modify(
290
291	derived().template functor<iterator_to_base_>()(position),
292
293	// this may be replaced later by
294	// ::boost::bind( mod, ::boost::bind(data_extractor_(),_1) )
295
296	::boost::bimaps::detail::unary_modifier_adaptor
297	<
298	Modifier,
299	BOOST_DEDUCED_TYPENAME Index::value_type,
300	right_data_extractor_
301
302	>(mod)
303	);
304	}
305	*/
306	protected:
307
308	typedef set_view_base set_view_base_;
309
310	private:
311
312	// Curiously Recurring Template interface.
313
314	Derived& derived()
315	{
316	return static_cast<Derived>(this);
317	}
318
319	Derived const& derived() const
320	{
321	return static_cast<Derived const>(this);
322	}
323	};
324
325
326
327	} // namespace detail
328	} // namespace bimaps
329	} // namespace boost
330
331	#endif // BOOST_BIMAP_DETAIL_SET_VIEW_BASE_HPP