C++ comparaison de pointeurs de fonction membres

Question

En C++, est-il possible de définir un ordre de tri pour les pointeurs vers les fonctions membres? Il semble que l'opérateur < est indéfini. En outre, il est illégal de lancer pour annuler *.

class A 
{ 
    public: 
     void Test1(){} 
     void Test2(){} 
}; 

int main() 
{ 
    void (A::* const one)() = &A::Test1; 
    void (A::* const two)() = &A::Test2; 

    bool equal = one == two; //Equality works fine. 
    bool less = one < two; //Less than doesn't. 

    return 0; 
} 

Merci!

Answer 1

Les pointeurs de fonction ne sont pas comparables sur le plan relationnel en C++. Les comparaisons d'égalité sont prises en charge, sauf dans les cas où au moins l'un des pointeurs pointe vers une fonction membre virtuelle (auquel cas le résultat n'est pas spécifié).

Bien sûr, vous pouvez toujours introduire un ordre en implémentant un prédicat de comparaison et en comparant explicitement les pointeurs (cela ne sera pas trop élégant, car vous ne pouvez utiliser que des comparaisons d'égalité). D'autres solutions possibles traverseraient le territoire des différents «hacks» de mise en œuvre.

Answer 2

Les pointeurs de fonction membre ne sont pas des pointeurs réels. Vous devriez les regarder comme des structures opaques. Qu'est-ce qu'un pointeur de méthode contient:

struct method_pointer { 
    bool method_is_virtual; 
    union { 
     unsigned vtable_offset; // for a virtual function, need the vtable entry 
     void* function_pointer; // otherwise need the pointer to the concrete method 
    } 
}; 

Si vous pouviez jeter cela void * (vous ne pouvez pas) tout ce que vous auriez est un pointeur du struct, pas un pointeur sur le code. C'est pourquoi l'opérateur <() est également indéfini puisque la valeur du pointeur de la structure est exactement là où elle se trouve en mémoire.

En plus de cela, de quoi faites-vous le tri?