Ein großer Fehler von VC++? Warum listet initializer-list nicht value-initialize eine Struktur auf?

Question

Der C++ 11-Standard 8.5.4.3 sagt:

"Wenn die Initialisierungsliste keine Elemente enthält und T ein Klassentyp mit einem Standardkonstruktor ist, wird das Objekt value-initialisiert."

struct A 
{ 
    int get() { return i; } 

private: 
    int i; 
}; 

int main() 
{ 
    A a = {}; 

    int n = a.get(); 
    cout << n << endl; 
    // n is a random number rather than 0 

    return 0; 
} 

Ist das ein Fehler von VC++? Mein VC++ ist das neueste Nov 2012 CTP.

Answer 1

Wert-Initialisierung eines nicht-aggregierten Klassentyps wird von 8.5p8 abgedeckt. In Ihrem Fall hat die (nicht gewerkschaftliche) Klasse einen implizit deklarierten Standard-No-Parameter-Konstruktor (12.1p5), der nicht gelöscht wird und trivial ist (ebenda). Somit ist die zweite Kugel von 8.5p8 gilt:

- wenn T a ist (möglicherweise cv qualifiziert) non-union Klassentyp ohne einen vom Benutzer bereitgestellte oder gelöscht Standardkonstruktors, dann wird das Objekt Null initialisiert wird und, wenn T einen nicht-trivialen Standardkonstruktor hat, default-initialisiert;

Also A sollte Null initialisiert werden, und das Programm sollte 0 drucken.

Am folgenden Programm:

struct A { int get() { return i; } private: int i; }; 
#include <iostream> 
int main() { 
    char c[sizeof(A)]; 
    new (c) int{42}; 
    std::cout << (new (c) A{})->get() << '\n'; 
} 

gcc-4.7.2 korrekt ausgibt 0; gcc-4.6.3 gibt fälschlicherweise 42 aus; clang-3.0 wird absolut verrückt und gibt Müll aus (z.B. 574874232).