referencyjny ujęte w definicji zmiennej statycznej

Question

#include <iostream> 

void foo(int k) { 
    static auto bar = [&]{ 
     std::cout << k << std::endl; 
    }; 
    bar(); 
} 

int main() { 
    foo(1); foo(2); foo(3); // output is correct: 1, 2, 3 
} 

Sprawdź funkcja foo, jak statyczne lambda jest przechwytywanie k przez odniesienie. To wydaje się działać, i to samo dzieje się z bardziej skomplikowanymi typami danych niż int.

Czy to jest oczekiwane? Czy istnieje gwarancja, że ​​adres k będzie taki sam dla każdego wywołania foo, czy jest to UB?

Z góry dziękuję i przepraszam, jeśli to było wcześniej odpowiedział (I nie spróbować znaleźć podobne pytanie bez powodzenia)

Answer 1

To jest niezdefiniowany Zachowanie.

za § 5.2.2/4 C++ 11 standardowych określeń o wywołaniu funkcji i inicjalizacji ich parametrów:

[...] Żywotność parametru kończy się wtedy, gdy funkcja w którym zdefiniowano , zwraca. Inicjowanie i niszczenie każdego parametru występuje w kontekście wywołującej funkcji . [...]

W związku z tym, twoja lambda będzie przechowywać referencję, która zwisa, gdy tylko wywołanie funkcji powróci.

W takim przypadku implementacje są bezpłatne (i prawdopodobnie) tworzą parametry funkcji pod tym samym adresem dla każdego wywołania funkcji, co prawdopodobnie jest przyczyną oczekiwanego wyniku.

Jednak takie zachowanie nie jest wymagane przez Standard - dlatego nie powinieneś polegać na nim (w takim przypadku Twój kod byłby legalny z powodu 3.8/7).

Answer 2

Powodem, dla którego prawdopodobnie "działa" w twoim przykładzie, jest to, że stos wywołań zawsze układa się w ten sam sposób. Spróbuj tego zamiast tego i sprawdź, czy nadal masz "oczekiwane" dane wyjściowe.

#include <iostream> 

void foo(int k) { 
    static auto bar = [&]{ 
     std::cout << k << std::endl; 
    }; 
    bar(); 
} 

void baz(int k) { 
    std::cout << "baz: "; 
    foo(k); 
} 

int main() { 
    foo(1); baz(2); foo(3); 
}