¿Es válido para una lambda, esencialmente, cerrar sobre sí mismo?

Question

¿Es válida esta recursividad lambda?

#include <functional> 
#include <iostream> 

int main() { 
    std::function<int(int)> g = [&g](int k) { 
     return (k ? k * g(k-1) : 1); 
    }; 

    std::cout << g(10); // 3628800 
} 

Se appears to compile and run ok, pero estoy nervioso por el cierre de más de g en el mismo comunicado que su inicialización. ¿Estricta validez en una escala de 1-10 ...?

Answer 1

En el punto en el que se captura g por referencia, se ha declarado, por lo que el nombre está disponible para su uso:

3.3.2/1 El punto de la declaración de un nombre es inmediatamente después de su declarador completa (Cláusula 8) y antes de su inicializador

Usted está autorizado a utilizar los objetos de manera limitada antes de que se inicializan - básicamente, cualquier cosa que no depende del valor está bien:

3.8/6 antes de que se haya iniciado la vida útil de un objeto, pero después del almacenamiento que ocupará el objeto se ha asignado [...] cualquier glvalue que se refiera al objeto original pero solo en formas limitadas . [...] usar las propiedades del glvalue que no dependen de su valor está bien definido.

Por lo que entiendo, lo que está haciendo está bien definido.

(Aunque, siendo ultrapente, no creo que se especifique cuando se asigna el almacenamiento para un objeto automático, y 8.3.2/5 dice que "una referencia debe inicializarse para referirse a un objeto válido" sin definir "válido", por lo que hay margen para argumentar que no está bien definido).