Re: [Boost-users] challange to MPL gurus

Subject: Re: [Boost-users] challange to MPL gurus
From: Larry Evans (cppljevans_at_[hidden])
Date: 2011-12-12 16:01:50

On 12/12/11 13:41, Robert Ramey wrote:
[snip]
> The example below illustrates one of the problems I'm having.
> The intent is to test the concept.  for next<I>, the concept
> check is invoked recurrsively until the end of iteration is
> encountered.  (I'm assuming it's a list in this test).  But the
> is_end<false_> branch is always invoked
[snip]
> template<typename S>
> struct ForwardSequence {
>     typedef typename end<S>::type t2;
>     BOOST_CONCEPT_ASSERT(( ForwardIterator<t2> ));

Shouldn't this:

> is_end<false_> branch is always invoked

be expected since end<S>::type is being passed to ForwardIterator?
[snip]