「int main（）{（（[]（）{}）（））;}」は有効なC ++ですか？

最近、次の難解なコードに出くわしました。

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

次のように再フォーマットして、読みやすくします。

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

しかし、私(([](){})())は有効なコードがどうあるかについて頭をつかむことができません。

• 関数ポインタ構文のようには見えません。
• オペレーターのオーバーロードのトリックにはなりません。コードはそのままコンパイルされます。

グーグルは、この全記号検索ではあまり役に立たなかった。ただし、Visual Studio 2010でコンパイルされ、何も出力されません。エラーも警告もありませんでした。したがって、有効なコードのように見えます。

私は、JavaScriptとC関数ポインター以外ではとても奇妙な有効なコードを見たことがありません。

これが有効なC ++であると誰かが説明できますか？

コードは基本的に空のラムダを呼び出します。

最初から始めましょう：[](){}空のラムダ式です。

次に、CおよびC ++では、式を括弧で囲むことができ、それらは式なしで記述された場合とまったく同じように動作します^†、それがラムダの周りの括弧の最初のペアが行うことです。現在にい([](){})ます。

次に、()最初のラッピング後、括弧が（空の）ラムダを呼び出します。私たちは今です([](){})()

式全体が再び括弧で囲まれ、取得され(([](){})())ます。

最後に;、ステートメントを終了します。到着し(([](){})());ます。

† とには違いがあるように、少なくともC ++にはいくつかのコーナーケースT a_var; がdecltype(a_var)ありdecltype((a_var))ます。