[Adobe-source-devel] any_iterator equal

[Thomas W. <wi...@ac...>]

Hi,

any_iterator equal is currently implemented as follows

iterator.hpp:242

bool equal(const any_iterator& x) const
{
   return (type() == x.type()) && object_m->equal(*x.object_m);
}

IIUC the type equality check is unneeded and may hide bugs.

Type equality is given implicitly by the requirement that both iterators 
point into the same sequence. As a sidenote AFAICS any_iterators do not 
support interoperable iterators, eg. 
vector<int>::iterator/vector<int>::const_iterator but the equal 
implementations would yield false for these even if they point to the 
same position in a sequence.

What did I miss

Thomas

-- 
Thomas Witt
wi...@ac...