Estructura operador eliminar la referencia (del operador>)

Question

Estoy escribiendo una envoltura delgada plantilla para iteradores, y chocó contra un obstáculo a su paso por el operador de la estructura de eliminar la referencia, sobre todo porque los punteros no tienen 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*’ 

Esto siguiente método funciona, pero creo que no se garantiza que funcione. A saber, si un iterador tiene un tipo extraño pointer que no es lo mismo que un puntero a value_type.

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

Answer 1

La norma indirecta dice que una sobrecarga operator-> tiene que o devolver un puntero, un objeto que se puede convertir en un puntero o un objeto que ha sobrecargado operator->. Su mejor opción es simplemente devolver internal.

§13.5.6 [over.ref] p1

Una expresión x->m se interpreta como (x.operator->())->m

(Lo anterior se aplica de forma recursiva.)