[boost] Re: Proposal for New Template Metafunction 'is_iterator'

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2004-08-22 20:54:04

"Jonathan Turkanis" <technews_at_[hidden]> wrote in message
news:cgbgtn$49l$1_at_sea.gmane.org...
>
> "David Abrahams" <dave_at_[hidden]> wrote in message
> news:ullg6287u.fsf_at_boost-consulting.com...
> > "Alex Chovanec" <achovane_at_[hidden]> writes:
>
> > > Assuming I'm correct in stating that a utility like
'is_iterator'
> does not
> > > already exist in Boost, is there any interest in such a utility?
> >
> > Yes, if it's implementable.  But I don't think it is.
>
> Isn't the most fundamental problem that even if you could test for
all
> the valid expressions you'll never be able to guarantee the
semantics?
> So there will never be a perfect 'is_iterator'.

Okay, I guess this is a bad argument. Anyone who specializes
iterator_traits for a non-iterator is a liar and deserves what he
gets.

Jonathan