写代码时遇到“编译错误：递归太深”这种提示，不少人都会愣一下。明明逻辑没毛病，怎么一编译就崩？其实这问题挺常见，尤其在处理模板、宏定义或函数调用时容易踩坑。
啥叫递归太深？
递归就是函数自己调自己。比如一个函数 func() 里又调用了 func()，如果没有退出条件，就会一直嵌套下去。编译器为了防止无限循环，设了个最大深度限制。一旦超过，就报“递归太深”错误。
比如你在写 C++ 模板元编程时，不小心写了个无限展开的模板：
template<int N>
struct Factorial {
static const int value = N * Factorial<N - 1>::value;
};
// 忘了加终止特化
// template<> struct Factorial<0> { static const int value = 1; };
int main() {
return Factorial<5>::value; // 编译失败：递归太深
}上面这段代码漏了对 N=0 的特化处理，导致模板一直实例化下去，直到编译器喊停。
宏定义也能引发这问题
有时候你只是想偷懒写个宏，结果不小心触发了隐式递归。比如：
#define MAX(a, b) ((a) > (b) ? MAX(a, b) : (b))
// 看出来没？宏里又调了自己，根本停不下来
这种写法看起来像是想取最大值，但宏替换后会无限展开。正确写法应该是直接比较，别再调自己。
函数调用别忘了出口
最典型的例子是阶乘函数写错了终止条件：
int factorial(int n) {
return n * factorial(n - 1); // 没有 if(n == 0) return 1;
}这样跑起来不仅编译可能报错（某些编译器会在编译期检测），运行时也大概率栈溢出。尤其是递归层数一多，系统资源扛不住。
编译器也不是万能的
有些语言像 Python，默认递归深度限制是 1000 层。你要是处理树结构或者深路径遍历，很容易触顶。可以临时调高：
import sys
sys.setrecursionlimit(3000) # 提高上限
但这不是根治办法，万一真有无限递归，只会让程序崩得更晚而已。
怎么排查这类问题？
先看报错位置。编译器一般会指出是在哪个模板或函数里嵌套过深。顺着调用链往上查，看看有没有漏掉终止条件。如果是模板，检查是否写了偏特化或全特化；如果是函数，确认 base case 是否覆盖完整。
还可以用打印调试，在关键入口加点输出，观察调用顺序。比如在递归函数开头加一句 log，跑一遍就知道是不是卡在某个死循环里。
能不用递归就不用？
很多场景下，递归写起来简洁，但效率不高还容易出事。比如遍历目录、解析 JSON、计算斐波那契数列，都可以改成循环+栈的方式处理。虽然代码长点，但更安全可控。
比如把递归转成迭代：
int fibonacci(int n) {
if (n <= 1) return n;
int a = 0, b = 1, c;
for (int i = 2; i <= n; ++i) {
c = a + b;
a = b;
b = c;
}
return b;
}这样不管 n 多大，都不会爆栈。
开发中遇到“递归太深”的错误，别急着改参数调阈值，先想想是不是设计上有漏洞。很多时候，换个思路就能避开这个坑。