Ist dieser gültige C++ - Code standardgemäß?

Question

Ich habe diesen Beispielcode:

struct A 
{ 
    bool test() const 
    { 
     return false; 
    } 
}; 


template <typename T = A> 
class Test 
{ 
public: 
    Test(const T& t = T()) : t_(t){} 

    void f() 
    { 
     if(t_.test()) 
     { 
      //Do something 
     } 
    } 
private: 
    const T& t_; 
}; 

int main() 
{ 
    Test<> a; 
    a.f(); 
} 

Grundsätzlich Ich mache mir Sorgen um den Konstruktor Test, wo ich eine konstante Referenz auf eine temporäre Variable bin zu speichern und in methof f verwenden. Bleibt der Verweis auf das temporäre Objekt innerhalb von f gültig?

Answer 1

Es wird nicht gültig bleiben. Das temporäre Objekt wird nach der Initialisierung a zerstört. Wenn Sie f aufrufen, rufen Sie ein undefiniertes Verhalten auf, indem Sie test aufrufen. Nur das Folgende ist gültig:

// Valid - both temporary objects are alive until after the 
// full expression has been evaluated. 
Test<>().f();