Struttura operatore dereference (operator->)

Question

Sto scrivendo un sottile involucro modello per iteratori, e ha colpito un ostacolo quando passa attraverso l'operatore struttura dereferenziazione, soprattutto perché i puntatori non hanno uno:

#include <vector> 

struct mystruct { 
    int member; 
}; 

template<class iterator> 
struct wrap { 
    typedef typename std::iterator_traits<iterator>::pointer pointer; 
    iterator internal; 
    pointer operator->() {return internal.operator->();} //MARK1 
}; 

int main() { 
    wrap<std::vector<mystruct>::iterator> a; 
    a->member; 
    wrap<mystruct*> b; 
    b->member; 
    return 0; 
} 

http://ideone.com/XdvEz

prog.cpp: In member function ‘typename std::iterator_traits<_Iter>::pointer wrap<iterator>::operator->() [with iterator = mystruct*]’: 
prog.cpp:18: instantiated from here 
prog.cpp:11: error: request for member ‘operator->’ in ‘((wrap<mystruct*>*)this)->wrap<mystruct*>::internal’, which is of non-class type ‘mystruct*’ 

Questo seguente metodo funziona, ma non credo che è garantito il funzionamento. Vale a dire, se un iteratore ha uno strano tipo pointer che non è uguale a un puntatore a un value_type.

pointer operator->() {return &*internal;} //MARK3 

Answer 1

Lo standard indirettamente dice che un sovraccarico operator-> deve restituire un puntatore, un oggetto che è convertibile ad un puntatore, o di un oggetto che ha sovraccaricato operator->. La soluzione migliore è semplicemente restituire internal.

§13.5.6 [over.ref] p1

Un'espressione x->m viene interpretato come (x.operator->())->m

(Quanto sopra vale in modo ricorsivo.)