 |
C++Talk.NET C++ language newsgroups
|
| View previous topic :: View next topic |
| Author |
Message |
Tommi Mäkitalo Guest
|
Posted: Wed Sep 15, 2004 9:18 pm Post subject: implementierung von operator-> |
|
|
Hi,
ich implementiere immer wieder einen lesenden Iterator, der beim Zugriff das
zu iterierende Objekt erst konvertieren muß. Ein beispiel wäre ein
Iterator, welcher aus einer std::list<std::string> int-Elemente zurückgibt.
Der value_type des Iterators ist also int. Als reference definiere ich auch
ein int. Er ist ja ein const_iterator, der sowieso das Objekt nicht
verändern soll. Schwierig wird es beim operator->. Er soll ein Pointer
zurückliefern. Eine einfache Möglichkeit ist { return &(operator*()); }.
Das Ergebnis ist eine Warnung, daß ich einen Zeiger auf ein temporäres
Objekt zurück gebe. Das ist natürlich richtg. Im Falle des operator-> kann
ich diesen Zeiger aber gar nicht direkt benutzen.
Beispiel:
for (my_const_iterator it = container.begin(); it != container.end(); ++it)
std::cout << it->getIrgendwas();
Der operator-> des Iterators dereferenziert ein Objekt, welches vom
operator* temporär erzeugt wird. Wird das Objekt noch vor dem
Methodenaufruf gelöscht oder erst, nachdem der Ausdruck komplett
ausgewertet wurde?
Tommi
--
de.comp.lang.iso-c++ - Moderation: mailto:voyager+mod (AT) bud (DOT) prima.de
FAQ: http://www.voyager.prima.de/cpp/ mailto:voyager+send-faq (AT) bud (DOT) prima.de
|
|
| Back to top |
|
 |
Christoph Rabel Guest
|
Posted: Thu Sep 16, 2004 11:50 am Post subject: Re: implementierung von operator-> |
|
|
Tommi Mäkitalo wrote:
| Quote: |
ich implementiere immer wieder einen lesenden Iterator, der beim Zugriff das
zu iterierende Objekt erst konvertieren muß. Ein beispiel wäre ein
Iterator, welcher aus einer std::list<std::string> int-Elemente zurückgibt.
Der value_type des Iterators ist also int. Als reference definiere ich auch
ein int. Er ist ja ein const_iterator, der sowieso das Objekt nicht
verändern soll. Schwierig wird es beim operator->. Er soll ein Pointer
zurückliefern. Eine einfache Möglichkeit ist { return &(operator*()); }.
Das Ergebnis ist eine Warnung, daß ich einen Zeiger auf ein temporäres
Objekt zurück gebe. Das ist natürlich richtg. Im Falle des operator-> kann
ich diesen Zeiger aber gar nicht direkt benutzen.
|
Du könntest einen Smartpointer zurückgeben.
| Quote: | Der operator-> des Iterators dereferenziert ein Objekt, welches vom
operator* temporär erzeugt wird. Wird das Objekt noch vor dem
Methodenaufruf gelöscht oder erst, nachdem der Ausdruck komplett
ausgewertet wurde?
|
Vorher.
mfg
Christoph
--
de.comp.lang.iso-c++ - Moderation: mailto:voyager+mod (AT) bud (DOT) prima.de
FAQ: http://www.voyager.prima.de/cpp/ mailto:voyager+send-faq (AT) bud (DOT) prima.de
|
|
| Back to top |
|
 |
Stefan Reuther Guest
|
Posted: Thu Sep 16, 2004 5:36 pm Post subject: Re: implementierung von operator-> |
|
|
Tommi Mäkitalo wrote:
| Quote: | ich implementiere immer wieder einen lesenden Iterator, der beim Zugriff das
zu iterierende Objekt erst konvertieren muß. Ein beispiel wäre ein
Iterator, welcher aus einer std::list<std::string> int-Elemente zurückgibt.
Der value_type des Iterators ist also int. Als reference definiere ich auch
ein int. Er ist ja ein const_iterator, der sowieso das Objekt nicht
verändern soll. Schwierig wird es beim operator->.
|
Werd mal konkreter. Ein Iterator, der int-Elemente zurückgibt, braucht
keinen 'operator->', sondern nur einen 'operator*'.
| Quote: | Beispiel:
for (my_const_iterator it = container.begin(); it != container.end(); ++it)
std::cout << it->getIrgendwas();
Der operator-> des Iterators dereferenziert ein Objekt, welches vom
operator* temporär erzeugt wird.
|
Der 'operator*' liefert ein Objekt by-value?
Du kannst den 'operator->' ein Objekt liefern lassen, welches wieder den
'operator->' anbietet. Die Dinger werden vom Compiler automatisch
kaskadiert.
Prinzipskizze:
class some_struct { ... };
class my_const_iterator it {
// ...
class some_struct_ref {
some_struct ele;
public:
some_struct_ref(arg_type a)
: ele(a) { }
some_struct operator->()
{ return &ele; }
};
some_struct operator*()
{ return some_struct(X); }
some_struct_ref operator->()
{ return some_struct_ref(X); }
}
Wenn du Heapallokation verschmerzen kannst, ist std::auto_ptr oder ein
anderer Smart Pointer deiner Wahl ein einfacher Ersatz für eine
handgehäkelte class some_struct_ref.
| Quote: | Wird das Objekt noch vor dem
Methodenaufruf gelöscht oder erst, nachdem der Ausdruck komplett
ausgewertet wurde?
|
Temporäre Objekte werden gelöscht, wenn der sie umgebende Ausdruck
fertig abgearbeitet ist. In
return &(operator*());
ist das der Ausdruck '&(operator*())' und das Temporary, welches vom
'operator*' kommt, stirbt noch vor der Rückkehr aus der Funktion.
Stefan
--
de.comp.lang.iso-c++ - Moderation: mailto:voyager+mod (AT) bud (DOT) prima.de
FAQ: http://www.voyager.prima.de/cpp/ mailto:voyager+send-faq (AT) bud (DOT) prima.de
|
|
| Back to top |
|
 |
|
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
|
|