Riduzione della conversione in coppia con inizializzazione rinforzata se il secondo attributo non è rinforzato-inizializzato

Question

Poiché C++ 11, la conversione del restringimento non è consentita in list initialization (incluso aggregate initialization). Quindi, in pratica:

char c{1000}; // Does not compile with g++, clang, vc 

Ma:

std::pair<char, double> p{1000, 1.0}; 

compila con tutto il compilatore?

Ma:

std::pair<char, double> p{1000, {1.0}}; 

Non compilare con VC (errore C2398), dà un avvertimento con clangore e compila in silenzio con g ++ ...

mi sarei comportamento VC atteso in tutto il mondo, vale a dire un conversione restringimento non consentita che genera un errore. Qual è il compilatore giusto?

---

D'altra parte, nessuna delle dichiarazioni delle variabili nei seguenti frammenti di compilare:

struct X { 
    char c; 
    double d; 
}; 

X x1{999, 1.0}; 
X x2{999, {1.0}}; 

struct Y { 
    char c; 
    double d; 
    Y (char c, double d) : c(c), d(d) { } 
}; 

Y y1{999, 1.0}; 
Y y2{999, {1.0}}; 

Così una delle mia ipotesi può essere che ci sia qualcosa di speciale std::pair? Qualcosa che restringerebbe anche l'inizializzazione rinforzata?

Answer 1

1. std::pair<char, double> p{1000, 1.0}; non viene diagnosticata perché richiede l'template<class U1, class U2> pair(U1&&, U2&&) costruttore (con U1 == int e U2 == double), che corrisponde esattamente; il restringimento non avviene finché non entri nel corpo del costruttore.

2. std::pair<char, double> p{1000, {1.0}}; non può chiamare quel costruttore, perché il rinforzato-init-list{1.0} è un contesto non dedotto, quindi non si può dedurre U2.

   • In clang/libC++, chiama il costruttore pair(const T1&, const T2&); tuttavia clang apparently doesn't consider the conversion needed to create a temporary for reference binding as part of the narrowing check. Questo è probabilmente un bug.
   • GCC/libstdC++ 's pair ha un modello di costruttore template<class U1> pair(U1&&, const T2&), che è una corrispondenza migliore. Con questo costruttore, il secondo argomento non si restringe e il primo argomento è una corrispondenza esatta, quindi non si ottiene alcun errore o avviso.