12 Dec
2011
12 Dec
'11
9:01 p.m.
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
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
branch is always invoked
be expected since end<S>::type is being passed to ForwardIterator? [snip]