Re: [boost] NTCTS Iterator [was: Interest in is_iterator type trait?]

Subject: Re: [boost] NTCTS Iterator [was: Interest in is_iterator type trait?]
From: Peter Dimov (lists_at_[hidden])
Date: 2014-08-20 11:20:54

Beman Dawes wrote:
> On Tue, Aug 19, 2014 at 1:56 PM, Peter Dimov <lists_at_[hidden]> wrote:
>
> > Beman Dawes wrote:
> >
> >  Source can be a iterator to a NTCTS or a container.
> >>
> >
> > An iterator to an NTCTS? That's an interesting invention. :-)
> >
>
> See http://beman.github.io/ntcts_iterator/

That's not the same. This takes a _pointer_ to NTCTS and creates an iterator 
range from it.

The Filesystem wording in N3940 takes an _iterator_ to NTCTS.

    list<char> x{ 'a', 'b', '\0' };
    l.begin(); // iterator to NTCTS

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3940.html#path-Requirements

•A type meeting the input iterator requirements that iterates over a NTCTS. 
The value type shall be an encoded character type. A function argument 
Source const& source shall have an effective range  [source, end) where end 
is the first iterator value with an element value equal to 
iterator_traits<Source>::value_type().

I've never encountered such a thing in the wild. Hence "interesting 
invention". :-)