C++ 11 - declaración de miembros de datos no estáticos como 'auto'

Question

¿C++ 11 permite declarar miembros de datos no estáticos como 'auto' si se inicializan en la declaración? Por ejemplo:

struct S 
{ 
    auto x = 5; // in place of 'int x = 5;', which is definitely allowed 
}; 

GCC 4.7 rechaza el código anterior, mientras se acepta int x = 5;.

Suponiendo que esto no es un error del compilador, sino que el estándar realmente no lo permite, ¿por qué no? Sería tan útil como declarar las variables locales auto.

Answer 1

La regla para prohibir miembros no estáticos está en 7.1.6.4 cláusula 4:

El auto tipo especificador también se puede utilizar en la declaración de una variable en la condición de una declaración de selección (6.4) o una instrucción de iteración (6.5), en el type-specifier-seq en el new-type-id o type-id de una new-expression (5.3.4), en una declaración for-range, y en declarar un miembro de datos estáticos con un llavero o igual inicializador que aparece dentro de la especificación miembro de una definición de clase (9.4.2).

He encontrado la razón de que sea estática here que refleja cómo James McNellis explica en el comentario.

Un organismo nacional no le gusta lo que permite la auto-tipo especificador de no estática. Desde un e-mail a los autores:

template< class T > 
    struct MyType : T { 
     auto data = func(); 
     static const size_t erm = sizeof(data); 
    }; 

Con el fin de determinar la distribución de X, ahora tenemos búsqueda de nombre de 2 fases y ADL. Tenga en cuenta que func podría ser un tipo o una función; se puede encontrar en T, el espacio de nombres de MyType, el espacio de nombres asociado de T cuando se crea una instancia, el espacio de nombre global, un espacio de nombre anónimo o cualquier espacio de nombres sujeto a una directiva using. Con cuidado, probablemente podríamos lanzar alguna búsqueda de concept_map para tener suerte. Dependiendo del orden de inclusión del encabezado, podría obtener resultados diferentes para ADL y romper la regla de una sola definición, que no es necesario para el diagnóstico de .

Debido a esta controversia, los autores ya no proponen que se permita el auto para los miembros de datos no estáticos.

Por lo tanto, básicamente dependiendo del orden de inclusión del encabezado, el tipo de data podría ser muy diferente. Por supuesto, auto x = 5; no necesitaría depender de la búsqueda de nombre de dos fases o ADL, sin embargo, supongo que lo hicieron una regla "general" porque de lo contrario, tendrían que hacer reglas individuales para cada caso de uso que lo haría hacer las cosas muy complicadas

En el mismo documento, el autor propone eliminar esta restricción, sin embargo, parece que esta propuesta ha sido rechazada probablemente debido a la lógica anterior y también para que el comportamiento esperado sea el mismo sin importar el inicializador.