Blame boost/foreach.hpp

Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// foreach.hpp header file
Packit 58578d
//
Packit 58578d
// Copyright 2004 Eric Niebler.
Packit 58578d
// Distributed under the Boost Software License, Version 1.0. (See
Packit 58578d
// accompanying file LICENSE_1_0.txt or copy at
Packit 58578d
// http://www.boost.org/LICENSE_1_0.txt)
Packit 58578d
// See http://www.boost.org/libs/foreach for documentation
Packit 58578d
//
Packit 58578d
// Credits:
Packit 58578d
//  Anson Tsao        - for the initial inspiration and several good suggestions.
Packit 58578d
//  Thorsten Ottosen  - for Boost.Range, and for suggesting a way to detect
Packit 58578d
//                      const-qualified rvalues at compile time on VC7.1+
Packit 58578d
//  Russell Hind      - For help porting to Borland
Packit 58578d
//  Alisdair Meredith - For help porting to Borland
Packit 58578d
//  Stefan Slapeta    - For help porting to Intel
Packit 58578d
//  David Jenkins     - For help finding a Microsoft Code Analysis bug
Packit 58578d
//  mimomorin@...     - For a patch to use rvalue refs on supporting compilers
Packit 58578d
Packit 58578d
#ifndef BOOST_FOREACH
Packit 58578d
Packit 58578d
// MS compatible compilers support #pragma once
Packit 58578d
#if defined(_MSC_VER)
Packit 58578d
# pragma once
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#include <cstddef>
Packit 58578d
#include <utility>  // for std::pair
Packit 58578d
Packit 58578d
#include <boost/config.hpp>
Packit 58578d
#include <boost/detail/workaround.hpp>
Packit 58578d
Packit 58578d
// Some compilers let us detect even const-qualified rvalues at compile-time
Packit 58578d
#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)                                                   \
Packit 58578d
 || defined(BOOST_MSVC) && !defined(_PREFAST_)                                 \
Packit 58578d
 || (BOOST_WORKAROUND(__GNUC__, == 4) && (__GNUC_MINOR__ <= 5) && !defined(BOOST_INTEL) &&       \
Packit 58578d
                                                                  !defined(BOOST_CLANG))         \
Packit 58578d
 || (BOOST_WORKAROUND(__GNUC__, == 3) && (__GNUC_MINOR__ >= 4) && !defined(BOOST_INTEL) &&       \
Packit 58578d
                                                                  !defined(BOOST_CLANG))
Packit 58578d
# define BOOST_FOREACH_COMPILE_TIME_CONST_RVALUE_DETECTION
Packit 58578d
#else
Packit 58578d
// Some compilers allow temporaries to be bound to non-const references.
Packit 58578d
// These compilers make it impossible to for BOOST_FOREACH to detect
Packit 58578d
// temporaries and avoid reevaluation of the collection expression.
Packit 58578d
# if BOOST_WORKAROUND(__BORLANDC__, < 0x593)                                                    \
Packit 58578d
  || (BOOST_WORKAROUND(BOOST_INTEL_CXX_VERSION, <= 700) && defined(_MSC_VER))                   \
Packit 58578d
  || BOOST_WORKAROUND(__SUNPRO_CC, < 0x5100)                                                    \
Packit 58578d
  || BOOST_WORKAROUND(__DECCXX_VER, <= 60590042)
Packit 58578d
#  define BOOST_FOREACH_NO_RVALUE_DETECTION
Packit 58578d
# endif
Packit 58578d
// Some compilers do not correctly implement the lvalue/rvalue conversion
Packit 58578d
// rules of the ternary conditional operator.
Packit 58578d
# if defined(BOOST_FOREACH_NO_RVALUE_DETECTION)                                                 \
Packit 58578d
  || defined(BOOST_NO_SFINAE)                                                                   \
Packit 58578d
  || BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1400))                                        \
Packit 58578d
  || BOOST_WORKAROUND(BOOST_INTEL_WIN, BOOST_TESTED_AT(1400))                                   \
Packit 58578d
  || (BOOST_WORKAROUND(__GNUC__, == 3) && (__GNUC_MINOR__ <= 3) && defined(__APPLE_CC__))       \
Packit 58578d
  || BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(600))                                         \
Packit 58578d
  || BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3206))                                      \
Packit 58578d
  || BOOST_WORKAROUND(__SUNPRO_CC, >= 0x5100)                                                   \
Packit 58578d
  || BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x590))
Packit 58578d
#  define BOOST_FOREACH_NO_CONST_RVALUE_DETECTION
Packit 58578d
# else
Packit 58578d
#  define BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
# endif
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#include <boost/mpl/if.hpp>
Packit 58578d
#include <boost/mpl/assert.hpp>
Packit 58578d
#include <boost/mpl/logical.hpp>
Packit 58578d
#include <boost/mpl/eval_if.hpp>
Packit 58578d
#include <boost/noncopyable.hpp>
Packit 58578d
#include <boost/range/end.hpp>
Packit 58578d
#include <boost/range/begin.hpp>
Packit 58578d
#include <boost/range/rend.hpp>
Packit 58578d
#include <boost/range/rbegin.hpp>
Packit 58578d
#include <boost/range/iterator.hpp>
Packit 58578d
#include <boost/range/reverse_iterator.hpp>
Packit 58578d
#include <boost/type_traits/is_array.hpp>
Packit 58578d
#include <boost/type_traits/is_const.hpp>
Packit 58578d
#include <boost/type_traits/is_abstract.hpp>
Packit 58578d
#include <boost/type_traits/is_base_and_derived.hpp>
Packit 58578d
#include <boost/type_traits/is_rvalue_reference.hpp>
Packit 58578d
#include <boost/iterator/iterator_traits.hpp>
Packit 58578d
#include <boost/utility/addressof.hpp>
Packit 58578d
#include <boost/foreach_fwd.hpp>
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
# include <new>
Packit 58578d
# include <boost/aligned_storage.hpp>
Packit 58578d
# include <boost/utility/enable_if.hpp>
Packit 58578d
# include <boost/type_traits/remove_const.hpp>
Packit 58578d
#endif
Packit 58578d
Packit 58578d
namespace boost
Packit 58578d
{
Packit 58578d
Packit 58578d
// forward declarations for iterator_range
Packit 58578d
template<typename T>
Packit 58578d
class iterator_range;
Packit 58578d
Packit 58578d
// forward declarations for sub_range
Packit 58578d
template<typename T>
Packit 58578d
class sub_range;
Packit 58578d
Packit 58578d
namespace foreach
Packit 58578d
{
Packit 58578d
    ///////////////////////////////////////////////////////////////////////////////
Packit 58578d
    // in_range
Packit 58578d
    //
Packit 58578d
    template<typename T>
Packit 58578d
    inline std::pair<T, T> in_range(T begin, T end)
Packit 58578d
    {
Packit 58578d
        return std::make_pair(begin, end);
Packit 58578d
    }
Packit 58578d
Packit 58578d
    ///////////////////////////////////////////////////////////////////////////////
Packit 58578d
    // boost::foreach::is_lightweight_proxy
Packit 58578d
    //   Specialize this for user-defined collection types if they are inexpensive to copy.
Packit 58578d
    //   This tells BOOST_FOREACH it can avoid the rvalue/lvalue detection stuff.
Packit 58578d
    template<typename T>
Packit 58578d
    struct is_lightweight_proxy
Packit 58578d
      : boost::mpl::false_
Packit 58578d
    {
Packit 58578d
    };
Packit 58578d
Packit 58578d
    ///////////////////////////////////////////////////////////////////////////////
Packit 58578d
    // boost::foreach::is_noncopyable
Packit 58578d
    //   Specialize this for user-defined collection types if they cannot be copied.
Packit 58578d
    //   This also tells BOOST_FOREACH to avoid the rvalue/lvalue detection stuff.
Packit 58578d
    template<typename T>
Packit 58578d
    struct is_noncopyable
Packit 58578d
    #if !defined(BOOST_BROKEN_IS_BASE_AND_DERIVED) && !defined(BOOST_NO_IS_ABSTRACT)
Packit 58578d
      : boost::mpl::or_<
Packit 58578d
            boost::is_abstract<T>
Packit 58578d
          , boost::is_base_and_derived<boost::noncopyable, T>
Packit 58578d
        >
Packit 58578d
    #elif !defined(BOOST_BROKEN_IS_BASE_AND_DERIVED)
Packit 58578d
      : boost::is_base_and_derived<boost::noncopyable, T>
Packit 58578d
    #elif !defined(BOOST_NO_IS_ABSTRACT)
Packit 58578d
      : boost::is_abstract<T>
Packit 58578d
    #else
Packit 58578d
      : boost::mpl::false_
Packit 58578d
    #endif
Packit 58578d
    {
Packit 58578d
    };
Packit 58578d
Packit 58578d
} // namespace foreach
Packit 58578d
Packit 58578d
} // namespace boost
Packit 58578d
Packit 58578d
// vc6/7 needs help ordering the following overloads
Packit 58578d
#ifdef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
# define BOOST_FOREACH_TAG_DEFAULT ...
Packit 58578d
#else
Packit 58578d
# define BOOST_FOREACH_TAG_DEFAULT boost::foreach::tag
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// boost_foreach_is_lightweight_proxy
Packit 58578d
//   Another customization point for the is_lightweight_proxy optimization,
Packit 58578d
//   this one works on legacy compilers. Overload boost_foreach_is_lightweight_proxy
Packit 58578d
//   at the global namespace for your type.
Packit 58578d
template<typename T>
Packit 58578d
inline boost::foreach::is_lightweight_proxy<T> *
Packit 58578d
boost_foreach_is_lightweight_proxy(T *&, BOOST_FOREACH_TAG_DEFAULT) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *
Packit 58578d
boost_foreach_is_lightweight_proxy(std::pair<T, T> *&, boost::foreach::tag) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *
Packit 58578d
boost_foreach_is_lightweight_proxy(boost::iterator_range<T> *&, boost::foreach::tag) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *
Packit 58578d
boost_foreach_is_lightweight_proxy(boost::sub_range<T> *&, boost::foreach::tag) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *
Packit 58578d
boost_foreach_is_lightweight_proxy(T **&, boost::foreach::tag) { return 0; }
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// boost_foreach_is_noncopyable
Packit 58578d
//   Another customization point for the is_noncopyable trait,
Packit 58578d
//   this one works on legacy compilers. Overload boost_foreach_is_noncopyable
Packit 58578d
//   at the global namespace for your type.
Packit 58578d
template<typename T>
Packit 58578d
inline boost::foreach::is_noncopyable<T> *
Packit 58578d
boost_foreach_is_noncopyable(T *&, BOOST_FOREACH_TAG_DEFAULT) { return 0; }
Packit 58578d
Packit 58578d
namespace boost
Packit 58578d
{
Packit 58578d
Packit 58578d
namespace foreach_detail_
Packit 58578d
{
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// Define some utilities for assessing the properties of expressions
Packit 58578d
//
Packit 58578d
template<typename Bool1, typename Bool2>
Packit 58578d
inline boost::mpl::and_<Bool1, Bool2> *and_(Bool1 *, Bool2 *) { return 0; }
Packit 58578d
Packit 58578d
template<typename Bool1, typename Bool2, typename Bool3>
Packit 58578d
inline boost::mpl::and_<Bool1, Bool2, Bool3> *and_(Bool1 *, Bool2 *, Bool3 *) { return 0; }
Packit 58578d
Packit 58578d
template<typename Bool1, typename Bool2>
Packit 58578d
inline boost::mpl::or_<Bool1, Bool2> *or_(Bool1 *, Bool2 *) { return 0; }
Packit 58578d
Packit 58578d
template<typename Bool1, typename Bool2, typename Bool3>
Packit 58578d
inline boost::mpl::or_<Bool1, Bool2, Bool3> *or_(Bool1 *, Bool2 *, Bool3 *) { return 0; }
Packit 58578d
Packit 58578d
template<typename Bool1>
Packit 58578d
inline boost::mpl::not_<Bool1> *not_(Bool1 *) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::is_array<T> *is_array_(T const &) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::is_const<T> *is_const_(T &) { return 0; }
Packit 58578d
Packit 58578d
#ifndef BOOST_FOREACH_NO_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *is_const_(T const &) { return 0; }
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#ifdef BOOST_NO_CXX11_RVALUE_REFERENCES
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::false_ *is_rvalue_(T &, int) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline boost::mpl::true_ *is_rvalue_(T const &, ...) { return 0; }
Packit 58578d
#else
Packit 58578d
template<typename T>
Packit 58578d
inline boost::is_rvalue_reference<T &&> *is_rvalue_(T &&, int) { return 0; }
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// auto_any_t/auto_any
Packit 58578d
//  General utility for putting an object of any type into automatic storage
Packit 58578d
struct auto_any_base
Packit 58578d
{
Packit 58578d
    // auto_any_base must evaluate to false in boolean context so that
Packit 58578d
    // they can be declared in if() statements.
Packit 58578d
    operator bool() const
Packit 58578d
    {
Packit 58578d
        return false;
Packit 58578d
    }
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
struct auto_any : auto_any_base
Packit 58578d
{
Packit 58578d
    explicit auto_any(T const &t)
Packit 58578d
      : item(t)
Packit 58578d
    {
Packit 58578d
    }
Packit 58578d
Packit 58578d
    // temporaries of type auto_any will be bound to const auto_any_base
Packit 58578d
    // references, but we still want to be able to mutate the stored
Packit 58578d
    // data, so declare it as mutable.
Packit 58578d
    mutable T item;
Packit 58578d
};
Packit 58578d
Packit 58578d
typedef auto_any_base const &auto_any_t;
Packit 58578d
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline BOOST_DEDUCED_TYPENAME boost::mpl::if_<C, T const, T>::type &auto_any_cast(auto_any_t a)
Packit 58578d
{
Packit 58578d
    return static_cast<auto_any<T> const &>(a).item;
Packit 58578d
}
Packit 58578d
Packit 58578d
typedef boost::mpl::true_ const_;
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// type2type
Packit 58578d
//
Packit 58578d
template<typename T, typename C = boost::mpl::false_>
Packit 58578d
struct type2type
Packit 58578d
  : boost::mpl::if_<C, T const, T>
Packit 58578d
{
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
struct wrap_cstr
Packit 58578d
{
Packit 58578d
    typedef T type;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<>
Packit 58578d
struct wrap_cstr<char *>
Packit 58578d
{
Packit 58578d
    typedef wrap_cstr<char *> type;
Packit 58578d
    typedef char *iterator;
Packit 58578d
    typedef char *const_iterator;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<>
Packit 58578d
struct wrap_cstr<char const *>
Packit 58578d
{
Packit 58578d
    typedef wrap_cstr<char const *> type;
Packit 58578d
    typedef char const *iterator;
Packit 58578d
    typedef char const *const_iterator;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<>
Packit 58578d
struct wrap_cstr<wchar_t *>
Packit 58578d
{
Packit 58578d
    typedef wrap_cstr<wchar_t *> type;
Packit 58578d
    typedef wchar_t *iterator;
Packit 58578d
    typedef wchar_t *const_iterator;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<>
Packit 58578d
struct wrap_cstr<wchar_t const *>
Packit 58578d
{
Packit 58578d
    typedef wrap_cstr<wchar_t const *> type;
Packit 58578d
    typedef wchar_t const *iterator;
Packit 58578d
    typedef wchar_t const *const_iterator;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
struct is_char_array
Packit 58578d
  : mpl::and_<
Packit 58578d
        is_array<T>
Packit 58578d
      , mpl::or_<
Packit 58578d
            is_convertible<T, char const *>
Packit 58578d
          , is_convertible<T, wchar_t const *>
Packit 58578d
        >
Packit 58578d
    >
Packit 58578d
{};
Packit 58578d
Packit 58578d
template<typename T, typename C = boost::mpl::false_>
Packit 58578d
struct foreach_iterator
Packit 58578d
{
Packit 58578d
    // **** READ THIS IF YOUR COMPILE BREAKS HERE ****
Packit 58578d
    //
Packit 58578d
    // There is an ambiguity about how to iterate over arrays of char and wchar_t. 
Packit 58578d
    // Should the last array element be treated as a null terminator to be skipped, or
Packit 58578d
    // is it just like any other element in the array? To fix the problem, you must
Packit 58578d
    // say which behavior you want.
Packit 58578d
    //
Packit 58578d
    // To treat the container as a null-terminated string, merely cast it to a
Packit 58578d
    // char const *, as in BOOST_FOREACH( char ch, (char const *)"hello" ) ...
Packit 58578d
    //
Packit 58578d
    // To treat the container as an array, use boost::as_array() in <boost/range/as_array.hpp>,
Packit 58578d
    // as in BOOST_FOREACH( char ch, boost::as_array("hello") ) ...
Packit 58578d
    BOOST_MPL_ASSERT_MSG( (!is_char_array<T>::value), IS_THIS_AN_ARRAY_OR_A_NULL_TERMINATED_STRING, (T&) );
Packit 58578d
Packit 58578d
    // If the type is a pointer to a null terminated string (as opposed 
Packit 58578d
    // to an array type), there is no ambiguity.
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME wrap_cstr<T>::type container;
Packit 58578d
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME boost::mpl::eval_if<
Packit 58578d
        C
Packit 58578d
      , range_const_iterator<container>
Packit 58578d
      , range_mutable_iterator<container>
Packit 58578d
    >::type type;
Packit 58578d
};
Packit 58578d
Packit 58578d
Packit 58578d
template<typename T, typename C = boost::mpl::false_>
Packit 58578d
struct foreach_reverse_iterator
Packit 58578d
{
Packit 58578d
    // **** READ THIS IF YOUR COMPILE BREAKS HERE ****
Packit 58578d
    //
Packit 58578d
    // There is an ambiguity about how to iterate over arrays of char and wchar_t. 
Packit 58578d
    // Should the last array element be treated as a null terminator to be skipped, or
Packit 58578d
    // is it just like any other element in the array? To fix the problem, you must
Packit 58578d
    // say which behavior you want.
Packit 58578d
    //
Packit 58578d
    // To treat the container as a null-terminated string, merely cast it to a
Packit 58578d
    // char const *, as in BOOST_FOREACH( char ch, (char const *)"hello" ) ...
Packit 58578d
    //
Packit 58578d
    // To treat the container as an array, use boost::as_array() in <boost/range/as_array.hpp>,
Packit 58578d
    // as in BOOST_FOREACH( char ch, boost::as_array("hello") ) ...
Packit 58578d
    BOOST_MPL_ASSERT_MSG( (!is_char_array<T>::value), IS_THIS_AN_ARRAY_OR_A_NULL_TERMINATED_STRING, (T&) );
Packit 58578d
Packit 58578d
    // If the type is a pointer to a null terminated string (as opposed 
Packit 58578d
    // to an array type), there is no ambiguity.
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME wrap_cstr<T>::type container;
Packit 58578d
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME boost::mpl::eval_if<
Packit 58578d
        C
Packit 58578d
      , range_reverse_iterator<container const>
Packit 58578d
      , range_reverse_iterator<container>
Packit 58578d
    >::type type;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T, typename C = boost::mpl::false_>
Packit 58578d
struct foreach_reference
Packit 58578d
  : iterator_reference<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>
Packit 58578d
{
Packit 58578d
};
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// encode_type
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
inline type2type<T> *encode_type(T &, boost::false_type*) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline type2type<T, const_> *encode_type(T const &, boost::true_type*) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline type2type<T> *encode_type(T &, boost::mpl::false_*) { return 0; }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline type2type<T, const_> *encode_type(T const &, boost::mpl::true_*) { return 0; }
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// set_false
Packit 58578d
//
Packit 58578d
inline bool set_false(bool &b)
Packit 58578d
{
Packit 58578d
    b = false;
Packit 58578d
    return false;
Packit 58578d
}
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// to_ptr
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
inline T *&to_ptr(T const &)
Packit 58578d
{
Packit 58578d
    static T *t = 0;
Packit 58578d
    return t;
Packit 58578d
}
Packit 58578d
Packit 58578d
// Borland needs a little extra help with arrays
Packit 58578d
#if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
Packit 58578d
template<typename T,std::size_t N>
Packit 58578d
inline T (*&to_ptr(T (&)[N]))[N]
Packit 58578d
{
Packit 58578d
    static T (*t)[N] = 0;
Packit 58578d
    return t;
Packit 58578d
}
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// derefof
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
inline T &derefof(T *t)
Packit 58578d
{
Packit 58578d
    // This is a work-around for a compiler bug in Borland. If T* is a pointer to array type U(*)[N],
Packit 58578d
    // then dereferencing it results in a U* instead of U(&)[N]. The cast forces the issue.
Packit 58578d
    return reinterpret_cast<T &>(
Packit 58578d
        *const_cast<char *>(
Packit 58578d
            reinterpret_cast<char const volatile *>(t)
Packit 58578d
        )
Packit 58578d
    );
Packit 58578d
}
Packit 58578d
Packit 58578d
# define BOOST_FOREACH_DEREFOF(T) boost::foreach_detail_::derefof(*T)
Packit 58578d
#else
Packit 58578d
# define BOOST_FOREACH_DEREFOF(T) (*T)
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#if defined(BOOST_FOREACH_COMPILE_TIME_CONST_RVALUE_DETECTION)                                  \
Packit 58578d
 && !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// Rvalue references makes it drop-dead simple to detect at compile time
Packit 58578d
// whether an expression is an rvalue.
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
# define BOOST_FOREACH_IS_RVALUE(COL)                                                           \
Packit 58578d
    boost::foreach_detail_::is_rvalue_((COL), 0)
Packit 58578d
Packit 58578d
#elif defined(BOOST_FOREACH_COMPILE_TIME_CONST_RVALUE_DETECTION)                                \
Packit 58578d
 && defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// Detect at compile-time whether an expression yields an rvalue or
Packit 58578d
// an lvalue. This is rather non-standard, but some popular compilers
Packit 58578d
// accept it.
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rvalue_probe
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
struct rvalue_probe
Packit 58578d
{
Packit 58578d
    struct private_type_ {};
Packit 58578d
    // can't ever return an array by value
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME boost::mpl::if_<
Packit 58578d
        boost::mpl::or_<boost::is_abstract<T>, boost::is_array<T> >, private_type_, T
Packit 58578d
    >::type value_type;
Packit 58578d
    operator value_type() { return *reinterpret_cast<value_type *>(this); } // never called
Packit 58578d
    operator T &() const { return *reinterpret_cast<T *>(const_cast<rvalue_probe *>(this)); } // never called
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
rvalue_probe<T> const make_probe(T const &)
Packit 58578d
{
Packit 58578d
    return rvalue_probe<T>();
Packit 58578d
}
Packit 58578d
Packit 58578d
# define BOOST_FOREACH_IS_RVALUE(COL)                                                           \
Packit 58578d
    boost::foreach_detail_::and_(                                                               \
Packit 58578d
        boost::foreach_detail_::not_(boost::foreach_detail_::is_array_(COL))                    \
Packit 58578d
      , (true ? 0 : boost::foreach_detail_::is_rvalue_(                                         \
Packit 58578d
            (true ? boost::foreach_detail_::make_probe(COL) : (COL)), 0)))
Packit 58578d
Packit 58578d
#elif defined(BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// Detect at run-time whether an expression yields an rvalue
Packit 58578d
// or an lvalue. This is 100% standard C++, but not all compilers
Packit 58578d
// accept it. Also, it causes FOREACH to break when used with non-
Packit 58578d
// copyable collection types.
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rvalue_probe
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
struct rvalue_probe
Packit 58578d
{
Packit 58578d
    rvalue_probe(T &t, bool &b)
Packit 58578d
      : value(t)
Packit 58578d
      , is_rvalue(b)
Packit 58578d
    {
Packit 58578d
    }
Packit 58578d
Packit 58578d
    struct private_type_ {};
Packit 58578d
    // can't ever return an array or an abstract type by value
Packit 58578d
    #ifdef BOOST_NO_IS_ABSTRACT
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME boost::mpl::if_<
Packit 58578d
        boost::is_array<T>, private_type_, T
Packit 58578d
    >::type value_type;
Packit 58578d
    #else
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME boost::mpl::if_<
Packit 58578d
        boost::mpl::or_<boost::is_abstract<T>, boost::is_array<T> >, private_type_, T
Packit 58578d
    >::type value_type;
Packit 58578d
    #endif
Packit 58578d
    
Packit 58578d
    operator value_type()
Packit 58578d
    {
Packit 58578d
        this->is_rvalue = true;
Packit 58578d
        return this->value;
Packit 58578d
    }
Packit 58578d
Packit 58578d
    operator T &() const
Packit 58578d
    {
Packit 58578d
        return this->value;
Packit 58578d
    }
Packit 58578d
Packit 58578d
private:
Packit 58578d
    T &value;
Packit 58578d
    bool &is_rvalue;
Packit 58578d
};
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
rvalue_probe<T> make_probe(T &t, bool &b) { return rvalue_probe<T>(t, b); }
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
rvalue_probe<T const> make_probe(T const &t, bool &b)  { return rvalue_probe<T const>(t, b); }
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// simple_variant
Packit 58578d
//  holds either a T or a T const*
Packit 58578d
template<typename T>
Packit 58578d
struct simple_variant
Packit 58578d
{
Packit 58578d
    simple_variant(T const *t)
Packit 58578d
      : is_rvalue(false)
Packit 58578d
    {
Packit 58578d
        *static_cast<T const **>(this->data.address()) = t;
Packit 58578d
    }
Packit 58578d
Packit 58578d
    simple_variant(T const &t)
Packit 58578d
      : is_rvalue(true)
Packit 58578d
    {
Packit 58578d
        ::new(this->data.address()) T(t);
Packit 58578d
    }
Packit 58578d
Packit 58578d
    simple_variant(simple_variant const &that)
Packit 58578d
      : is_rvalue(that.is_rvalue)
Packit 58578d
    {
Packit 58578d
        if(this->is_rvalue)
Packit 58578d
            ::new(this->data.address()) T(*that.get());
Packit 58578d
        else
Packit 58578d
            *static_cast<T const **>(this->data.address()) = that.get();
Packit 58578d
    }
Packit 58578d
Packit 58578d
    ~simple_variant()
Packit 58578d
    {
Packit 58578d
        if(this->is_rvalue)
Packit 58578d
            this->get()->~T();
Packit 58578d
    }
Packit 58578d
Packit 58578d
    T const *get() const
Packit 58578d
    {
Packit 58578d
        if(this->is_rvalue)
Packit 58578d
            return static_cast<T const *>(this->data.address());
Packit 58578d
        else
Packit 58578d
            return *static_cast<T const * const *>(this->data.address());
Packit 58578d
    }
Packit 58578d
Packit 58578d
private:
Packit 58578d
    enum size_type { size = sizeof(T) > sizeof(T*) ? sizeof(T) : sizeof(T*) };
Packit 58578d
    simple_variant &operator =(simple_variant const &); 
Packit 58578d
    bool const is_rvalue;
Packit 58578d
    aligned_storage<size> data;
Packit 58578d
};
Packit 58578d
Packit 58578d
// If the collection is an array or is noncopyable, it must be an lvalue.
Packit 58578d
// If the collection is a lightweight proxy, treat it as an rvalue
Packit 58578d
// BUGBUG what about a noncopyable proxy?
Packit 58578d
template<typename LValue, typename IsProxy>
Packit 58578d
inline BOOST_DEDUCED_TYPENAME boost::enable_if<boost::mpl::or_<LValue, IsProxy>, IsProxy>::type *
Packit 58578d
should_copy_impl(LValue *, IsProxy *, bool *)
Packit 58578d
{
Packit 58578d
    return 0;
Packit 58578d
}
Packit 58578d
Packit 58578d
// Otherwise, we must determine at runtime whether it's an lvalue or rvalue
Packit 58578d
inline bool *
Packit 58578d
should_copy_impl(boost::mpl::false_ *, boost::mpl::false_ *, bool *is_rvalue)
Packit 58578d
{
Packit 58578d
    return is_rvalue;
Packit 58578d
}
Packit 58578d
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// contain
Packit 58578d
//
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<T> contain(T const &t, boost::mpl::true_ *) // rvalue
Packit 58578d
{
Packit 58578d
    return auto_any<T>(t);
Packit 58578d
}
Packit 58578d
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<T *> contain(T &t, boost::mpl::false_ *) // lvalue
Packit 58578d
{
Packit 58578d
    // Cannot seem to get sunpro to handle addressof() with array types.
Packit 58578d
    #if BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x570))
Packit 58578d
    return auto_any<T *>(&t);
Packit 58578d
    #else
Packit 58578d
    return auto_any<T *>(boost::addressof(t));
Packit 58578d
    #endif
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<simple_variant<T> >
Packit 58578d
contain(T const &t, bool *rvalue)
Packit 58578d
{
Packit 58578d
    return auto_any<simple_variant<T> >(*rvalue ? simple_variant<T>(t) : simple_variant<T>(&t);;
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
/////////////////////////////////////////////////////////////////////////////
Packit 58578d
// begin
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>
Packit 58578d
begin(auto_any_t col, type2type<T, C> *, boost::mpl::true_ *) // rvalue
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>(
Packit 58578d
        boost::begin(auto_any_cast<T, C>(col)));
Packit 58578d
}
Packit 58578d
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>
Packit 58578d
begin(auto_any_t col, type2type<T, C> *, boost::mpl::false_ *) // lvalue
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME type2type<T, C>::type type;
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iterator;
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>(
Packit 58578d
        iterator(boost::begin(BOOST_FOREACH_DEREFOF((auto_any_cast<type *, boost::mpl::false_>(col))))));
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, const_>::type>
Packit 58578d
begin(auto_any_t col, type2type<T, const_> *, bool *)
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, const_>::type>(
Packit 58578d
        boost::begin(*auto_any_cast<simple_variant<T>, boost::mpl::false_>(col).get()));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<T *>
Packit 58578d
begin(auto_any_t col, type2type<T *, C> *, boost::mpl::true_ *) // null-terminated C-style strings
Packit 58578d
{
Packit 58578d
    return auto_any<T *>(auto_any_cast<T *, boost::mpl::false_>(col));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// end
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>
Packit 58578d
end(auto_any_t col, type2type<T, C> *, boost::mpl::true_ *) // rvalue
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>(
Packit 58578d
        boost::end(auto_any_cast<T, C>(col)));
Packit 58578d
}
Packit 58578d
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>
Packit 58578d
end(auto_any_t col, type2type<T, C> *, boost::mpl::false_ *) // lvalue
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME type2type<T, C>::type type;
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iterator;
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>(
Packit 58578d
        iterator(boost::end(BOOST_FOREACH_DEREFOF((auto_any_cast<type *, boost::mpl::false_>(col))))));
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, const_>::type>
Packit 58578d
end(auto_any_t col, type2type<T, const_> *, bool *)
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_iterator<T, const_>::type>(
Packit 58578d
        boost::end(*auto_any_cast<simple_variant<T>, boost::mpl::false_>(col).get()));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<int>
Packit 58578d
end(auto_any_t, type2type<T *, C> *, boost::mpl::true_ *) // null-terminated C-style strings
Packit 58578d
{
Packit 58578d
    return auto_any<int>(0); // not used
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// done
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline bool done(auto_any_t cur, auto_any_t end, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iter_t;
Packit 58578d
    return auto_any_cast<iter_t, boost::mpl::false_>(cur) == auto_any_cast<iter_t, boost::mpl::false_>(end);
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline bool done(auto_any_t cur, auto_any_t, type2type<T *, C> *) // null-terminated C-style strings
Packit 58578d
{
Packit 58578d
    return ! *auto_any_cast<T *, boost::mpl::false_>(cur);
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// next
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline void next(auto_any_t cur, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iter_t;
Packit 58578d
    ++auto_any_cast<iter_t, boost::mpl::false_>(cur);
Packit 58578d
}
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// deref
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline BOOST_DEDUCED_TYPENAME foreach_reference<T, C>::type
Packit 58578d
deref(auto_any_t cur, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iter_t;
Packit 58578d
    return *auto_any_cast<iter_t, boost::mpl::false_>(cur);
Packit 58578d
}
Packit 58578d
Packit 58578d
/////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rbegin
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>
Packit 58578d
rbegin(auto_any_t col, type2type<T, C> *, boost::mpl::true_ *) // rvalue
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>(
Packit 58578d
        boost::rbegin(auto_any_cast<T, C>(col)));
Packit 58578d
}
Packit 58578d
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>
Packit 58578d
rbegin(auto_any_t col, type2type<T, C> *, boost::mpl::false_ *) // lvalue
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME type2type<T, C>::type type;
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type iterator;
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>(
Packit 58578d
        iterator(boost::rbegin(BOOST_FOREACH_DEREFOF((auto_any_cast<type *, boost::mpl::false_>(col))))));
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, const_>::type>
Packit 58578d
rbegin(auto_any_t col, type2type<T, const_> *, bool *)
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, const_>::type>(
Packit 58578d
        boost::rbegin(*auto_any_cast<simple_variant<T>, boost::mpl::false_>(col).get()));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<reverse_iterator<T *> >
Packit 58578d
rbegin(auto_any_t col, type2type<T *, C> *, boost::mpl::true_ *) // null-terminated C-style strings
Packit 58578d
{
Packit 58578d
    T *p = auto_any_cast<T *, boost::mpl::false_>(col);
Packit 58578d
    while(0 != *p)
Packit 58578d
        ++p;
Packit 58578d
    return auto_any<reverse_iterator<T *> >(reverse_iterator<T *>(p));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rend
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>
Packit 58578d
rend(auto_any_t col, type2type<T, C> *, boost::mpl::true_ *) // rvalue
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>(
Packit 58578d
        boost::rend(auto_any_cast<T, C>(col)));
Packit 58578d
}
Packit 58578d
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>
Packit 58578d
rend(auto_any_t col, type2type<T, C> *, boost::mpl::false_ *) // lvalue
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME type2type<T, C>::type type;
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type iterator;
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type>(
Packit 58578d
        iterator(boost::rend(BOOST_FOREACH_DEREFOF((auto_any_cast<type *, boost::mpl::false_>(col))))));
Packit 58578d
}
Packit 58578d
Packit 58578d
#ifdef BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION
Packit 58578d
template<typename T>
Packit 58578d
inline auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, const_>::type>
Packit 58578d
rend(auto_any_t col, type2type<T, const_> *, bool *)
Packit 58578d
{
Packit 58578d
    return auto_any<BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, const_>::type>(
Packit 58578d
        boost::rend(*auto_any_cast<simple_variant<T>, boost::mpl::false_>(col).get()));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline auto_any<reverse_iterator<T *> >
Packit 58578d
rend(auto_any_t col, type2type<T *, C> *, boost::mpl::true_ *) // null-terminated C-style strings
Packit 58578d
{
Packit 58578d
    return auto_any<reverse_iterator<T *> >(
Packit 58578d
        reverse_iterator<T *>(auto_any_cast<T *, boost::mpl::false_>(col)));
Packit 58578d
}
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rdone
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline bool rdone(auto_any_t cur, auto_any_t end, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type iter_t;
Packit 58578d
    return auto_any_cast<iter_t, boost::mpl::false_>(cur) == auto_any_cast<iter_t, boost::mpl::false_>(end);
Packit 58578d
}
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rnext
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline void rnext(auto_any_t cur, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type iter_t;
Packit 58578d
    ++auto_any_cast<iter_t, boost::mpl::false_>(cur);
Packit 58578d
}
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// rderef
Packit 58578d
//
Packit 58578d
template<typename T, typename C>
Packit 58578d
inline BOOST_DEDUCED_TYPENAME foreach_reference<T, C>::type
Packit 58578d
rderef(auto_any_t cur, type2type<T, C> *)
Packit 58578d
{
Packit 58578d
    typedef BOOST_DEDUCED_TYPENAME foreach_reverse_iterator<T, C>::type iter_t;
Packit 58578d
    return *auto_any_cast<iter_t, boost::mpl::false_>(cur);
Packit 58578d
}
Packit 58578d
Packit 58578d
} // namespace foreach_detail_
Packit 58578d
} // namespace boost
Packit 58578d
Packit 58578d
// Suppress a bogus code analysis warning on vc8+
Packit 58578d
#if BOOST_WORKAROUND(BOOST_MSVC, >= 1400)
Packit 58578d
# define BOOST_FOREACH_SUPPRESS_WARNINGS() __pragma(warning(suppress:6001))
Packit 58578d
#else
Packit 58578d
# define BOOST_FOREACH_SUPPRESS_WARNINGS()
Packit 58578d
#endif
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// Define a macro for giving hidden variables a unique name. Not strictly
Packit 58578d
// needed, but eliminates some warnings on some compilers.
Packit 58578d
#if BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1500))
Packit 58578d
// With some versions of MSVC, use of __LINE__ to create unique identifiers
Packit 58578d
// can fail when the Edit-and-Continue debug flag is used.
Packit 58578d
# define BOOST_FOREACH_ID(x) x
Packit 58578d
#else
Packit 58578d
# define BOOST_FOREACH_ID(x) BOOST_PP_CAT(x, __LINE__)
Packit 58578d
#endif
Packit 58578d
Packit 58578d
// A sneaky way to get the type of the collection without evaluating the expression
Packit 58578d
#define BOOST_FOREACH_TYPEOF(COL)                                                               \
Packit 58578d
    (true ? 0 : boost::foreach_detail_::encode_type(COL, boost::foreach_detail_::is_const_(COL)))
Packit 58578d
Packit 58578d
// returns true_* if the type is noncopyable
Packit 58578d
#define BOOST_FOREACH_IS_NONCOPYABLE(COL)                                                       \
Packit 58578d
    boost_foreach_is_noncopyable(                                                               \
Packit 58578d
        boost::foreach_detail_::to_ptr(COL)                                                     \
Packit 58578d
      , boost_foreach_argument_dependent_lookup_hack_value)
Packit 58578d
Packit 58578d
// returns true_* if the type is a lightweight proxy (and is not noncopyable)
Packit 58578d
#define BOOST_FOREACH_IS_LIGHTWEIGHT_PROXY(COL)                                                 \
Packit 58578d
    boost::foreach_detail_::and_(                                                               \
Packit 58578d
        boost::foreach_detail_::not_(BOOST_FOREACH_IS_NONCOPYABLE(COL))                         \
Packit 58578d
      , boost_foreach_is_lightweight_proxy(                                                     \
Packit 58578d
            boost::foreach_detail_::to_ptr(COL)                                                 \
Packit 58578d
          , boost_foreach_argument_dependent_lookup_hack_value))
Packit 58578d
Packit 58578d
#if defined(BOOST_FOREACH_COMPILE_TIME_CONST_RVALUE_DETECTION)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// R-values and const R-values supported here with zero runtime overhead
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
// No variable is needed to track the rvalue-ness of the collection expression
Packit 58578d
# define BOOST_FOREACH_PREAMBLE()                                                               \
Packit 58578d
    BOOST_FOREACH_SUPPRESS_WARNINGS()
Packit 58578d
Packit 58578d
// Evaluate the collection expression
Packit 58578d
# define BOOST_FOREACH_EVALUATE(COL)                                                            \
Packit 58578d
    (COL)
Packit 58578d
Packit 58578d
# define BOOST_FOREACH_SHOULD_COPY(COL)                                                         \
Packit 58578d
    (true ? 0 : boost::foreach_detail_::or_(                                                    \
Packit 58578d
        BOOST_FOREACH_IS_RVALUE(COL)                                                            \
Packit 58578d
      , BOOST_FOREACH_IS_LIGHTWEIGHT_PROXY(COL)))
Packit 58578d
Packit 58578d
#elif defined(BOOST_FOREACH_RUN_TIME_CONST_RVALUE_DETECTION)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// R-values and const R-values supported here
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
// Declare a variable to track the rvalue-ness of the collection expression
Packit 58578d
# define BOOST_FOREACH_PREAMBLE()                                                               \
Packit 58578d
    BOOST_FOREACH_SUPPRESS_WARNINGS()                                                           \
Packit 58578d
    if (bool BOOST_FOREACH_ID(_foreach_is_rvalue) = false) {} else
Packit 58578d
Packit 58578d
// Evaluate the collection expression, and detect if it is an lvalue or and rvalue
Packit 58578d
# define BOOST_FOREACH_EVALUATE(COL)                                                            \
Packit 58578d
    (true ? boost::foreach_detail_::make_probe((COL), BOOST_FOREACH_ID(_foreach_is_rvalue)) : (COL))
Packit 58578d
Packit 58578d
// The rvalue/lvalue-ness of the collection expression is determined dynamically, unless
Packit 58578d
// the type is an array or is noncopyable or is non-const, in which case we know it's an lvalue.
Packit 58578d
// If the type happens to be a lightweight proxy, always make a copy.
Packit 58578d
# define BOOST_FOREACH_SHOULD_COPY(COL)                                                         \
Packit 58578d
    (boost::foreach_detail_::should_copy_impl(                                                  \
Packit 58578d
        true ? 0 : boost::foreach_detail_::or_(                                                 \
Packit 58578d
            boost::foreach_detail_::is_array_(COL)                                              \
Packit 58578d
          , BOOST_FOREACH_IS_NONCOPYABLE(COL)                                                   \
Packit 58578d
          , boost::foreach_detail_::not_(boost::foreach_detail_::is_const_(COL)))               \
Packit 58578d
      , true ? 0 : BOOST_FOREACH_IS_LIGHTWEIGHT_PROXY(COL)                                      \
Packit 58578d
      , &BOOST_FOREACH_ID(_foreach_is_rvalue)))
Packit 58578d
Packit 58578d
#elif !defined(BOOST_FOREACH_NO_RVALUE_DETECTION)
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// R-values supported here, const R-values NOT supported here
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
// No variable is needed to track the rvalue-ness of the collection expression
Packit 58578d
# define BOOST_FOREACH_PREAMBLE()                                                               \
Packit 58578d
    BOOST_FOREACH_SUPPRESS_WARNINGS()
Packit 58578d
Packit 58578d
// Evaluate the collection expression
Packit 58578d
# define BOOST_FOREACH_EVALUATE(COL)                                                            \
Packit 58578d
    (COL)
Packit 58578d
Packit 58578d
// Determine whether the collection expression is an lvalue or an rvalue.
Packit 58578d
// NOTE: this gets the answer wrong for const rvalues.
Packit 58578d
# define BOOST_FOREACH_SHOULD_COPY(COL)                                                         \
Packit 58578d
    (true ? 0 : boost::foreach_detail_::or_(                                                    \
Packit 58578d
        boost::foreach_detail_::is_rvalue_((COL), 0)                                            \
Packit 58578d
      , BOOST_FOREACH_IS_LIGHTWEIGHT_PROXY(COL)))
Packit 58578d
Packit 58578d
#else
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// R-values NOT supported here
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
Packit 58578d
// No variable is needed to track the rvalue-ness of the collection expression
Packit 58578d
# define BOOST_FOREACH_PREAMBLE()                                                               \
Packit 58578d
    BOOST_FOREACH_SUPPRESS_WARNINGS()
Packit 58578d
Packit 58578d
// Evaluate the collection expression
Packit 58578d
# define BOOST_FOREACH_EVALUATE(COL)                                                            \
Packit 58578d
    (COL)
Packit 58578d
Packit 58578d
// Can't use rvalues with BOOST_FOREACH (unless they are lightweight proxies)
Packit 58578d
# define BOOST_FOREACH_SHOULD_COPY(COL)                                                         \
Packit 58578d
    (true ? 0 : BOOST_FOREACH_IS_LIGHTWEIGHT_PROXY(COL))
Packit 58578d
Packit 58578d
#endif
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_CONTAIN(COL)                                                              \
Packit 58578d
    boost::foreach_detail_::contain(                                                            \
Packit 58578d
        BOOST_FOREACH_EVALUATE(COL)                                                             \
Packit 58578d
      , BOOST_FOREACH_SHOULD_COPY(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_BEGIN(COL)                                                                \
Packit 58578d
    boost::foreach_detail_::begin(                                                              \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_col)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL)                                                               \
Packit 58578d
      , BOOST_FOREACH_SHOULD_COPY(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_END(COL)                                                                  \
Packit 58578d
    boost::foreach_detail_::end(                                                                \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_col)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL)                                                               \
Packit 58578d
      , BOOST_FOREACH_SHOULD_COPY(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_DONE(COL)                                                                 \
Packit 58578d
    boost::foreach_detail_::done(                                                               \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_ID(_foreach_end)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_NEXT(COL)                                                                 \
Packit 58578d
    boost::foreach_detail_::next(                                                               \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_DEREF(COL)                                                                \
Packit 58578d
    boost::foreach_detail_::deref(                                                              \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_RBEGIN(COL)                                                               \
Packit 58578d
    boost::foreach_detail_::rbegin(                                                             \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_col)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL)                                                               \
Packit 58578d
      , BOOST_FOREACH_SHOULD_COPY(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_REND(COL)                                                                 \
Packit 58578d
    boost::foreach_detail_::rend(                                                               \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_col)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL)                                                               \
Packit 58578d
      , BOOST_FOREACH_SHOULD_COPY(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_RDONE(COL)                                                                \
Packit 58578d
    boost::foreach_detail_::rdone(                                                              \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_ID(_foreach_end)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_RNEXT(COL)                                                                \
Packit 58578d
    boost::foreach_detail_::rnext(                                                              \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
#define BOOST_FOREACH_RDEREF(COL)                                                               \
Packit 58578d
    boost::foreach_detail_::rderef(                                                             \
Packit 58578d
        BOOST_FOREACH_ID(_foreach_cur)                                                          \
Packit 58578d
      , BOOST_FOREACH_TYPEOF(COL))
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// BOOST_FOREACH
Packit 58578d
//
Packit 58578d
//   For iterating over collections. Collections can be
Packit 58578d
//   arrays, null-terminated strings, or STL containers.
Packit 58578d
//   The loop variable can be a value or reference. For
Packit 58578d
//   example:
Packit 58578d
//
Packit 58578d
//   std::list<int> int_list(/*stuff*/);
Packit 58578d
//   BOOST_FOREACH(int &i, int_list)
Packit 58578d
//   {
Packit 58578d
//       /* 
Packit 58578d
//        * loop body goes here.
Packit 58578d
//        * i is a reference to the int in int_list.
Packit 58578d
//        */
Packit 58578d
//   }
Packit 58578d
//
Packit 58578d
//   Alternately, you can declare the loop variable first,
Packit 58578d
//   so you can access it after the loop finishes. Obviously,
Packit 58578d
//   if you do it this way, then the loop variable cannot be
Packit 58578d
//   a reference.
Packit 58578d
//
Packit 58578d
//   int i;
Packit 58578d
//   BOOST_FOREACH(i, int_list)
Packit 58578d
//       { ... }
Packit 58578d
//
Packit 58578d
#define BOOST_FOREACH(VAR, COL)                                                                                   \
Packit 58578d
    BOOST_FOREACH_PREAMBLE()                                                                                      \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_col) = BOOST_FOREACH_CONTAIN(COL)) {} else   \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_cur) = BOOST_FOREACH_BEGIN(COL)) {} else     \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_end) = BOOST_FOREACH_END(COL)) {} else       \
Packit 58578d
    for (bool BOOST_FOREACH_ID(_foreach_continue) = true;                                                         \
Packit 58578d
              BOOST_FOREACH_ID(_foreach_continue) && !BOOST_FOREACH_DONE(COL);                                    \
Packit 58578d
              BOOST_FOREACH_ID(_foreach_continue) ? BOOST_FOREACH_NEXT(COL) : (void)0)                            \
Packit 58578d
        if  (boost::foreach_detail_::set_false(BOOST_FOREACH_ID(_foreach_continue))) {} else                      \
Packit 58578d
        for (VAR = BOOST_FOREACH_DEREF(COL); !BOOST_FOREACH_ID(_foreach_continue); BOOST_FOREACH_ID(_foreach_continue) = true)
Packit 58578d
Packit 58578d
///////////////////////////////////////////////////////////////////////////////
Packit 58578d
// BOOST_REVERSE_FOREACH
Packit 58578d
//
Packit 58578d
//   For iterating over collections in reverse order. In
Packit 58578d
//   all other respects, BOOST_REVERSE_FOREACH is like
Packit 58578d
//   BOOST_FOREACH.
Packit 58578d
//
Packit 58578d
#define BOOST_REVERSE_FOREACH(VAR, COL)                                                                           \
Packit 58578d
    BOOST_FOREACH_PREAMBLE()                                                                                      \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_col) = BOOST_FOREACH_CONTAIN(COL)) {} else   \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_cur) = BOOST_FOREACH_RBEGIN(COL)) {} else    \
Packit 58578d
    if (boost::foreach_detail_::auto_any_t BOOST_FOREACH_ID(_foreach_end) = BOOST_FOREACH_REND(COL)) {} else      \
Packit 58578d
    for (bool BOOST_FOREACH_ID(_foreach_continue) = true;                                                         \
Packit 58578d
              BOOST_FOREACH_ID(_foreach_continue) && !BOOST_FOREACH_RDONE(COL);                                   \
Packit 58578d
              BOOST_FOREACH_ID(_foreach_continue) ? BOOST_FOREACH_RNEXT(COL) : (void)0)                           \
Packit 58578d
        if  (boost::foreach_detail_::set_false(BOOST_FOREACH_ID(_foreach_continue))) {} else                      \
Packit 58578d
        for (VAR = BOOST_FOREACH_RDEREF(COL); !BOOST_FOREACH_ID(_foreach_continue); BOOST_FOREACH_ID(_foreach_continue) = true)
Packit 58578d
Packit 58578d
#endif