C++ lambda作用域问题：捕获组访问、可达作用域、块作用域及闭包规则

问题1：lambda函数体为何能够访问到自身函数体和捕获组范围之外的内容？ #

lambda仅需要捕获当前外围块作用域内的自动存储期变量/形参，其余本身具有全局作用域、命名空间作用域、静态存储期的符号（比如你示例里的全局函数foo、全局变量、类静态成员）都可以直接访问，不需要捕获，编译阶段就能直接定位到这些符号的地址，不需要lambda额外存储引用或者副本。
你给出的示例中foo是定义在全局作用域的函数，本身全程序任何位置都可以直接调用，完全不需要lambda捕获。

问题2：什么是可达作用域（reaching scope）？ #

可达作用域是C++标准中针对lambda定义的作用域范围，指从lambda表达式的定义点出发，向外层逐层延伸所能触及的所有作用域，最远到包含该lambda的最外层函数及其形参范围为止。
只有处于可达作用域内的自动存储期变量，才允许被lambda捕获，超出该范围的自动变量无法被lambda捕获。

问题3：什么是块作用域（block scope）？ #

块作用域是最常见的作用域类型，由一对大括号{}包裹的代码段会形成独立的块作用域。在块作用域内声明的自动存储期变量、形参，仅能在当前块以及块内部嵌套的子块中访问，离开块作用域后这些变量就会被销毁，无法再访问。
注：你之前的理解有误，块作用域和闭包类型完全是两个概念：块作用域是语法层面的变量可见性规则，闭包类型是编译器为每个lambda生成的专属匿名类类型，二者没有从属关系。

问题4：确定闭包类型边界的规则是什么？ #

闭包类型是编译器为每个lambda表达式生成的独一无二的匿名类类型，它的边界规则如下：

• 闭包类型的定义作用域仅限于lambda定义点所在的可达作用域内，出了该范围无法直接声明该闭包类型的实例（可通过auto推导、std::function包装的方式将闭包实例传递到其他作用域）
• 闭包类型的非静态数据成员仅包含lambda显式/隐式捕获的自动变量，未被捕获的变量不会进入闭包类型的成员范围
• 闭包的operator()函数体的符号查找规则和普通函数一致：全局/静态符号直接查找使用，外围可达作用域的自动变量必须已被捕获才能访问，未捕获的自动变量无法在lambda体内使用

你给出的示例代码对应的逻辑验证如下：

void foo()
{
   // do something
}

int main()
{
    [](){
       // do something
       foo(); // foo是全局函数，不需要捕获即可直接调用
    }();
}

内容的提问来源于stack exchange，提问作者holeInAce