请解释递归计算阶乘时可能出现的栈溢出问题，并说明如何通过改写递归形式（如尾递归）来缓解乃至避免该问题。

回答思路

1. 准确说明递归调用导致栈溢出的机制（每层递归占用栈帧）
2. 合理描述尾递归改写后对语言层面优化或手动改写的影响
3. 能给出尾递归改写阶乘的具体伪代码或思路
4. 说明尾递归优化依赖编译器/解释器特性，并指出其适用边界