为何Python编码计数递归算法未触发递归深度限制？

这个问题的核心是你混淆了递归调用总次数和递归调用栈深度的区别——Python的sys.setrecursionlimit()限制的是后者，不是前者。

你的递归调用栈深度到底有多大？ #

看你的count_split函数：

• 当处理长度为n的列表时，最深的调用路径是每次只取第一个元素（走count_split(list_numbers[1:])分支），此时调用栈的深度就是n：比如处理20位的输入，栈深度是20（从len=20→len=19→…→len=1→返回）。
• 即使触发了count_split(list_numbers[2:])的分支，这条路径的栈深度也只有n/2（比如20位的话就是10层），同样远小于你设置的100。

而你的测试输入是20位的字符串，最大栈深度才20，远低于100的限制，自然不会触发RecursionError。

你可能混淆了“总调用次数”和“栈深度” #

你的代码逻辑类似斐波那契数列的递归实现——总调用次数是指数级的（比如20位输入的总调用次数确实会远超过100），但栈深度始终是线性的（和输入长度成正比）。Python的递归限制只关心栈的层数，不管你总共调用了多少次函数。

举个直观例子：斐波那契递归计算fib(30)总调用次数超过百万次，但栈深度只有30，远低于默认的1000限制，所以不会报错。

如何触发递归深度限制？ #

如果你想测试递归深度超限，可以把输入字符串加长到101位以上。比如输入一个101位的全"1"字符串，此时count_split的调用栈深度会达到101，超过你设置的100限制，就会触发RecursionError: maximum recursion depth exceeded。

额外小建议 #

你的代码里有个逻辑漏洞：当输入以"0"开头且长度大于2时，比如"012"，你的count_split会返回count_split(["1","2"])的结果（也就是2），但实际上"012"的有效编码只有1种（0→a，1→b，2→c；因为"01"不是有效的编码，不能拆成"01"→b和"2"→c）。你需要调整len(list_numbers)>=3时的判断逻辑，先检查当前第一位是否为0，避免错误拆分。

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