Referencia no definida a una variable local estática

Question

Este es el ejemplo más simple que pude encontrar que reproduce el problema.

template<class T> 
struct X 
{ 
    static void foo() 
    { 
     static int z = 0; 
     []{ z = 1; }(); 
    } 
}; 

int main() 
{ 
    X<int>::foo(); 
    return 0; 
} 

Lo he intentado con MinGW 4.6 y 4.7, también g ++ 4.6 en Ubuntu y todos ellos me dan el error de enlace "referencia indefinida a` z '". Entonces eso me hace preguntarme si esto es legal. VC10 no tiene problema con eso.

Funciona si X es una clase normal en lugar de una plantilla. Además, no creo que esté relacionado con lambdas porque me da el error incluso si reemplazo el lambda con una clase local.

Answer 1

g ++ acepta las siguientes, pero VC++ no:

[&z]{ z = 1; }(); 

Aquí z se está capturando así g ++ no se quejan de un referencia indefinida. Sin embargo:

5.1.2/10:

Los identificadores en una captura-list se buscan utilizando las reglas habituales de búsqueda de nombre no calificado (3.4.1); cada búsqueda de este tipo encontrará una variable con la duración de almacenamiento automática declarada en el alcance de la expresión local lambda.

z es no almacenamiento automático. z por lo tanto, no se puede capturar. El comportamiento de g ++ es, por lo tanto, incorrecto y VC++ es correcto.

En su código, que VC++ acepta y g ++ no:

[]{ z = 1; }(); 

z se accede por el almacenamiento como estática VC++, que se deja en un cuerpo lambda. g ++ aparentemente no resuelve el nombre z en la variable estática declarada anteriormente y por lo tanto arroja referencia indefinida, mientras que no debería.

tl; dr Es probablemente un error en g ++

Editar: It is indeed a bug y se fija en 4,7.

Answer 2

No entiendo por qué funciona para las clases normales y no para las plantillas. Pero usted puede conseguir su ejemplo funcione si captura la variable local z por referencia:

static void foo() 
{ 
    static int z = 0; 
    [&z]{ z = 1; }(); // Note: [&z] 
} 

Wikipedia tiene más información here.