Est-ce un code C++ valide selon la norme?

Question

Je possède ce code exemple:

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(); 
} 

Fondamentalement, je suis inquiet au sujet du constructeur de Test où je stocke une référence const à une variable temporaire et l'utiliser dans methof f. La référence d'objet temporaire reste-t-elle valide à l'intérieur de f?

Answer 1

Il ne restera pas valide. L'objet temporaire sera détruit après l'initialisation a. Au moment où vous appelez f, vous invoquez un comportement indéfini en appelant test. Seul ce qui suit est valide:

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