为何Eigen通过EIGEN_STACK_ALLOCATION_LIMIT限制栈上静态矩阵大小？

Eigen设置这个栈分配上限主要基于以下核心原因：

• 栈空间的固有约束：程序栈内存远小于堆内存，且是线程共享的有限资源（不同系统默认栈大小差异较大，比如Windows通常为1MB，Linux多为8MB）。栈不仅要容纳静态矩阵，还要承载函数调用栈帧、其他局部变量等内容。如果无限制允许栈分配大矩阵，极易耗尽栈空间触发栈溢出，这类错误通常会直接导致程序崩溃，且调试难度极高。

• 平衡性能与安全性：栈分配的内存访问速度远快于堆，适合小尺寸矩阵的快速运算。128kB是经过验证的保守阈值——既让绝大多数常用的小矩阵（比如几十阶的方阵、中等规模向量）享受栈分配的性能优势，又能避免因误定义过大静态矩阵而引发的栈溢出风险。

• 库的鲁棒性设计：作为通用线性代数库，Eigen需要保证在不同系统、不同应用场景下的稳定性。统一设置栈分配上限，能避免用户因不了解栈空间限制而写出潜在崩溃的代码，降低使用门槛。

需要注意的是，虽然可以通过手动定义EIGEN_STACK_ALLOCATION_LIMIT宏调整这个上限，但除非明确知晓目标系统栈大小足够且不会引发其他栈空间冲突，否则不建议随意增大该值。

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