递归函数中堆栈溢出的原因

在这个大约28分钟的视频中,Brian Harvey被一位学生问到,在编写程序时我们是否应该总是在递归过程中使用迭代过程.他说没有,因为

你的程序不会遇到空间限制.就内存中的内容而言,你必须拥有比解释程序真正影响方式更多的控制权.

由于这不是一个计划课程,我以为他一般都在谈论编程语言.当他说"你的程序不会遇到空间限制.",他是否忽略了堆栈溢出？我对他的答案感到困惑,因为没有堆栈溢出意味着你已经用完函数调用了空间？我对"地方性"部分一无所知.堆栈溢出可能发生在方案,java和其他语言中.我是正确的还是我误解了他的陈述？