递归函数需要有一个基准条件（base case）来终止递归，否则会无限递归导致栈溢出。同时，递归函数可以在执行过程中包含循环结构。每次递归调用都会创建新的栈帧，因此选项D也是正确的描述。但题目要求唯一正确选项，因此选A作为正确答案。