Niezdefiniowane odniesienie do statycznej zmiennej lokalnej

Question

To najprostszy przykład, jaki mogłem wymyślić, który odwzorowuje problem.

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

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

Próbowałem go z MinGW 4.6 i 4.7, a także g ++ 4.6 w Ubuntu i wszystkie z nich daje mi błąd Link "niezdefiniowana odniesienia do` z '". Więc teraz zastanawiam się, czy to nawet legalne. VC10 nie ma z tym problemu.

Działa, jeśli X jest normalną klasą zamiast szablonu. Ponadto, nie sądzę, że jest to związane z lambdami, ponieważ dostaję błąd, nawet jeśli zamieniam lambdę na lokalną klasę.

Answer 1

g ++ przyjmuje następujące, lecz nie VC++:

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

tutaj z jest zrobione tak g ++ nie skarży się na nieokreślonej odniesieniu. Jednakże:

5.1.2/10:

The identyfikatorów w capture-liście są spojrzał stosując zwykłe zasady niewykwalifikowanego nazwa odnośnika (3.4.1); każde takie wyszukiwanie powinno znaleźć zmienną o automatycznym czasie przechowywania zadeklarowanym w zasięgu osiągnięcia lokalnego wyrażenia lambda.

z jest nie automatyczne przechowywanie. W związku z tym z nie można przechwycić. zachowanie g ++ jest zatem niepoprawne, a VC++ jest poprawne.

W kodzie, że VC++ akceptuje i g ++ nie:

[]{ z = 1; }(); 

z jest dostępna przez VC++ jako statycznego przechowywania, które jest dozwolone w organizmie lambda. g ++ najwyraźniej nie rozpoznaje nazwy zmiennej zadeklarowanej powyżej i dlatego wyrzuca niezdefiniowane odniesienie, podczas gdy nie powinno.

tl; dr To chyba błąd w g ++

Edit: It is indeed a bug i jest ustalony w punkcie 4.7.

Answer 2

Nie rozumiem, dlaczego działa dla normalnych klas, a nie dla szablonów. Ale można uzyskać przykład do pracy, jeśli uchwycić zmienną lokalną z przez odniesienie:

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

Wikipedia ma więcej informacji here.