Erreur de conversion non valide C++ utilisant des types de retour covariant avec des fonctions virtuelles

Question

Dans le code suivant, je peux affecter le retour du D::clone() à un pointeur sur B, mais pas un pointeur sur D. Est-il possible de renvoyer le type polymorphe réel à partir d'un appel du pointeur de base?

struct B 
{ 
    virtual B * clone() { return this; } 
}; 

struct D : B 
{ 
    D * clone() 
    { 
     std::cout << std::is_same<decltype(this), D *>::value << std::endl; 
     return this; 
    } 
}; 

int main() 
{ 
    B * b = new D(); 
    B * bb = b->clone(); // prints "1" 
    std::cout << std::is_same<decltype(b->clone()), D *>::value << std::endl; // prints "0" 
    D * d = b->clone(); // error: invalid conversion from B * to D * (GCC 5.1) 
} 

Answer 1

Non Un appel de clone() sur la base d'une classe BD retournera la distribution D* à un B*.

Vous pouvez inverser cela en faisant un static_cast<D*> si vous êtes absolument certain, ou un dynamic_cast<D*> si vous n'êtes pas certain. Si vous êtes certain, que vous devriez vraiment faire la variable b être un D*.

En C++, vous devez encoder ce que vous savez de l'état du programme au moment de la compilation, quelle que soit la situation d'exécution en tant que types. En stockant le D* dans B* b, vous dites au compilateur pas de «savoir» que les données pointant vers «est un D». Au lieu de cela, vous dites « le code à l'aide B*b doit être valable pour tout pointeur-to-B Il est clair que D* d = b->clone(); n'est pas garanti d'être valide pour chaque pointeur-to-B