GCC 嵌套函数与 C++ Lambda 实现大揭秘
Implementation of GCC's Nested Functions (vs. C++ Lambdas)
Martin Uecker 深入解析了 GCC 嵌套函数的底层实现机制。与传统的栈帧指针不同，GCC 将父函数中被访问的变量打包成一个合成结构体，并通过隐藏参数传递给嵌套函数。这种设计不仅解耦了编译器逻辑，还能被通用优化器高效处理。文章进一步对比了 C++ Lambda 的实现，指出两者在语义上高度相似，但在多嵌套场景下，GCC 共享单一环境结构体，而 C++ 则为每个 Lambda 生成独立对象。尽管实现路径不同，两者最终呈现出完全一致的行为语义。
GCC 的嵌套函数对应于 C++ Lambda 的一个小型语义子集，尽管它们在历史上源于不同的方法，但其实现方式在本质上并没有太大不同。
- alexey-salmin
这篇文章不知为何忽略了 GCC 嵌套函数 80% 的复杂性和优势，而这些恰恰是让它们变得毫无意义的地方。具体来说，你可以将它们转换为函数指针并传递出去，例如作为 sort() 例程的比较器。在嵌套函数沿调用栈向下执行时，替换正确的父帧参数非常棘手，这需要 ABI 的显式支持（如 ia-64），或者需要可执行栈来构建 trampoline，或者需要特殊逻辑来用特殊的 but set 包装函数指针 [1]。
如果没有所有这些机制，嵌套函数的实用性就和文章中那些“重写”的示例一样，人们完全可以手动完成，无需任何编译器或语言支持。
C++ Lambda 不会出现这个问题，因为它们是作为特殊对象传递的，而不是裸函数指针。
- WalterBright
D 语言的嵌套函数是通过静态链接和动态链接实现的。大家都熟悉动态链接，它是指向调用函数栈帧的指针（在 x86_64 处理器上是 EBP）。静态链接才是有趣的部分，它是指向静态封闭栈帧的指针。
因此，要访问向上两层封闭函数的栈变量，静态链接需要遍历两次。
在 D 语言中，对嵌套函数的引用由一对数据表示：一个指向函数的指针，以及静态链接。（在 D 的术语中称为“委托”delegate）。有趣的是，这与取成员函数引用的布局相同，其中“this”指针取代了静态链接的位置。
这意味着嵌套函数的引用与成员函数的引用在 ABI 上是兼容的。
D 语言中的 Lambda 只是嵌套函数更紧凑的语法糖。
- torginus
> 在 GCC 中，嵌套函数会在早期的中间端阶段被降低（lowered）。在此阶段，嵌套函数访问的所有父级变量都会被收集到一个合成的结构中，该结构的指针会作为隐藏参数传递给嵌套函数
通常这比显式的 Lambda 要好一些，但我认为“最佳情况”应该是 GCC 能够洞察调用函数的栈布局，并直接操作调用函数中存储的栈变量（以及保存的寄存器）。毕竟，调试器可以追踪每一行代码中变量位于何处，所以这在理论上是可行的。
不确定这是否有用或实用，但这会是很棒的极客信誉（nerd cred）。