feedc0de/boost_fusion
1
0
Fork 0
forked from boostorg/fusion
Code Pull Requests Activity

fix use of incomplete fusion::nil as caught by clang

Browse Source 
[SVN r74019]
This commit is contained in:
Eric Niebler
2011-08-23 15:13:30 +00:00
parent def510808d
commit df6017dc1c
4 changed files with 31 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
include/boost/fusion/iterator/detail/segmented_equal_to.hpp
View File

@ -20,27 +20,17 @@ namespace boost { namespace fusion
template <typename Stack1, typename Stack2>
struct segmented_equal_to
: mpl::and_<
result_of::equal_to<
typename Stack1::car_type::begin_type,
typename Stack2::car_type::begin_type
>,
segmented_equal_to<
typename Stack1::cdr_type,
typename Stack2::cdr_type
>
, result_of::equal_to<
typename Stack1::car_type::begin_type,
typename Stack2::car_type::begin_type
>
>
{};
template <typename Stack1>
struct segmented_equal_to<Stack1, fusion::nil>
: mpl::false_
{};
template <typename Stack2>
struct segmented_equal_to<fusion::nil, Stack2>
: mpl::false_
{};
template <>
struct segmented_equal_to<fusion::nil, fusion::nil>
: mpl::true_

45
include/boost/fusion/iterator/detail/segmented_iterator.hpp
View File

@ -7,6 +7,7 @@
#if !defined(BOOST_FUSION_SEGMENTED_ITERATOR_SEGMENTED_ITERATOR_HPP_INCLUDED)
#define BOOST_FUSION_SEGMENTED_ITERATOR_SEGMENTED_ITERATOR_HPP_INCLUDED
#include <boost/mpl/bool.hpp>
#include <boost/fusion/sequence/intrinsic_fwd.hpp>
#include <boost/fusion/iterator/iterator_facade.hpp>
#include <boost/fusion/iterator/deref.hpp>
@ -15,7 +16,6 @@
#include <boost/fusion/iterator/value_of.hpp>
#include <boost/fusion/iterator/value_of_data.hpp>
#include <boost/fusion/iterator/detail/segmented_equal_to.hpp>
#include <boost/fusion/container/list/detail/reverse_cons.hpp>
namespace boost { namespace fusion
{
@ -82,13 +82,8 @@ namespace boost { namespace fusion
//}
template <typename It>
struct key_of
{
typedef
typename result_of::key_of<
typename It::context_type::car_type::begin_type
>::type
type;
};
: result_of::key_of<typename It::context_type::car_type::begin_type>
{};
//auto value_of(it)
//{
@ -96,13 +91,8 @@ namespace boost { namespace fusion
//}
template <typename It>
struct value_of
{
typedef
typename result_of::value_of<
typename It::context_type::car_type::begin_type
>::type
type;
};
: result_of::value_of<typename It::context_type::car_type::begin_type>
{};
//auto value_of_data(it)
//{
@ -110,21 +100,26 @@ namespace boost { namespace fusion
//}
template <typename It>
struct value_of_data
{
typedef
typename result_of::value_of_data<
typename It::context_type::car_type::begin_type
>::type
type;
};
: result_of::value_of_data<typename It::context_type::car_type::begin_type>
{};
// Compare all the segment iterators in each stack, starting with
// the bottom-most.
template <typename It1, typename It2>
template <
typename It1
, typename It2
, int Size1 = It1::context_type::size::value
, int Size2 = It2::context_type::size::value
>
struct equal_to
: mpl::false_
{};
template <typename It1, typename It2, int Size>
struct equal_to<It1, It2, Size, Size>
: detail::segmented_equal_to<
typename detail::reverse_cons<typename It1::context_type>::type,
typename detail::reverse_cons<typename It2::context_type>::type
typename It1::context_type
, typename It2::context_type
>
{};