CodeGeeX能在编码阶段静态分析Python递归函数风险，通过扫描分支覆盖、参数收敛性及基线可达性识别死循环隐患，并提示加防护或改写为迭代，而非运行时修改栈限制。
VSCode 插件无法直接“优化”Python递归函数的栈空间——sys.setrecursionlimit() 是运行时控制，而栈深度限制由 CPython 解释器硬编码决定，插件无权修改底层内存布局。真正能做的，是借助插件提前识别风险、引导你改写为迭代或加防护，避免触发 RecursionError 或隐式死循环。
为什么 CodeGeeX 能在写代码时就拦住递归越界
它不是在运行时干预栈，而是静态分析函数结构：扫描所有 return 分支是否覆盖全部输入路径、递归调用参数是否单调收敛、基线条件是否可到达。比如你写了 if n == 0: return 1，但调用时传入 n = -5，它会立刻标出那行 factorial(n - 1) 并提示“参数持续减小，无终止可能”。
- 必须确保当前文件语言模式为
Python（左下角状态栏确认），否则分析器不激活 - 光标要放在函数体内，不能只选中函数名——插件需解析完整作用域
- 指令要具体，例如“检查基线条件是否完备”，而不是“看看这个函数”
用 CodeGeeX 生成带防护的递归模板
新建函数时别手动敲，直接输入自然语言指令让插件生成安全版本。它默认包含三重防护：
- 输入校验：
if n - 基线覆盖：
if n == 0 or n == 1: return 1（防n=1漏判） - 参数收缩验证：确保每次递归调用都使
n严格减小，且不会跳过基线
示例：输入“写一个安全的斐波那契递归函数”，它生成的版本会拒绝负数输入，并明确区分 n==0 和 n==1 的返回值，避免 fib(-1) 进入无限调用链。
别依赖插件自动转成迭代——你得自己判断场景
CodeGeeX 可以建议“此递归易栈溢出，推荐改写为循环”，但它不会强制替换。因为：
- 尾递归优化在 CPython 中不存在，任何深度递归都占栈帧
- 有些逻辑天然适合递归（如树遍历），强行迭代反而增加复杂度
- 插件生成的迭代版可能丢失原始语义，比如把 DFS 改成 BFS 就改变了遍历顺序
真正该做的是：对已知深度可能超千的场景（如处理嵌套超 50 层的 JSON、解析深层缩进的配置），主动放弃递归，用显式栈或队列重写；其余情况，优先靠插件守住基线条件和参数收敛性。
最容易被忽略的点：插件能发现 n - 1 没问题，但发现不了 n // 2 在 n=1 时卡在原地——这种非线性收缩必须人工校验收敛性，插件只报“参数未递减”，不解释数学收敛证明。
