判断Racket中poly-eval函数是否为尾递归及手动识别方法

先看你提供的代码：

(define (poly-eval coeffs x)
(letrec ([helper (lambda (coeffs x y)
    (if (empty? coeffs)
        0
        (+ (helper (cdr coeffs) x (- y 1)) (* (car coeffs) (iexpt x (- y 1))))))])
  (helper (reverse coeffs) x (length coeffs))))

你的判断是否正确？ #

不正确，这个helper函数并不是尾递归实现。
原因很明确：在递归分支里，helper的调用结果并没有直接返回，而是要和(* (car coeffs) (iexpt x (- y 1)))执行加法运算——加法才是这个分支的最后一步操作，递归调用的结果还需要参与后续计算，不符合尾递归的核心要求。

如何手动检查并识别尾递归？ #

核心看递归调用是否是函数的最后一个执行操作，也就是递归调用的结果会直接作为当前函数的返回值，不需要再对它做任何运算、传递给其他函数或进行额外处理。具体可以按以下步骤检查：

• 第一步：定位函数里所有的递归调用位置；
• 第二步：逐个分析每个递归调用所在的上下文：
  • 如果递归调用是if/cond等分支的直接返回值（比如(else (helper ...))），那就是尾递归；
  • 如果递归调用被包裹在其他操作中（比如加法、乘法里，或是作为另一个函数的参数），那就不是尾递归。

举个简单的改造例子，把你的函数改成真正的尾递归实现：

(define (poly-eval coeffs x)
  (letrec ([helper (lambda (coeffs acc)
                     (if (empty? coeffs)
                         acc
                         (helper (cdr coeffs) (+ (* acc x) (car coeffs)))))])
    (helper coeffs 0)))

这里helper的递归调用是分支的直接返回值，递归结果直接作为当前函数的返回值，中间计算结果存在累加器acc中，属于标准的尾递归写法。

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