Як "int main () {(([] () {}) ());}" дійсний C ++?

Нещодавно я натрапив на наступний езотеричний фрагмент коду.

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

Переформатуйте його наступним чином, щоб зробити його більш зрозумілим:

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

Але я не можу опустити голову як (([](){})()) діє код.

• Це не схоже на синтаксис вказівника функції.
• Це не може бути трюком перевантаження оператора. Код складається так, як є.

Google не дуже допомагав у цьому пошуку всіх символів. Але вона компілюється у Visual Studio 2010 і нічого не видає. Не було помилок і жодних попереджень. Так виглядає дійсний код.

Я ніколи не бачив якого - або дійсного коду , який так дивно за межами Javascript і C покажчиків функцій .

Чи може хтось пояснити, наскільки це дійсно C ++?

Код по суті називає порожньою лямбда.

Почнемо з початку: [](){}це порожній лямбда-вираз .

Тоді, в C і C ++, ви можете обернути вираження в круглих дужках , і вони ведуть себе точно так само , ^† як якби написано без них, так це те, що перша пара дужок навколо лямбда робить. Зараз ми в([](){}) .

Тоді, () після першого обгортання парен називає (порожню) лямбда. Зараз ми в([](){})()

Весь вираз знову загортається в парену і ми отримуємо (([](){})()) .

Нарешті, ;закінчується твердженням. Ми приїжджаємо (([](){})());.

† Принаймні в C ++ є деякі кутові випадки, як, наприклад T a_var; , різниця між decltype(a_var)іdecltype((a_var)) .