Retour d'un lambda capturant une variable locale

Question

Aujourd'hui, j'ai rencontré un comportement très peu intuitif (pour moi, au moins) en C++ 11 lambdas. Le code en question est le suivant:

Au lieu d'imprimer 5, ceci imprime du charabia. En fait, au moins dans ma version de GCC, si j'active l'indicateur d'optimisation -O2, il imprime en réalité 5. Puisque la sortie dépend du niveau d'optimisation du compilateur, c'est un comportement indéfini. Après un moment, je pense avoir compris ce qui se passe. Quand la fonction sum est appelée, une variable de pile correspondant à l'argument x est mise à 2, alors la fonction sum retourne, et cette variable de pile peut être écrasée par tout ce que le compilateur doit mettre là pour exécuter le code suivant et au moment où le lambda est finalement exécuté, l'endroit où x ne contient plus 2, et le programme ajoute 3 à un entier arbitraire.

Existe-t-il un moyen élégant de faire en C++ en garantissant que la variable est capturée correctement?

Answer 1

int x a une durée de vie limitée. Les références aux variables de stockage automatique (ce que vous appelez "la pile") ne sont valables que pendant la durée de vie de la variable. Dans ce cas, seulement jusqu'à la fin du cadre de la pile (la portée) où la variable existe, ou la fonction pour les arguments de la fonction.

[&] capture toute variable mentionnée ("locale") par référence, sauf this (qui est capturée par la valeur si elle est utilisée ou implicitement utilisée). [=] capture toute variable mentionnée par valeur. [x] capturerait x explicitement, et [&x] par référence explicitement. En C++ 17, [*this] fonctionne également. Il existe également [x=std::move(x)] ou [blah=expression].

En général, si le lambda survit à la portée actuelle n'utilisez pas [&]: soyez explicite sur ce que vous capturez.