« membre du pointeur » Surchargé « déréférencer » ou les opérateurs ne reçoivent pas courir quand j'ai un pointeur vers un objet

Question

J'ai le code suivant:

#include <iostream> 

struct Base { 
    int i_; 
}; 

class El : protected Base { 
public: 
    int get_i() const { return i_; } 
    void set_i(int i) { i_ = i; } 
}; 

class It : protected Base { 
public: 
    using pointer = const El*; 
    using reference = const El&; 

    reference operator*() const 
    { 
     return reinterpret_cast<reference>(*this); 
    } 

    pointer operator->() const 
    { 
     return reinterpret_cast<pointer>(this); 
    } 
}; 

int main() 
{ 
    It it; 
    It* itp = &it; 
    std::cout << *****(itp)->get_i() << "\n"; //ERROR 
} 

gcc et Clang ++ ne pas en quelque sorte d'invoquer l'une des operator* ou operator->, donc j'obtiens une erreur It doesn't have member function 'get_i' dans la dernière ligne indépendamment du nombre d'indirections que j'essaie. La norme justifie-t-elle un tel comportement non intuitif?

Answer 1

Priorité d'opérateur: -> se lie plus étroitement, donc est appliqué au pointeur itp.

Lorsque vous surchargez operator->, que n'a pas effet le sens de operator-> appliqué à un pointeur à votre classe. Vous voulez (*itp)->get_i();, je pense.