PageRenderTime 50ms CodeModel.GetById 11ms app.highlight 32ms RepoModel.GetById 2ms app.codeStats 0ms

/Src/Dependencies/Boost/boost/range/detail/microsoft.hpp

http://hadesmem.googlecode.com/
C++ Header | 931 lines | 613 code | 240 blank | 78 comment | 33 complexity | db6fe0efa40bd8398edc20a5283399ed MD5 | raw file
  1#ifndef BOOST_RANGE_DETAIL_MICROSOFT_HPP
  2#define BOOST_RANGE_DETAIL_MICROSOFT_HPP
  3
  4// Boost.Range MFC/ATL Extension
  5//
  6// Copyright Shunsuke Sogame 2005-2006.
  7// Distributed under the Boost Software License, Version 1.0. 
  8// (See accompanying file LICENSE_1_0.txt or copy at 
  9// http://www.boost.org/LICENSE_1_0.txt)
 10
 11
 12
 13
 14// config
 15//
 16
 17
 18#include <boost/range/iterator.hpp>
 19
 20
 21#define BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1 1
 22
 23
 24#if !defined(BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1)
 25    #define BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator range_mutable_iterator
 26    #define BOOST_RANGE_DETAIL_MICROSOFT_range_begin            range_begin
 27    #define BOOST_RANGE_DETAIL_MICROSOFT_range_end              range_end
 28#else
 29    #define BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator range_mutable_iterator
 30    #define BOOST_RANGE_DETAIL_MICROSOFT_range_begin            range_begin
 31    #define BOOST_RANGE_DETAIL_MICROSOFT_range_end              range_end
 32#endif
 33
 34
 35
 36
 37// yet another customization way
 38//
 39
 40
 41#include <boost/iterator/iterator_traits.hpp> // iterator_difference
 42#include <boost/mpl/identity.hpp>
 43#include <boost/mpl/if.hpp>
 44#include <boost/preprocessor/cat.hpp>
 45#include <boost/preprocessor/control/iif.hpp>
 46#include <boost/preprocessor/comma_if.hpp>
 47#include <boost/preprocessor/detail/is_unary.hpp>
 48#include <boost/preprocessor/list/for_each.hpp>
 49#include <boost/preprocessor/repetition/enum_params.hpp>
 50#include <boost/preprocessor/repetition/repeat.hpp>
 51#include <boost/preprocessor/seq/for_each_i.hpp>
 52#include <boost/preprocessor/seq/size.hpp>
 53#include <boost/preprocessor/tuple/eat.hpp>
 54#include <boost/range/const_iterator.hpp>
 55#include <boost/range/size_type.hpp>
 56#include <boost/type_traits/is_const.hpp>
 57#include <boost/type_traits/is_same.hpp>
 58#include <boost/type_traits/remove_cv.hpp>
 59#include <boost/utility/addressof.hpp>
 60#include <boost/utility/enable_if.hpp> // disable_if
 61
 62#if !defined(BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1)
 63    #include <boost/range/mutable_iterator.hpp>
 64#else
 65    #include <iterator> // distance
 66    #include <boost/range/begin.hpp>
 67    #include <boost/range/end.hpp>
 68    #include <boost/range/iterator.hpp>
 69#endif
 70
 71
 72namespace boost { namespace range_detail_microsoft {
 73
 74
 75    // customization point
 76    //
 77
 78    template< class Tag >
 79    struct customization;
 80
 81
 82    template< class T >
 83    struct customization_tag;
 84
 85
 86    struct using_type_as_tag
 87    { };
 88
 89
 90    // Topic:
 91    // In fact, it is unnecessary for VC++.
 92    // VC++'s behavior seems conforming, while GCC fails without this.
 93    template< class Iterator, class T >
 94    struct mutable_ :
 95        disable_if< is_const<T>, Iterator >
 96    { };
 97
 98
 99    // helpers
100    //
101
102    template< class Tag, class T >
103    struct customization_tag_of
104    {
105        typedef typename mpl::if_< is_same<using_type_as_tag, Tag>,
106            T,
107            Tag
108        >::type type;
109    };
110
111
112    template< class T >
113    struct customization_of
114    {
115        typedef typename remove_cv<T>::type bare_t;
116        typedef typename customization_tag<bare_t>::type tag_t;
117        typedef customization<tag_t> type;
118    };
119
120
121    template< class T >
122    struct mutable_iterator_of
123    {
124        typedef typename remove_cv<T>::type bare_t;
125        typedef typename customization_of<bare_t>::type cust_t;
126        typedef typename cust_t::template meta<bare_t>::mutable_iterator type;
127    };
128
129
130    template< class T >
131    struct const_iterator_of
132    {
133        typedef typename remove_cv<T>::type bare_t;
134        typedef typename customization_of<bare_t>::type cust_t;
135        typedef typename cust_t::template meta<bare_t>::const_iterator type;
136    };
137
138
139    template< class T >
140    struct size_type_of
141    {
142        typedef typename range_detail_microsoft::mutable_iterator_of<T>::type miter_t;
143        typedef typename iterator_difference<miter_t>::type type;
144    };
145
146
147    template< class T > inline
148    typename mutable_iterator_of<T>::type
149    begin_of(T& x)
150    {
151        typedef typename customization_of<T>::type cust_t;
152        return cust_t().template begin<typename mutable_iterator_of<T>::type>(x);
153    }
154
155
156    template< class T > inline
157    typename const_iterator_of<T>::type
158    begin_of(T const& x)
159    {
160        typedef typename customization_of<T>::type cust_t;
161        return cust_t().template begin<typename const_iterator_of<T>::type>(x);
162    }
163
164
165    template< class T > inline
166    typename mutable_iterator_of<T>::type
167    end_of(T& x)
168    {
169        typedef typename customization_of<T>::type cust_t;
170        return cust_t().template end<typename mutable_iterator_of<T>::type>(x);
171    }
172
173
174    template< class T > inline
175    typename const_iterator_of<T>::type
176    end_of(T const& x)
177    {
178        typedef typename customization_of<T>::type cust_t;
179        return cust_t().template end<typename const_iterator_of<T>::type>(x);
180    }
181
182
183#if defined(BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1)
184
185    template< class T > inline
186    typename size_type_of<T>::type
187    size_of(T const& x)
188    {
189        return std::distance(boost::begin(x), boost::end(x));
190    }
191
192#endif
193
194
195    template< class Range >
196    struct compatible_mutable_iterator : 
197        BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator<Range>
198    { };
199
200
201} } // namespace boost::range_detail_microsoft
202
203
204#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_open(NamespaceList) \
205    BOOST_PP_LIST_FOR_EACH(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_open_op, ~, NamespaceList) \
206/**/
207
208    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_open_op(r, data, elem) \
209        namespace elem { \
210    /**/
211
212
213#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_close(NamespaceList) \
214    BOOST_PP_LIST_FOR_EACH(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_close_op, ~, NamespaceList) \
215/**/
216
217    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_close_op(r, data, elem) \
218        } \
219    /**/
220
221
222#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_expand_op(r, data, elem) \
223    :: elem \
224/**/
225
226
227#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE(Tag, NamespaceList, Name) \
228    namespace boost { namespace range_detail_microsoft { \
229        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_tag(Tag, BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
230    } } \
231    \
232    namespace boost { \
233        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_mutable_iterator(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
234        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_const_iterator(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
235        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_size_type(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
236    } \
237    \
238    BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_open(NamespaceList) \
239        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_begin(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
240        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_begin_const(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
241        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_end(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
242        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_end_const(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
243        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_size(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name)) \
244    BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_close(NamespaceList) \
245/**/
246
247
248    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_fullname(NamespaceList, Name) \
249        BOOST_PP_LIST_FOR_EACH(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_expand_op, ~, NamespaceList) :: Name \
250    /**/
251
252
253    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_tag(Tag, Fullname) \
254        template< > \
255        struct customization_tag< Fullname > : \
256            customization_tag_of< Tag, Fullname > \
257        { }; \
258    /**/
259
260
261    // metafunctions
262    //
263
264    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_mutable_iterator(Fullname) \
265        template< > \
266        struct BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator< Fullname > : \
267            range_detail_microsoft::mutable_iterator_of< Fullname > \
268        { }; \
269    /**/
270
271
272    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_const_iterator(Fullname) \
273        template< > \
274        struct range_const_iterator< Fullname > : \
275            range_detail_microsoft::const_iterator_of< Fullname > \
276        { }; \
277    /**/
278
279
280    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_size_type(Fullname) \
281        template< > \
282        struct range_size< Fullname > : \
283            range_detail_microsoft::size_type_of< Fullname > \
284        { }; \
285    /**/
286
287
288    // functions
289    //
290
291    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_begin(Fullname) \
292        inline \
293        boost::range_detail_microsoft::mutable_iterator_of< Fullname >::type \
294        BOOST_RANGE_DETAIL_MICROSOFT_range_begin(Fullname& x) \
295        { \
296            return boost::range_detail_microsoft::begin_of(x); \
297        } \
298    /**/
299
300
301    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_begin_const(Fullname) \
302        inline \
303        boost::range_detail_microsoft::const_iterator_of< Fullname >::type \
304        BOOST_RANGE_DETAIL_MICROSOFT_range_begin(Fullname const& x) \
305        { \
306            return boost::range_detail_microsoft::begin_of(x); \
307        } \
308    /**/
309
310
311    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_end(Fullname) \
312        inline \
313        boost::range_detail_microsoft::mutable_iterator_of< Fullname >::type \
314        BOOST_RANGE_DETAIL_MICROSOFT_range_end(Fullname& x) \
315        { \
316            return boost::range_detail_microsoft::end_of(x); \
317        } \
318    /**/
319
320
321    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_end_const(Fullname) \
322        inline \
323        boost::range_detail_microsoft::const_iterator_of< Fullname >::type \
324        BOOST_RANGE_DETAIL_MICROSOFT_range_end(Fullname const& x) \
325        { \
326            return boost::range_detail_microsoft::end_of(x); \
327        } \
328    /**/
329
330
331    #if !defined(BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1)
332
333        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_size(Fullname) \
334        /**/
335
336    #else
337
338        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TYPE_size(Fullname) \
339            inline \
340            boost::range_detail_microsoft::size_type_of< Fullname >::type \
341            boost_range_size(Fullname const& x) \
342            { \
343                return boost::range_detail_microsoft::size_of(x); \
344            } \
345        /**/
346
347    #endif
348
349
350#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE(Tag, NamespaceList, Name, ParamSeqOrCount) \
351    BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_impl( \
352        Tag, NamespaceList, Name, \
353        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_to_param_seq(ParamSeqOrCount) \
354    ) \
355/**/
356
357    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_to_param_seq(ParamSeqOrCount) \
358        BOOST_PP_IIF(BOOST_PP_IS_UNARY(ParamSeqOrCount), \
359            ParamSeqOrCount BOOST_PP_TUPLE_EAT(3), \
360            BOOST_PP_REPEAT \
361        )(ParamSeqOrCount, BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_to_param_seq_op, ~) \
362    /**/
363
364        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_to_param_seq_op(z, n, _) \
365            (class) \
366        /**/
367
368
369#define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_impl(Tag, NamespaceList, Name, ParamSeq) \
370    namespace boost { namespace range_detail_microsoft { \
371            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_tag( \
372            Tag, \
373            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
374            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
375        ) \
376    } } \
377    \
378    namespace boost { \
379        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_mutable_iterator( \
380            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
381            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
382        ) \
383        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_const_iterator( \
384            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
385            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
386        ) \
387        \
388        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_size_type( \
389            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
390            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
391        ) \
392    } \
393    \
394    BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_open(NamespaceList) \
395        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_begin( \
396            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
397            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
398        ) \
399        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_begin_const( \
400            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
401            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
402        ) \
403        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_end( \
404            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
405            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
406        ) \
407        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_end_const( \
408            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
409            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
410        ) \
411        BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_size( \
412            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq), \
413            BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
414        ) \
415    BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_close(NamespaceList) \
416/**/
417
418
419    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params(ParamSeq) \
420        BOOST_PP_SEQ_FOR_EACH_I(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params_op, ~, ParamSeq) \
421    /**/
422
423        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_params_op(r, data, i, elem) \
424            BOOST_PP_COMMA_IF(i) elem BOOST_PP_CAT(T, i) \
425        /**/
426
427
428    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_fullname(NamespaceList, Name, ParamSeq) \
429        BOOST_PP_LIST_FOR_EACH(BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_namespace_expand_op, ~, NamespaceList) \
430        :: Name < BOOST_PP_ENUM_PARAMS(BOOST_PP_SEQ_SIZE(ParamSeq), T) > \
431    /**/
432
433
434    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_tag(Tag, Params, Fullname) \
435        template< Params > \
436        struct customization_tag< Fullname > : \
437            customization_tag_of< Tag, Fullname > \
438        { }; \
439    /**/
440
441
442    // metafunctions
443    //
444
445    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_mutable_iterator(Params, Fullname) \
446        template< Params > \
447        struct BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator< Fullname > : \
448            range_detail_microsoft::mutable_iterator_of< Fullname > \
449        { }; \
450    /**/
451
452
453    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_const_iterator(Params, Fullname) \
454        template< Params > \
455        struct range_const_iterator< Fullname > : \
456            range_detail_microsoft::const_iterator_of< Fullname > \
457        { }; \
458    /**/
459
460
461    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_size_type(Params, Fullname) \
462        template< Params > \
463        struct range_size< Fullname > : \
464            range_detail_microsoft::size_type_of< Fullname > \
465        { }; \
466    /**/
467
468
469    // functions
470    //
471
472    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_begin(Params, Fullname) \
473        template< Params > inline \
474        typename boost::range_detail_microsoft::mutable_iterator_of< Fullname >::type \
475        BOOST_RANGE_DETAIL_MICROSOFT_range_begin(Fullname& x) \
476        { \
477            return boost::range_detail_microsoft::begin_of(x); \
478        } \
479    /**/
480
481
482    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_begin_const(Params, Fullname) \
483        template< Params > inline \
484        typename boost::range_detail_microsoft::const_iterator_of< Fullname >::type \
485        BOOST_RANGE_DETAIL_MICROSOFT_range_begin(Fullname const& x) \
486        { \
487            return boost::range_detail_microsoft::begin_of(x); \
488        } \
489    /**/
490
491
492    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_end(Params, Fullname) \
493        template< Params > inline \
494        typename boost::range_detail_microsoft::mutable_iterator_of< Fullname >::type \
495        BOOST_RANGE_DETAIL_MICROSOFT_range_end(Fullname& x) \
496        { \
497            return boost::range_detail_microsoft::end_of(x); \
498        } \
499    /**/
500
501
502    #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_end_const(Params, Fullname) \
503        template< Params > inline \
504        typename boost::range_detail_microsoft::const_iterator_of< Fullname >::type \
505        BOOST_RANGE_DETAIL_MICROSOFT_range_end(Fullname const& x) \
506        { \
507            return boost::range_detail_microsoft::end_of(x); \
508        } \
509    /**/
510
511
512    #if !defined(BOOST_RANGE_DETAIL_MICROSOFT_RANGE_VERSION_1)
513
514        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_size(Params, Fullname) \
515        /**/
516
517    #else
518
519        #define BOOST_RANGE_DETAIL_MICROSOFT_CUSTOMIZATION_TEMPLATE_size(Params, Fullname) \
520            template< Params > inline \
521            typename boost::range_detail_microsoft::size_type_of< Fullname >::type \
522            boost_range_size(Fullname const& x) \
523            { \
524                return boost::range_detail_microsoft::size_of(x); \
525            } \
526        /**/
527
528    #endif
529
530
531
532
533// list_iterator and helpers
534//
535
536
537#include <boost/assert.hpp>
538#include <boost/iterator/iterator_categories.hpp>
539#include <boost/iterator/iterator_facade.hpp>
540#include <boost/mpl/if.hpp>
541#include <boost/type_traits/is_same.hpp>
542
543
544// POSITION's header is undocumented, so is NULL.
545//
546struct __POSITION; // incomplete, but used as just a pointer.
547typedef __POSITION *POSITION;
548
549
550namespace boost { namespace range_detail_microsoft {
551
552
553    template<
554        class ListT,
555        class Value,
556        class Reference,
557        class Traversal
558    >
559    struct list_iterator;
560
561
562    template<
563        class ListT,
564        class Value,
565        class Reference,
566        class Traversal
567    >
568    struct list_iterator_super
569    {
570        typedef typename mpl::if_< is_same<use_default, Reference>,
571            Value&,
572            Reference
573        >::type ref_t;
574
575        typedef typename mpl::if_< is_same<use_default, Traversal>,
576            bidirectional_traversal_tag,
577            Traversal
578        >::type trv_t;
579
580        typedef iterator_facade<
581            list_iterator<ListT, Value, Reference, Traversal>,
582            Value,
583            trv_t,
584            ref_t
585        > type;
586    };
587
588
589    template<
590        class ListT,
591        class Value,
592        class Reference = use_default,
593        class Traversal = use_default
594    >
595    struct list_iterator :
596        list_iterator_super<ListT, Value, Reference, Traversal>::type
597    {
598    private:
599        typedef list_iterator self_t;
600        typedef typename list_iterator_super<ListT, Value, Reference, Traversal>::type super_t;
601        typedef typename super_t::reference ref_t;
602
603    public:
604        explicit list_iterator()
605        { }
606
607        explicit list_iterator(ListT& lst, POSITION pos) :
608            m_plst(boost::addressof(lst)), m_pos(pos)
609        { }
610
611    template< class, class, class, class > friend struct list_iterator;
612        template< class ListT_, class Value_, class Reference_, class Traversal_>
613        list_iterator(list_iterator<ListT_, Value_, Reference_, Traversal_> const& other) :
614            m_plst(other.m_plst), m_pos(other.m_pos)
615        { }
616
617    private:
618        ListT *m_plst;
619        POSITION m_pos;
620
621    friend class iterator_core_access;
622        ref_t dereference() const
623        {
624            BOOST_ASSERT(m_pos != 0 && "out of range");
625            return m_plst->GetAt(m_pos);
626        }
627
628        // A    B    C    D    x
629        // Head           Tail NULL(0)
630        //
631        void increment()
632        {
633            BOOST_ASSERT(m_pos != 0 && "out of range");
634            m_plst->GetNext(m_pos);
635        }
636
637        void decrement()
638        {
639            if (m_pos == 0) {
640                m_pos = m_plst->GetTailPosition();
641                return;
642            }
643
644            m_plst->GetPrev(m_pos);
645        }
646
647        bool equal(self_t const& other) const
648        {
649            BOOST_ASSERT(m_plst == other.m_plst && "iterators incompatible");
650            return m_pos == other.m_pos;
651        }
652    };
653
654
655    // customization helpers
656    //
657
658    struct array_functions
659    {
660        template< class Iterator, class X >
661        Iterator begin(X& x)
662        {
663            return x.GetData();
664        }
665
666        template< class Iterator, class X >
667        Iterator end(X& x)
668        {
669            return begin<Iterator>(x) + x.GetSize();
670        }
671    };
672
673
674    struct list_functions
675    {
676        template< class Iterator, class X >
677        Iterator begin(X& x)
678        {
679            return Iterator(x, x.GetHeadPosition());
680        }
681
682        template< class Iterator, class X >
683        Iterator end(X& x)
684        {
685            return Iterator(x, POSITION(0));
686        }
687    };
688
689
690} } // namespace boost::range_detail_microsoft
691
692
693
694
695// test
696//
697
698
699#if defined(BOOST_RANGE_DETAIL_MICROSOFT_TEST)
700
701
702#include <algorithm>
703#include <iterator>
704#include <vector>
705#include <boost/concept_check.hpp>
706#include <boost/next_prior.hpp>
707#include <boost/range/begin.hpp>
708#include <boost/range/concepts.hpp>
709#include <boost/range/const_iterator.hpp>
710#include <boost/range/difference_type.hpp>
711#include <boost/range/distance.hpp>
712#include <boost/range/empty.hpp>
713#include <boost/range/iterator_range.hpp>
714#include <boost/range/mutable_iterator.hpp>
715#include <boost/range/rbegin.hpp>
716#include <boost/range/rend.hpp>
717#include <boost/range/value_type.hpp>
718#include <boost/type_traits/is_same.hpp>
719
720
721namespace boost { namespace range_detail_microsoft {
722
723
724    template< class Range1, class Range2 >
725    bool test_equals(Range1 const& rng1, Range2 const& rng2)
726    {
727        return
728            boost::distance(rng1) == boost::distance(rng2) &&
729            std::equal(boost::begin(rng1), boost::end(rng1), boost::begin(rng2))
730        ;
731    }
732
733
734    template< class AssocContainer, class PairT >
735    bool test_find_key_and_mapped(AssocContainer const& ac, PairT const& pa)
736    {
737        typedef typename boost::range_const_iterator<AssocContainer>::type iter_t;
738        for (iter_t it = boost::const_begin(ac), last = boost::const_end(ac); it != last; ++it) {
739            if (it->first == pa.first && it->second == pa.second)
740                return true;
741        }
742
743        return false;
744    }
745
746
747    // test functions
748    //
749
750    template< class Range >
751    bool test_emptiness(Range& )
752    {
753        bool result = true;
754
755        Range emptyRng;
756        result = result && boost::empty(emptyRng);
757
758        return result;
759    }
760
761
762    template< class Range >
763    bool test_trivial(Range& rng)
764    {
765        bool result = true;
766
767        // convertibility check
768        typedef typename range_const_iterator<Range>::type citer_t;
769        citer_t cit = boost::begin(rng);
770        (void)cit; // unused
771
772        // mutability check
773        typedef typename range_value<Range>::type val_t;
774        val_t v = *boost::begin(rng);
775        *boost::begin(rng) = v;
776        result = result && *boost::begin(rng) == v;
777
778        return result;
779    }
780
781
782    template< class Range >
783    bool test_forward(Range& rng)
784    {
785        boost::function_requires< ForwardRangeConcept<Range> >();
786
787        bool result = (test_trivial)(rng);
788
789        typedef typename range_value<Range>::type val_t;
790
791        std::vector<val_t> saved;
792        std::copy(boost::begin(rng), boost::end(rng), std::back_inserter(saved));
793        std::rotate(boost::begin(saved), boost::next(boost::begin(saved)), boost::end(saved));
794
795        std::rotate(boost::begin(rng), boost::next(boost::begin(rng)), boost::end(rng));
796
797        return result && (test_equals)(saved, rng);
798    };
799
800
801    template< class Range >
802    bool test_bidirectional(Range& rng)
803    {
804        boost::function_requires< BidirectionalRangeConcept<Range> >();
805
806        bool result = (test_forward)(rng);
807
808        typedef typename range_value<Range>::type val_t;
809
810        std::vector<val_t> saved;
811        std::copy(boost::begin(rng), boost::end(rng), std::back_inserter(saved));
812
813        result = result && (test_equals)(
814            boost::make_iterator_range(boost::rbegin(saved), boost::rend(saved)),
815            boost::make_iterator_range(boost::rbegin(rng), boost::rend(rng))
816        );
817
818        return result;
819    }
820
821
822    template< class Range >
823    bool test_random_access(Range& rng)
824    {
825        boost::function_requires< RandomAccessRangeConcept<Range> >();
826
827        bool result = (test_bidirectional)(rng);
828
829        typedef typename range_value<Range>::type val_t;
830
831        std::vector<val_t> saved;
832        std::copy(boost::begin(rng), boost::end(rng), std::back_inserter(saved));
833        std::sort(boost::begin(saved), boost::end(saved));
834
835        std::random_shuffle(boost::begin(rng), boost::end(rng));
836        std::sort(boost::begin(rng), boost::end(rng));
837        result = result && (test_equals)(rng, saved);
838
839        std::random_shuffle(boost::begin(rng), boost::end(rng));
840        std::stable_sort(boost::begin(rng), boost::end(rng));
841        result = result && (test_equals)(rng, saved);
842
843        std::random_shuffle(boost::begin(rng), boost::end(rng));
844        std::partial_sort(boost::begin(rng), boost::end(rng), boost::end(rng));
845        result = result && (test_equals)(rng, saved);
846
847        return result;
848    }
849
850
851    // initializer
852    //
853
854    template< class ArrayT, class SampleRange >
855    bool test_init_array(ArrayT& arr, SampleRange const& sample)
856    {
857        typedef typename range_const_iterator<SampleRange>::type iter_t;
858        typedef typename range_value<SampleRange>::type val_t;
859
860        for (iter_t it = boost::const_begin(sample), last = boost::const_end(sample); it != last; ++it) {
861            val_t v = *it; // works around ATL3 CSimpleArray
862            arr.Add(v);
863        }
864
865        return (test_equals)(arr, sample);
866    }
867
868
869    template< class ListT, class SampleRange >
870    bool test_init_list(ListT& lst, SampleRange const& sample)
871    {
872        typedef typename range_const_iterator<SampleRange>::type iter_t;
873
874        for (iter_t it = boost::const_begin(sample), last = boost::const_end(sample); it != last; ++it) {
875            lst.AddTail(*it);
876        }
877
878        return (test_equals)(lst, sample);
879    }
880
881
882    template< class StringT, class SampleRange >
883    bool test_init_string(StringT& str, SampleRange const& sample)
884    {
885        typedef typename range_const_iterator<SampleRange>::type iter_t;
886        typedef typename range_value<SampleRange>::type val_t;
887
888        for (iter_t it = boost::const_begin(sample), last = boost::const_end(sample); it != last; ++it) {
889            str += *it;
890        }
891
892        return (test_equals)(str, sample);
893    }
894
895
896    template< class MapT, class SampleMap >
897    bool test_init_map(MapT& map, SampleMap const& sample)
898    {
899        typedef typename range_const_iterator<SampleMap>::type iter_t;
900
901        for (iter_t it = boost::const_begin(sample), last = boost::const_end(sample); it != last; ++it) {
902            map.SetAt(it->first, it->second);
903        }
904
905        return boost::distance(map) == boost::distance(sample);
906    }
907
908
909    // metafunction test
910    //
911
912    template< class Range, class Iter >
913    struct test_mutable_iter :
914        boost::is_same< typename boost::BOOST_RANGE_DETAIL_MICROSOFT_range_mutable_iterator<Range>::type, Iter >
915    { };
916
917
918    template< class Range, class Iter >
919    struct test_const_iter :
920        boost::is_same< typename boost::range_const_iterator<Range>::type, Iter >
921    { };
922
923
924} } // namespace boost::range_detail_microsoft
925
926
927#endif // defined(BOOST_RANGE_DETAIL_MICROSOFT_TEST)
928
929
930
931#endif