constructeur automatique et copie: quel est le problème?

Question

Consultez le code suivant:

#include<queue> 
#include<type_traits> 

int main() { 
    std::queue<int> q; 
    auto p{q}; 
    static_assert(std::is_same<decltype(q), decltype(p)>::value, "fail"); 
} 

Il compile très bien avec GCC 5.1.0 (voir here) et clang 3.8.0 (voir here), mais il n'a pas avec GCC 4.9. 0 (voir here). D'après une analyse plus poussée, il semble être dû au fait que le type de p est std::initializer_list.
À titre d'exemple, il fonctionne si l'on substitue la ligne:

auto p{q}; 

Avec la ligne:

decltype(q) p{q}; 

Je ne suis pas sûr que l'on est juste (même si GCC 5.1.0 fonctionne selon mes attentes) et c'est pourquoi j'ai demandé ici.
Est-il normal de s'attendre à ce que le type p soit std::queue<int>?

Answer 1

This is a known defect in the standard que auto en déduit {} en tant que std::initializer_list. There is a proposed change to fix this defect.

Les nouveaux gcc et clang implémentent la résolution proposée, contrairement à gcc-4.9.

Answer 2

N ° {q} est évalué à std::initializer_list. Il n'y a rien à dire au compilateur que vous pourriez vouloir quelque chose d'autre, alors Auto utilise celui-là.

Egalement decltype(q) n'est pas la même que decltype({q});