Действительно ли это код C++ в соответствии со стандартом?

Question

У меня есть этот пример кода:

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

В основном я беспокоюсь о конструкторе Test где я храню константную ссылку на временную переменную и использовать его в methof f. Будет ли ссылка на временный объект оставаться в силе внутри f?

Answer 1

Он не будет действовать. Временной объект будет уничтожен после инициализации a. В то время, когда вы вызываете f, вы вызываете неопределенное поведение, вызывая test. Допускается только следующее:

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