Jak zaimplementować operator-> typ iteratora?

Question

Czy istnieje sposób na wdrożenie operatora->, nie tylko operatora *. Aby mieć następujący kod:

Iterator<value> it = ... 
i = (*it).get(); 
i = it->get(); // also works 

Powiedzmy, że typ wartości ma metodę get. Kiedy Iterator jest implemnted jak poniżej:

template<T> class Iterator { 
    T operator*() { return ... } 
    T operator->() { return ... } 
} 

... Tutaj jest implementacją uzyskanie właściwej obiektu T.

Jakoś to nie zadziała, kiedy wdrożę go w ten sposób. Chyba coś źle zrozumiałem.

Answer 1

operator-> powinien powrócić wskaźnik:

T * operator->(); 
T const * operator->() const; 

operator* powinien zwrócić odwołanie jeśli chcesz go używać do modyfikacji:

T & operator*(); 
T operator*() const; // OR T const & operator*() const; 

Answer 2

Jak dziwne, jak może się to wydawać, chcesz zwracają wskaźnik do T, wygląda następująco:

T * operator->() { return &the_value; } 

lub wskaźnik do const.

Answer 3

Nie określić, co „nie będzie działać "oznacza - czy nie kompiluje się, czy robi coś innego, niż się spodziewano? Założę się, że to kompiluje, ponieważ z twojego fragmentu nie rozumiem, dlaczego nie powinno.

Co robisz, powraca przez wartość. Zwróć więc nową instancję wskazanego obiektu. Zamiast tego należy zwrócić wskaźnik w operator-> i odniesienia w operator*