Swift递归：函数与闭包的编译差异原因咨询

我原本以为Swift里的func语法只是闭包表达式的语法糖，但下面两段代码的表现却不一样：

可正常编译的代码 #

let badger = get_closure()

func get_closure() -> (Int) -> Void {
  return { (x: Int) -> Void in
    print(x)
    if x > 4 {
      return
    } else {
      badger(x + 1)
    }
  }
}

badger(1)

无法编译（报循环引用错误）的代码 #

let badger = get_closure()

let get_closure = { () -> (Int) -> Void in
  return { (x: Int) -> Void in
    print(x)
    if x > 4 {
      return
    } else {
      badger(x + 1)
    }
  }
}

badger(1)

核心原因：func与顶层闭包变量的语义差异 #

虽然func定义的函数本质上属于闭包范畴，但Swift对顶层func和let绑定的顶层闭包有截然不同的处理逻辑：

1. 顶层func的延迟解析特性
   顶层func是全局符号，Swift会延迟解析它的引用关系。第一段代码里，badger调用get_closure()时，get_closure的函数体虽然引用了badger，但由于func是全局静态定义的，它直接访问badger的全局内存地址，不会触发闭包捕获行为，也就不存在循环强引用的问题——编译器允许这种跨引用，因为全局变量的生命周期是整个程序运行期，初始化顺序不会冲突。

2. 顶层闭包变量的即时捕获与初始化循环
   第二段代码中的get_closure是用let定义的顶层闭包变量，它的赋值是即时执行的。当badger = get_closure()这行代码运行时，get_closure的闭包体需要捕获badger变量，但此时badger还未完成初始化（它正等待get_closure()的返回值），这就形成了初始化循环依赖：badger的初始化依赖get_closure的结果，而get_closure的闭包又依赖未初始化的badger，Swift编译器会检测到这种非法的循环初始化，直接抛出错误。

额外说明：闭包捕获的本质区别 #

• 对于func来说，它引用顶层变量时是直接访问全局存储，不会把变量捕获到闭包的上下文中，因此不存在循环引用的风险。
• 对于let定义的闭包，它内部引用外部变量时会触发捕获机制，将变量的引用纳入闭包上下文。如果此时变量还在初始化过程中，这种相互依赖的关系就会导致初始化无法完成，编译器自然会报错。

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