¿Qué sucede si capturo una variable local por referencia y sale del alcance?

Question

Supongamos que uso una lambda como función de devolución de llamada, y cuando creo la lambda, capturo una variable de función local por referencia. Ahora supongamos que el objeto lambda no se ejecuta hasta que la variable de función local se salga del alcance. ¿Lo que pasa?

Me doy cuenta de que sería muy estúpido que alguien lo haga si existe la posibilidad de que ocurra, pero estoy casi seguro de que alguien terminará haciéndolo.

Answer 1

Sí, eso estaría siguiendo una referencia colgante. Parece que le preocupa el diseño de la interfaz: "Estoy casi seguro de que alguien terminará haciéndolo". Por favor, no rechace lambdas y std::function sobre esta base, ya que no son más peligrosos que cualquier otra alternativa. Lambdas es simplemente una forma más simple de definir funtores locales. std::function es la mejor interfaz para funtores persistentes, polimórficos, lambda o no.

El problema de alcance es por qué es más fácil de capturar por valor. El usuario no obtendrá una referencia a menos que escriba &. Por supuesto, el peligro es que alguien tenga el hábito de iniciar todas sus funciones lambda con [&], ya que las referencias son "más rápidas". Con suerte, cualquiera de esas personas aprenderá su lección lo suficientemente pronto ... aunque algunas personas con puntero son simplemente incorregibles.

Answer 2

Lo mismo que sucede cuando devuelve una referencia a una variable local: comportamiento indefinido.