Re: [RFC] Interpretation of DR 198 resolution

["Bo Persson" <bop at gmb dot dk>]

----- Original Message ----- 
From: "Paolo Carlini" <pcarlini@unitus.it>
To: "Nathan Myers" <ncm-nospam@cantrip.org>
Cc: "libstdc++" <libstdc++@gcc.gnu.org>
Sent: Tuesday, November 11, 2003 7:30 PM
Subject: Re: [RFC] Interpretation of DR 198 resolution


> Thanks Nathan for your feedback.
> 
> Unfortunately, I'm not sure to fully understand your explanation,
> or, better, I'm not sure to understand why the resolution wants to
> change "Effects:" from:
> 
>    Iterator tmp = current;
>    return *--tmp;
> 
> to
> 
>    this->tmp = current;
>    --this->tmp;
>    return *this->tmp;
> 

It is dependent on the other part of DR#198:

"Destruction of an iterator may invalidate pointers and references previously obtained from that iterator"

If that sentence is accepted, the reference returned from operator*() might be invalid after tmp is destroyed. If...

One solution is of course to keep tmp around, so that it is not destroyed until later.


Bo Persson