Go中递归函数必须显式声明返回类型，如func factorial(n int) int；若省略会编译报错“missing return at end of function”，且递归出口必须明确可达。
Go 里递归函数必须显式声明返回类型
Go 不允许函数在定义时省略返回类型，哪怕它调用自己。写 func factorial(n int) int 是必须的，不能写成 func factorial(n int) 再靠 return 推导——编译直接报错：missing return at end of function。
常见错误是照着 Python 或 JS 习惯漏写 int，结果卡在编译阶段，不是运行时报错，容易误以为逻辑有问题。
- 递归出口（base case）必须明确且可达，比如
n 时返回 <code>1 - 参数类型要一致，
factorial(5)和factorial(n-1)的n都得是int，混用uint会类型不匹配 - 别用
float64做阶乘参数——浮点数无法做n-1的整数递推，也容易因精度丢值
阶乘递归在 Go 中会很快栈溢出
Go 默认 goroutine 栈大小约 2KB，factorial(10000) 就大概率触发 runtime: goroutine stack exceeds 1000000000-byte limit。这不是算法错，是语言限制。
实际场景中，除非输入确定很小（比如 n ），否则递归阶乘不适合生产环境。整数溢出反而是次要问题——<code>int64 在 20! 就溢出了，但栈崩得更快。
立即学习“go语言免费学习笔记（深入）”；
- 测试时用
factorial(10)没问题，换成factorial(1000)就 panic - 想撑更大规模？改用迭代：用
for循环累乘，空间复杂度 O(1)，没栈风险 - 真要递归又怕栈满？可手动调大栈：
runtime.GOMAXPROCS不管用，得用runtime.Stack查当前，但不推荐——治标不治本
闭包内递归需要额外变量绑定
如果把阶乘写成闭包（比如动态生成不同行为的函数），Go 要求你先声明变量，再赋值函数字面量，否则 factorial 在右值里无法引用自身。
错误写法：var factorial = func(n int) int { ... factorial(n-1) ... } —— 编译报 undefined: factorial。
- 正确做法：先声明
var factorial func(int) int，再赋值 - 示例：
var factorial func(int) int factorial = func(n int) int { if n <= 1 { return 1 } return n * factorial(n-1) } - 这种写法本质是把函数当成一等值来操作，和普通变量一样有“声明-赋值”两步，不能跳过
递归 + defer 组合容易误解执行顺序
有人想用 defer 打印每层调用，结果发现输出是倒序的——这是 defer 语义决定的，不是递归 bug。
比如在 factorial(3) 里每层都 defer fmt.Println("n =", n)，实际输出是 n = 1、n = 2、n = 3，因为 defer 是后进先出，所有 defer 语句都压到栈顶，等函数返回时才弹出。
- 调试递归时，优先用普通
fmt.Println打日志，更符合直觉 - 如果非要用 defer（比如清理资源），得意识到它只在当前函数退出时触发，和上层递归无关
- 嵌套深了还加 defer？可能让栈更快耗尽——每个 defer 都占一点栈空间
递归本身不难写，但 Go 对类型、栈、作用域的约束很实在，稍不注意就卡在编译或 panic 上。最常被忽略的是：你以为在测算法，其实是在测栈大小。
