go 不允许在变量声明的同时直接递归调用该变量，需先声明函数类型变量再赋值，才能在闭包内安全递归调用自身。
在 Go 中，若想在函数内部定义一个能访问外层作用域（如局部变量 a）且支持自我递归的匿名函数，不能使用简短变量声明（:=）一步完成定义与赋值——因为根据 Go 语言规范，变量的作用域始于其声明语句结束之后，因此在函数字面量内部引用尚未“生效”的 Function2 会导致编译错误：undefined: Function2。
✅ 正确做法是分两步：
- 预先声明函数变量（指定类型）；
- 后续赋值函数字面量，并在其中安全调用自身。
以下是完整、可运行的示例：
func Function1(n int) int {
a := 10
var Function2 func(m int) int // 声明：类型已知，变量名 Function2 现在可见
Function2 = func(m int) int { // 赋值：此时 Function2 已在作用域中，可递归调用
if m <= a {
return a
}
return Function2(m - 1) // ✅ 合法：Function2 已声明并可寻址
}
return Function2(n)
}⚠️ 注意事项：
- 必须显式写出函数类型 func(m int) int，不能省略（Go 不支持类型推导用于递归闭包）；
- 若 Function2 需捕获多个外层变量（如 a, b, cfg），仍能自然访问——这正是闭包的核心优势；
- 该模式适用于需要封装状态+递归逻辑的场景，例如树遍历、记忆化搜索、状态机递归等；
- 不要尝试用 var Function2 = func(...) {...}，这仍是类型推导，无法解决作用域问题。
? 小技巧：若递归逻辑复杂，也可考虑改用命名内部函数（Go 1.22+ 支持泛型嵌套函数，但普通嵌套函数仍不支持；当前稳定方案仍是上述变量声明法）。
总结：Go 的词法作用域规则要求“先声明、后使用”，嵌套递归匿名函数必须拆解为声明与赋值两个步骤——这是语言设计的明确约束，而非语法缺陷。掌握这一模式，即可安全、清晰地构建带状态的递归闭包。
