go 不支持直接在闭包定义中引用自身，因变量声明与初始化存在顺序依赖；需通过变量预声明或函数类型自引用等技巧间接实现递归闭包。
go 不支持直接在闭包定义中引用自身，因变量声明与初始化存在顺序依赖；需通过变量预声明或函数类型自引用等技巧间接实现递归闭包。
在 Go 中，若尝试如下方式定义递归闭包：
recur := func() {
recur() // 编译错误：undefined: recur
}
编译器会报错 undefined: recur。根本原因在于 Go 的变量作用域与初始化顺序规则：recur 变量的声明（var recur ...）和初始化（= func() { ... }）是两个分离步骤，且闭包体内的 recur() 引用发生在 recur 变量完成初始化之前，因此该标识符在闭包作用域内尚未“可见”。
✅ 正确实现方式一：预声明 + 后赋值（推荐）
先声明变量，再赋值闭包，使闭包内部可安全引用已声明的变量名：
var recur func()
recur = func() {
fmt.Println("recursing...")
// 递归调用（此时 recur 已声明，可被闭包捕获）
recur()
}
// 使用示例（注意：需加终止条件，否则无限递归！）
func main() {
count := 0
var recur func()
recur = func() {
if count >= 3 {
return
}
count++
fmt.Printf("Call #%d\n", count)
recur()
}
recur() // 输出 Call #1 ~ #3
}
✅ 优势：语义清晰、易于理解、兼容所有 Go 版本。
⚠️ 注意：务必添加递归终止条件（如计数器、边界判断），否则将触发栈溢出。
✅ 正确实现方式二：自引用函数类型（高阶技巧）
利用函数类型可作为参数传递自身的特点，实现无变量预声明的递归风格：
type recurFunc func(recurFunc)
var recur recurFunc = func(f recurFunc) {
fmt.Println("recursing via self-parameter...")
f(f) // 传入自身，实现递归
}
// 调用方式（需显式传参）
recur(recur)
此模式本质是 Y 组合子（Y-combinator）的简化版，适用于需要延迟绑定或避免顶层变量污染的场景，但可读性较低，一般项目中不推荐作为首选。
❌ 为什么不能直接写 recur := func() { recur() }？
Go 规范明确要求：变量在初始化表达式中不可被自身引用（见 Order of evaluation）。这与 JavaScript 或 Rust 等允许 let f = () => f() 的语言不同，是 Go 类型安全与编译期确定性的设计取舍。
总结
- Go 闭包递归不是语法缺陷，而是由其严格的初始化顺序决定的有意限制；
- 生产代码中优先使用 var f func(); f = func() { ... f() ... } 模式；
- 所有递归闭包必须包含明确的退出逻辑，避免无限调用；
- 若需封装复用，可将其提取为普通具名函数，而非强行闭包化。
掌握这一机制，不仅能解决递归闭包问题，更能深入理解 Go 的变量生命周期与作用域模型。
