Scheme统计嵌套列表首值重复次数报pair required错误排查

错误产生原因 #

报错是两个问题叠加导致的：

• 递归边界判断缺失：辅助函数递归到列表仅剩1个元素时，(cdr list)会返回空表()，此时执行(car (cdr list))相当于对空表调用car操作，而Scheme中car仅能操作序对（pair），空表不是序对，直接触发pair required, but got ()错误。
• 核心逻辑完全不符合需求：现有代码的逻辑是统计列表中相邻相等元素的对数，既没有处理外层是嵌套列表的结构，也没有实现「取每个子列表首元素、统计首元素在子列表内除自身外重复次数」的要求。比如直接传入one时，(car one)取到的是子列表a，(car (cdr one))取到的是子列表b，代码实际在比较两个不同子列表是否相等，和需求目标完全偏离。

正确实现代码 #

把逻辑拆成两层处理：第一层遍历外层嵌套列表，逐个处理子列表；第二层针对单个数值子列表，统计首元素在剩余元素中的出现次数，直接跳过首元素本身，天然满足「首值不计入重复」的要求。

(define a (list 10 2 3 54 6 9 7 10))
(define b (list 5 1 8 6 5 5 4 77 8 6))
(define c (list 80 80 80))
(define e (list 99 156 54 48 99))
(define d (list 16 94 75 30 56 16 8 16))
(define one (list a b c))
(define two (list c e b a))
(define three (list b c d e))

; 功能：统计单个数值列表中，首元素除自身外的重复次数
(define (count-first-repeat sublist)
  (let ((target (car sublist)))
    (define (iter rest)
      (cond
        ((null? rest) 0)
        ((equal? (car rest) target) (+ 1 (iter (cdr rest))))
        (else (iter (cdr rest)))))
    (iter (cdr sublist)))) ; 从第二个元素开始遍历，跳过首元素本身

; 功能：接收嵌套列表，返回每个子列表对应的首元素重复次数列表
(define (find-repeated-number nested-list)
  (if (null? nested-list)
      '()
      (cons (count-first-repeat (car nested-list))
            (find-repeated-number (cdr nested-list)))))

运行结果验证 #

• 执行(find-repeated-number one)返回(1 2 2)，完全符合预期：
  • 子列表a首元素为10，除自身外出现1次
  • 子列表b首元素为5，除自身外出现2次
  • 子列表c首元素为80，除自身外出现2次
• 执行(find-repeated-number two)返回(2 1 2 1)
• 执行(find-repeated-number three)返回(2 2 2 1)

修复说明 #

• 所有递归分支都补全了空表判断，不会出现对空表调用car/cdr的越界问题
• 拆分嵌套列表处理和单列表统计的逻辑，完全匹配需求的输入输出要求
• 单列表统计时直接从第二个元素开始遍历，不需要额外判断是否是首元素，逻辑更简洁

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