recursion - 这个 lisp 示例是否以尾递归为特色？

Question

我的理解是尾递归是不需要返回值来完成操作的递归；也就是说，递归是函数的最后一步，函数的其余部分在进行递归调用后完成。

为此，我问这个例子(来自 Mr. Norvig)是否是尾递归:

(defparameter *titles*
  '(Mr Mrs Miss Ms Sir Madam Dr Admiral Major General)
  "A list of titles that can appear at the start of a name.")

(defun first-name (name)
  "Select the first name from a name represented as a list." 
  (if (member (first name) *titles*)
     (first-name (rest name))
     (first name)))

一次决赛first-name被称为 if 的分支语句，函数没有别的作用；所以是尾递归？

Answer 1

是的，这是一个例子。

尾递归优化在 Common Lisp 的许多实现中都可用，但规范并不要求它。这意味着您可以拥有一个没有尾递归优化的 Common Lisp。

您可能还会发现您正在使用的版本需要稍加修改才能执行此优化。

因此在某些实现中，您可能需要使用“声明”来通知您的编译器您想要优化速度。

(defun first-name (name)
  "Select the first name from a name represented as a list." 
  (declare (optimize (speed 3) (compilation-speed 0) (debug 0) (safety 1)))
  (if (member (first name) *titles*)
      (first-name (rest name)) 
      (first name)))

编辑: This site现在已经有几年了，但可能会提供一些信息。

另外请务必阅读评论，因为 Joshua 和 Rainer 对此处的细节进行了大量改进。