Enthält der folgende Code Verhalten undefiniert aufgrund r-Wert Verwendung

Question

nach der Post r-value causes a warning without the use of std::move, Ich frage mich, ob der folgende Code Verhalten nicht definiert hat, hat:

struct Animal 
{ 
    virtual void foo() const 
    { 
    std::cout << "error" << std::endl; 
    } 
}; 

struct Dog : public Animal 
{ 
    void foo() const 
    { 
    std::cout << "wuff" << std::endl; 
    } 
}; 

struct A 
{ 
    A(const Animal& a) : _a(a) {} 

    void foo() 
    { 
    _a.foo(); 
    } 


    const Animal& _a; 
}; 

int main() 
{ 
    A a(Dog{}); 
    a.foo(); 

} 

Auf meinem Rechner ist der Ausgang (wie erwartet) wuff.

Answer 1

Tatsächlich ist a.a_ eine freie Referenz in der Anweisung a.foo();, und so hat die Auswertung des Ausdrucks _a.foo undefiniertes Verhalten. Die Lebensdauer des temporären Objekts Dog{} endet am Ende des vollständigen Ausdrucks (und ist nicht erweitert).