C++ d'appel de méthode (de lvalue) se liant à la fonction (rvalue) à la place classe dérivée de la fonction (lvalue) dans la classe de base

Question

Je suis nouveau à C++ et essayer d'écrire une interface comme ci-dessous:

template <class T> 
class Comparable 
{ 
    protected: 
     Comparable(){}; 
    public: 
     virtual int compare(const T&&)=0; 
     int compare(const T& o) 
     { 
     return this->compare(std::move(o)); 
     } 
}; 

Je l'ai ceci pour essayer de faire fonctionner la méthode de comparaison avec les deux valeurs l/r. I dérivé de la classe de Comparable suivante: Méthode

class Monkey : Comparable<Monkey> 
{ 
    private: 
     char name[512]; 
    public: 
     Monkey(const char*&& name) 
     { 
     strcpy(this->name, name); 
     } 
     const char *getName() { return name; } 
     int compare(const Monkey&& m) 
     { 
     return strcmp(name, m.name); 
     } 
}; 

avec la main() comme suit:

Monkey m1(argv[1]), m2(argv[2]); 
printf("\"%s\" \"%s\" %d\n", m1.getName(), m2.getName(), m2.compare(m1)); 

Mais je reçois une erreur de compilation:

ne peut pas lier « Tests :: Singe 'lvalue to' const Tests :: Monkey & & ' initialise l'argument 1 de' virtual int Tests :: Monkey :: compare (const Tests :: Monkey & &) ' Échec de la construction

Pourquoi l'appel de méthode ne lie-il pas la méthode de comparaison dans la classe de base? Lorsque je les crée à la fois en tant que virtuel dans la classe de base et les écris tous les deux dans la classe dérivée, la liaison fonctionne correctement, mais cela ne fonctionne pas et j'obtiens une erreur de compilation si je tente de la compiler. ici.

Answer 1

Ceci est un nom qui se cache; nom dans la classe dérivée cache le nom dans la classe de base. En bref, vous ne pouvez pas surcharger les fonctions à travers différentes portées.

Selon la règle de unqualified name lookup, pour m2.compare(m1), m2 est de type Monkey, le nom compare se trouve à la portée de la classe dérivée Monkey tout d'abord, puis nommez des arrêts de recherche. Les compare s de la classe de base ne seront pas pris en compte pour la résolution de surcharge suivante.

(Souligné par)

For an unqualified name, that is a name that does not appear to the right of a scope resolution operator ::, name lookup examines the scopes as described below, until it finds at least one declaration of any kind, at which time the lookup stops and no further scopes are examined.

Vous pouvez présenter les noms de classe de base dans le cadre de la classe dérivée par using:

class Monkey : Comparable<Monkey> 
{ 
     ... 

     using Comparable<Monkey>::compare; 
     int compare(const Monkey&& m) 
     { 
     return strcmp(name, m.name); 
     } 
};