Warum = {} Initialisierung funktioniert nicht für Tupel?

Question

Für mich ein pair ist nur Spezialfall eines tuple, aber folgende überrascht mich:

pair<int, int> p1(1, 2); // ok 
tuple<int, int> t1(1, 2); // ok 

pair<int, int> p2={1, 2}; // ok 
tuple<int, int> t2={1, 2}; // compile error 

Warum Unterschied gibt es, wenn wir {} verwenden tuple zu initialisieren?

versuchte ich sogar g++ -std=c++1y aber immer noch Fehler hat:

a.cc: In function 'int main()': 
a.cc:9:29: error: converting to 'std::tuple<int, int>' from initializer list would use explicit constructor 'constexpr std::tuple<_T1, _T2>::tuple(_U1&&, _U2&&) [with _U1 = int; _U2 = int; <template-parameter-2-3> = void; _T1 = int; _T2 = int]' 
    tuple<int, int> t2={1, 2}; 
          ^

Answer 1

Die tuple constructor Sie versuchen explicit ist zu nennen, so copy-list-initialization will fail. Die entsprechende pair constructor ist nicht explicit.

Code ändern zu

tuple<int, int> t2{1, 2}; 

und es wird kompilieren.

Answer 2

Neben Praetorian'scorrect answer (was ich upvoted habe), habe ich ein wenig mehr Informationen ...

Post-C++ 14, der Standard geändert wurde hinzufügen wollte ermöglichen:

tuple<int, int> t2={1, 2}; 

zu kompilieren und haben die erwartete Semantik. Der Vorschlag, der dies tut, ist N4387. Dies wird auch Konstrukte lassen wie:

tuple<int, int> 
foo() 
{ 
    return {1, 2}; 
} 

Es erlaubt es nur, wenn alle T im tuple aus allen Argumente implizit contructible sind.

Als nicht konforme Erweiterung implementiert libC++ dieses Verhalten bereits.