🚀 go-pugleaf

"Gunter Schelfhout" <nospam@please.com> schreef in bericht
news:0eYjb.84164$jN3.4351093@phobos.telenet-ops.be...
> In het boek van Jossutis, The C++ Standard Library kom ik het volgend
> voorbeeld tegen (ingekort):
> ...
> vector<int> coll;
> // wat in de vector steken
> vector<int>::iterator pos;
> ...
> for (pos = coll.begin(); pos < coll.end(); pos += 2) {
>         //print
> }
>
> Over de bovenstaande for-loop zegt hij:
> "The expression += 2 might result in undefined behavior if it moves the
> iterator beyond the end() of the collection."
>
> Nu, ik zit dat hier te bekijken, maar ik zie het niet. Van zodra de
iterator
> voorbij het end() gaat, dan wordt dit toch opgevangen door het statement
> 'pos < coll.end()', of niet?
>
> Of zou het typo zijn en bedoelt hij 'pos != coll.end()'?
> -- 
> Blood, sweat & tears
>

1) eigenlijk hoor je geen bewerkingen uit te voeren op iterators, pos++ en
pos-- mag, de rest is gevaarlijk. (vergelijk het met pointer
bewerkingen)

2) de end memberfunktie wijst al 1 positie *na* het laatste item. Dus
wanneer pos naar het laatste item wijst is
pos < coll.end() nog steeds waar! En pos + 2 is dus  helemaal undefined!
D.w.z. kan vanalles zijn.
Die undefined zou wel eens weer kleiner dan coll.end() kunnen zijn! Dus die
for loop stopt niet gegarandeerd.
Bovendien trekt die for loop zich niets aan van wat er tussen de haken
gebeurt. Het middelste statement zal niet verhinderen
dat het derde deel iets illegaal uitvoert. De check gebeurt nadien.
pos != coll.end() lijkt mij ook beter, maar lost bovenstaand probleem niet
op.

De compiler maakt dus (gelukkig) terecht een opmerking.

MaG