“int main(){(([](){})());}”如何有效的 C++？

Question

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

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

将其重新格式化，使其更具可读性：

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

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

• 它看起来不像函数指针语法。
• 这不可能是某种运算符重载技巧。代码按原样编译。

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

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

有人可以解释一下这是有效的 C++ 吗？

Answer 1

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

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

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

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

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

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

---

† 至少在 C++ 中有 一些 极端情况，例如 T a_var; there's a difference between decltype(a_var) and decltype((a_var))。