संरचना भिन्नता ऑपरेटर (ऑपरेटर>)

Question

मैं iterators के लिए एक पतली टेम्पलेट आवरण लिख रहा हूँ, और एक बड़ी बाधा मारा जब संरचना भिन्नता ऑपरेटर के माध्यम से गुजर, जिसका मुख्य कारण संकेत नहीं है एक:

#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*’ 

यह निम्न विधि काम करता है, लेकिन मुझे नहीं लगता है कि यह काम करने के लिए गारंटी है है। अर्थात्, अगर एक इटरेटर के पास एक अजीब pointer प्रकार है जो value_type पर पॉइंटर के समान नहीं है।

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

Answer 1

मानक परोक्ष रूप से कहते हैं एक ओवरलोड operator-> या तो एक सूचक, एक वस्तु है कि एक सूचक है, या एक उद्देश्य यह है कि operator-> अतिभारित है के लिए परिवर्तनीय है वापस जाने के लिए है। आपकी सबसे अच्छी शर्त सिर्फ internal लौटना है।

§13.5.6 [over.ref] p1

कोई व्यंजक x->m(x.operator->())->m

के रूप में व्याख्या की है (जैसा कि ऊपर रिकर्सिवली लागू होता है।)