求助递归问题

dyjwyqz5221

(defun _test(lst)
        (if lst
                (cons (list (car lst) (cadr lst)) (_test (cddr lst)))
        )
)

以上函数要实现将表分成两两成组的子表，
如将表'(1 2 3 4 5 6)->'((1 2)(3 4)(5 6))
单个函数测试时，未提示有异常，在多个函数测试效率时，出现了异常。
“无效的数据类型或数据溢出: #<SUBR @000000006cbc1ef8 T>”
本人对递归不懂，望指教！

pxr201419

这个函数没问题，“多个函数测试”是什么意思？

dyjwyqz5221

pxr201419 发表于 2020-5-15 09:59
这个函数没问题，“多个函数测试”是什么意思？

(defun c:tt(/ lst)
        (setq lst '(1 2 3 4 5 6))
        (repeat 5
                  (xd::quickbench '((_test lst)(XD::List:Divide_2 lst)(XD::List:EvenPair lst)(XD::List:Measure lst 2)(XD::List:CombineSubList lst 2))
                )
        )
        (princ)
)
从本论坛里搜索了几个功能相同的函数，联合测试函数的效率。
去掉_test函数就正常，说明_test函数有问题

dyjwyqz5221

不知道哪里出问题了，昨天测试一直有问题，今天测试就没问题了。
(defun c:tt(/ lst)
        (setq i 0)
        (repeat 1000
                (setq lst (cons (setq i (1+ i)) lst))
        )
        (repeat 5
                (xd::quickbench '((_test lst)(XD::List:Divide_2 lst)(XD::List:EvenPair lst)(XD::List:Measure lst 2)(XD::List:CombineSubList lst 2))
                )
        )
        (princ)
)

CPU:(1x)Intel(R) Core(TM) i7-7700 @ 3.60GHz 4Cores  / Memory:24G / OS:WIN10专业版
Benchmarking .......... done for 2048 iterations. Sorted from fastest.
Statement                    Increment  Time(ms)  Normalize  Relative
-------------------------------------------------------------------------------
(_TEST LST)                       2048      1687       1687      6.81 <fastest>
(XD::LIST:DIVIDE_2 LST)           2048      1828       1828      6.29
(XD::LIST:EVENPAIR LST)            512      1016       4064      2.83
(XD::LIST:MEASURE LST 2)           512      1344       5376      2.14
(XD::LIST:COMBINESUBLIST ...)      256      1437      11496      1.00 <slowest>
-------------------------------------------------------------------------------
CPU:(1x)Intel(R) Core(TM) i7-7700 @ 3.60GHz 4Cores  / Memory:24G / OS:WIN10专业版
Benchmarking .......... done for 2048 iterations. Sorted from fastest.
Statement                    Increment  Time(ms)  Normalize  Relative
-------------------------------------------------------------------------------
(_TEST LST)                       2048      1750       1750      6.22 <fastest>
(XD::LIST:DIVIDE_2 LST)           2048      1844       1844      5.90
(XD::LIST:EVENPAIR LST)            512      1015       4060      2.68
(XD::LIST:MEASURE LST 2)           512      1344       5376      2.02
(XD::LIST:COMBINESUBLIST ...)      256      1360      10880      1.00 <slowest>
-------------------------------------------------------------------------------
CPU:(1x)Intel(R) Core(TM) i7-7700 @ 3.60GHz 4Cores  / Memory:24G / OS:WIN10专业版
Benchmarking .......... done for 2048 iterations. Sorted from fastest.
Statement                    Increment  Time(ms)  Normalize  Relative
-------------------------------------------------------------------------------
(_TEST LST)                       2048      1750       1750      6.43 <fastest>
(XD::LIST:DIVIDE_2 LST)           2048      1906       1906      5.91
(XD::LIST:EVENPAIR LST)            512      1000       4000      2.81
(XD::LIST:MEASURE LST 2)           512      1359       5436      2.07
(XD::LIST:COMBINESUBLIST ...)      256      1407      11256      1.00 <slowest>
-------------------------------------------------------------------------------
CPU:(1x)Intel(R) Core(TM) i7-7700 @ 3.60GHz 4Cores  / Memory:24G / OS:WIN10专业版
Benchmarking .......... done for 2048 iterations. Sorted from fastest.
Statement                    Increment  Time(ms)  Normalize  Relative
-------------------------------------------------------------------------------
(_TEST LST)                       2048      1765       1765      6.38 <fastest>
(XD::LIST:DIVIDE_2 LST)           2048      1844       1844      6.10
(XD::LIST:EVENPAIR LST)           1024      2047       4094      2.75
(XD::LIST:MEASURE LST 2)           512      1312       5248      2.14
(XD::LIST:COMBINESUBLIST ...)      256      1407      11256      1.00 <slowest>
-------------------------------------------------------------------------------
CPU:(1x)Intel(R) Core(TM) i7-7700 @ 3.60GHz 4Cores  / Memory:24G / OS:WIN10专业版
Benchmarking .......... done for 2048 iterations. Sorted from fastest.
Statement                    Increment  Time(ms)  Normalize  Relative
-------------------------------------------------------------------------------
(_TEST LST)                       2048      1719       1719      6.62 <fastest>
(XD::LIST:DIVIDE_2 LST)           2048      1890       1890      6.02
(XD::LIST:EVENPAIR LST)            512      1047       4188      2.72
(XD::LIST:MEASURE LST 2)           512      1328       5312      2.14
(XD::LIST:COMBINESUBLIST ...)      256      1422      11376      1.00 <slowest>
-------------------------------------------------------------------------------

pxr201419

dyjwyqz5221 发表于 2020-5-15 10:05
(defun c:tt(/ lst)
        (setq lst '(1 2 3 4 5 6))
        (repeat 5

正常啊........................

dyjwyqz5221

pxr201419 发表于 2020-5-15 10:38
正常啊........................

谢谢了

pxr201419

dyjwyqz5221 发表于 2020-5-15 10:40
谢谢了

用你这个函数来说，我对递归的理解是这样的，lst是(1 2 3 4 5 6)，(cddr lst)是(3 4 5 6)， (_test (cddr lst))是对(3 4 5 6)分好组，现在要做的就是把(1 2)加到已经分组的((3 4)(5 6))前面。比如下面是3个一组的分
(defun _test  (lst)
   (if lst
      (cons (list (car lst) (cadr lst) (caddr lst)) (_test (cdddr lst)))))
;;;(_test '(1 2 3 4 5 6))-->((1 2 3)(4 5 6))
也是一知半解，对与不对，共同学习

Lisphk

使用递归的缺点就是受退栈的限制

楼主，你测试下 1万个，2万个，4万个元素的表，看看能出来结果不
我测试4万个，就退栈溢出了

(setq i 0)
(repeat 40000 (setq ii (cons (setq i (1+ i)) ii))
命令: (_test ii)
出现硬错误 ***
已达内部堆栈限制 (模拟)

dyjwyqz5221

Lisphk 发表于 2020-5-15 10:53
使用递归的缺点就是受退栈的限制

楼主，你测试下 1万个，2万个，4万个元素的表，看看能出来结果不

递归就存在这个问题，只是多了一种方法而已，不推荐使用。
之前我测试出问题也是因为堆栈溢出所致。