lisp递归中的BUG

aimisiyou

案例1
;;;三分数向上取最近的数
_$ (defun fp(sum)
  (if (= sum (fix sum))
      (if (= (rem sum 3) 0)
        (setq va (/ sum 3))
                (setq va (+ (fix (/ sum 3.0)) 1))
           )
      (setq va (/ (fp (* 10.0 sum)) 10.0))
   )
)

_$ (fp 1.767)
0.589
_$ (fp 1.768)
0.59
_$ (fp 1.769)
0.589667
1.769的结果应该是0.59
案例2
;;;求L中最多有所少个a,并由a构成列表形式
_$  (defun fun1(L a)
       (if (>= L a)
               (setq va (cons a (fun1 (- L a) a)))
               (setq va nil)
            )
)
FUN1
_$ (fun1 12.9 4.3)
(4.3 4.3 4.3)
_$ (fun1 12.6 4.2)
(4.2 4.2)
_$

12.6的结果应该为(4.2 4.2 4.2)

Highflybird

你应该要检查一下局部变量的问题，局部变量在递归的时候，如果不清空，会出现一些意想不到的结果。另外还有个浮点误差的问题，会带来你说的那样的情况。

aimisiyou

Highflybird 发表于 2019-12-6 08:32
你应该要检查一下局部变量的问题，局部变量在递归的时候，如果不清空，会出现一些意想不到的结果。另外还有 ...

_$ (defun fun1(L a)
       (if (>= L a)
               (setq va (cons a (fun1 (- L a) a)))
               (setq va nil)
            )
)
(fun1 12.6 4.2)
FUN1
(4.2 4.2)
_$

清空了还是这样啊。

Highflybird

aimisiyou 发表于 2019-12-6 09:15
_$ (defun fun1(L a)
       (if (>= L a)
               (setq va (cons a (fun1 (- L a) a)))

(defun fun1 (L a / va)
  (if (> (- L a) -1e-6)
    (setq va (cons a (fun1 (- L a) a)))
    (setq va nil)
  )
)

浮点带来的问题。

aimisiyou

Highflybird 发表于 2019-12-6 09:35
(defun fun1 (L a / va)
  (if (> (- L a) -1e-6)
    (setq va (cons a (fun1 (- L a) a)))

一直以为浮点误差仅存在于除法运算中，没想到减法中也存在。