Inicialización uniforme de referencias

Question

Actualmente estoy intentando comprender la nueva inicialización uniforme de C++ 0x. Desafortunadamente, abandoné el uso de la inicialización uniforme de referencias. Ejemplo:

int main() { 
    int a; 
    int &ref{a}; 
} 

Este ejemplo funciona bien:

% LANG=C g++ uniform_init_of_ref.cpp -std=c++0x -o uni -Wall -Wextra 
uniform_init_of_ref.cpp: In function `int main()': 
uniform_init_of_ref.cpp:3:10: warning: unused variable `ref' [-Wunused-variable] 

(actualización Comeau lanza un error de ese ejemplo, así que tal vez no debería gcc compila también)

Ahora, si utilizo un tipo de datos personalizado en lugar de un entero, ya no funciona:

class Y 
{}; 

int main() 
{ 
    Y y; 
    Y &ref{y}; 
} 

% LANG=C g++ initialization.cpp -std=c++0x -o initialization -Wall -Wextra 
initialization.cpp: In function `int main()': 
initialization.cpp:9:13: error: invalid initialization of non-const reference of type `Y&' from an rvalue of type `<brace-enclosed initializer list>' 
initialization.cpp:9:8: warning: unused variable `ref' [-Wunused-variable] 

Desafortunadamente, no encontré la sección relevante en el borrador estándar. Mi conjetura es que estoy mal entendido el uso de inicialización uniforme, como Comeau se queja con este mensaje:

ComeauTest.c(9): error: reference variable "ref" requires an initializer 
     Y &ref{y}; 

Por lo tanto, puede que alguien de ustedes me punto en la dirección correcta?

---

En caso de que usted quiere saber por qué esta pregunta es relevante y por qué no sólo tiene que utilizar Y &ref(y): Me gustaría ser capaz de utilizar la inicialización uniforme en la lista de inicialización de un constructor:

class X { }; 

class Y { 
    const X& x; 

    public: 
     Y (const X& xx): 
      x{xx} 
     {} 
}; 

int main() { 
    X x; 
    Y y{x}; 
} 

Esto falla con el mismo mensaje de error que el anterior.

Nota:

• estoy usando LANG=C para permitir mensajes de error en inglés.
• gcc versión: 4.6.1

Answer 1

De acuerdo con el párrafo 8.5.4.4 del N2672 debería decir:

Otherwise, if T is a reference type, an rvalue temporary of the type referenced by T is list-initialized, and the reference is bound to that temporary. [ Note: As usual, the binding will fail and the program is ill-formed if the reference type is an lvalue reference to a non-const type. ]

cual (si he entendido bien) significa inicialización uniforme de referencias ellas se une a la nueva instancias anónimas, por lo que me parece que es bastante inútil. Eso todavía no explica por qué uno funciona y el otro no; deberían comportarse igual (a menos que Y tenga algunos constructores explícitos).