dynamische Besetzung eine Referenz und Auto

Question

Ich habe ein ziemlich seltsames Verhalten bei der Verwendung von Auto und Dynamic_cast aufgetreten. Dies ist die Klasse Hierachie ich habe:

class BaseInterface { 
public: 
    virtual void someMethod()=0; 
}; 

class Derived:public BaseInterface { 
public: 
    virtual void someMethod1()=0; 
    void someMethod()override; 
}; 

Und natürlich gibt es einige Klassen, die alle abgeleiteten Methoden implementieren.

Dann gibt es eine dritte Klasse, die wie folgt aussieht:

class ThirdClass { 
public: 
    void demoMethod(BaseInterface&); 
    void anotherMethod(Derived&); 
}; 

void ThirdClass::demoMethod(BaseInterface& obj) { 
    auto buffer=dynamic_cast<Derived&>(obj); 
    anotherMethod(buffer); 
} 

Wenn ich kompilieren dies mit gcc Ich erhalte eine Fehlermeldung „kann ein Objekt nicht von abstrakten Typ zuweisen“. Während, wenn ich

ersetzen

auto buffer=... 

mit

Derived& buffer=... 

alles kompiliert in Ordnung. Warum ist das der Fall? Erkennt Auto nicht den richtigen Typ oder etwas?

Auch fand ich einen schmutzigen Trick noch Auto benutzen:

void ThirdClass::demoMethod(Base& obj) { 
    auto buffer=dynamic_cast<Derived*>(&obj); 
    anotherMethod(*buffer); 
} 

Answer 1

Sie bekommen Derived von auto. Verwenden Sie stattdessen:

auto & buffer = dynamic_cast<Derived&>(obj); 

Answer 2

§7.1.6.4/7:

Wenn eine Variable deklariert einen Platzhalter Typ verwendet wird initialisiert [...] die abgeleitete Rückgabetyp oder Variablentyp wird von der Art bestimmt von seinem Initialisierer. [...] Lassen Sie T den deklarierten Typ der Variablen oder Rückgabetyp der Funktion sein. Wenn der Platzhalter der auto Typspezifizierer ist, wird der abgeleitete Typ anhand der Regeln für Vorlagenargumentabzug ermittelt. [...] erhalten P von T durch Ersetzen der Vorkommen von auto mit entweder einer neuen erfundenen Vorlage Parameter U [...]. Deduce einen Wert für U mit den Regeln der Vorlage Argument Abzug von einem Funktionsaufruf (14.8.2.1), wobei P ist ein Funktionsvorlage Parametertyp und das entsprechende Argument ist die Initialisierer.

Also, um sich mit dem Prozess vertraut zu machen, werfen Sie einen Blick auf die zum Ableiten der Art von buffer verwendet tatsächliche Regel: Was ist, wenn Sie

geschieht ändern

template <typename U> 
void f(U); 

zu

void f(Derived&); 

beim Aufruf f mit einem Lvalue des Typs Derived? Für die Funktionsvorlage wird U eindeutig als Derived abgeleitet, was dann zu einem Ableitungsfehler führt.
Dies entspricht direkt der Abzug des Platzhaltertyps in Ihrem Beispiel - wird durch Derived ersetzt, und das schlägt fehl, wie Derived ist abstrakt.

Generell, wenn Sie

auto obj = …; 

obj schreiben nie wird ein Referenz, sein ebenso U nie als Referenztyp abgeleitet werden, wenn die obige Funktionsvorlage aufrufen.

---

Verwenden Sie stattdessen auto&:

auto& buffer = dynamic_cast<Derived&>(obj); 

Nun ist PU&:

template <typename U> 
void f(U&); 

U ist natürlich, immer noch als Derived abgeleitet, aber die Art der P - die ist effektiv der Typ buffer - ist Derived&.