"Jonathan Turkanis" <technews@kangaroologic.com> wrote in message news:cgbgtn$49l$1@sea.gmane.org...
"David Abrahams" <dave@boost-consulting.com> wrote in message news:ullg6287u.fsf@boost-consulting.com...
"Alex Chovanec" <achovane@engin.umich.edu> 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