¿Cómo es “int main(){(([](){})());}” C++ válido?

Question 1

Recientemente me encontré con el siguiente código esotérico.

int main(){(([](){})());}

Vuelva a formatearlo de la siguiente manera para que sea más legible:

int main(){
    (([](){})());   //  Um... what?!?!
}

Pero no puedo entender cómo (([](){})()) es un código válido.

No parece una sintaxis de puntero de función.
No puede ser algún truco de sobrecarga de operadores. El código se compila tal cual.

Google no ayudó mucho con esta búsqueda de todos los símbolos. Pero se compila en Visual Studio 2010 y no genera nada. No hubo errores ni advertencias. Entonces parece un código válido.

Nunca he visto ningún código válido que sea tan extraño fuera de los punteros de funciones de Javascript y C.

¿Alguien puede explicar cómo esto es válido en C++?

Question 2

El código esencialmente llama a una lambda vacía.

Vamos a empezar desde el principio: [](){} es una expresión lambda vacía.

Luego, en C y C++, puede envolver expresiones entre paréntesis y se comportan exactamente igual^† como si estuviera escrito sin ellos, así que eso es lo que hace el primer par de paréntesis alrededor de la lambda. ahora estamos en ([](){}).

Después, () después de que los primeros paréntesis envolventes llamen a la lambda (vacía). ahora estamos en ([](){})()

Toda la expresión está envuelta entre paréntesis nuevamente y obtenemos (([](){})()).

Al final, ; termina la declaración. llegamos a (([](){})());.

† Existen alguno casos de esquina al menos en C ++, como con T a_var; hay una diferencia entre decltype(a_var) y decltype((a_var)).

¿Ha sido útil esta solución?