“ int main（）{（（（[]（）{}）（））;}”如何有效C ++？

最近，我遇到了以下深奥的代码。

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

重新格式化，如下所示以使其更具可读性：

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

但是我无法理解(([](){})())有效代码的有效性。

• 它看起来不像函数指针语法。
• 这不可能是操作员重载的把戏。代码按原样编译。

Google在这种全符号搜索中并没有太大帮助。但是它可以在Visual Studio 2010中编译，但不输出任何内容。没有错误，也没有警告。因此，它看起来像有效的代码。

在Javascript和C函数指针之外，我从未见过任何如此奇怪的有效代码。

有人可以解释这是如何有效的C ++吗？

该代码实质上调用了一个空的lambda。

让我们从头开始：[](){}是一个空的lambda表达式。

然后，在C和C ++中，您可以将表达式包装在括号中，它们的行为与没有它们的情况下完全一样^†，因此，这就是lambda周围的第一对括号。我们现在在([](){})。

然后，()在第一次包装后，parens调用（空）lambda。我们现在在([](){})()

整个表达式再次包裹在括号中，我们得到(([](){})())。

最后，;结束语句。我们到达(([](){})());。

†有一些角落情况下，至少在C ++中，就像T a_var; 有之间的差异decltype(a_var)和decltype((a_var))。