Non si dovrebbe distruggere il temporaneo A (3) prima che venga stampato "Qui"?

Question

Il temporaneo A(3) non deve essere distrutto prima che venga stampato "Qui"?

#include <iostream> 
struct A 
{ 
    int a; 
    A() { std::cout << "A()" << std::endl; } 
    A(int a) : a(a) { std::cout << "A(" << a << ")" << std::endl; } 
    ~A() { std::cout << "~A() " << a << '\n'; } 
}; 

int main() 
{ 
    A a[2] = { A(1), A(2) }, A(3); 
    std::cout << "Here" << '\n'; 
} 

uscita:

A(1) 
A(2) 
A(3) 
Here 
~A() 3 
~A() 2 
~A() 1 

Live example

Answer 1

A(3) non è un oggetto temporaneo, ma un oggetto di tipo A chiamato A. È la stessa logica:

A a[2] = { A(1), A(2) }, a2(3); 

In realtà non sapevo che ti fosse permesso farlo.

Answer 2

Come estensione @ risposta di neil-kirk la ragione A(3) non è una temporanea è che la linea originale

A a[2] = { A(1), A(2) }, A(3); 

è davvero una dichiarazione abbreviata di due variabili a[] e A

A a[2] = { A(1), A(2) }; 
A A(3); 

simile a come potresti fare

int a = 1, b = 2; 

o

int a = 1; 
int b = 2;