Lisp符号表达式化简求助：将嵌套加减表达式展开

Hey there! 作为Lisp新手，这种表达式化简的需求特别常见，我来手把手教你实现(+ (+ A B) C)到(+ A B C)的转化，搞懂这个逻辑后，减法版本你绝对能轻松举一反三～

核心思路 #

我们需要写一个递归函数，核心逻辑是：

• 检查当前表达式是否是加法（+）表达式
• 如果它的某个子参数本身也是加法表达式，就把内层加法的所有参数“展开”到外层加法里
• 递归处理所有子表达式，确保多层嵌套的情况也能被化简

代码实现 #

下面是具体的Lisp函数实现：

(defun simplify-add (expr)
  (cond
    ;; 基础情况：非列表（比如单个变量、数字）直接返回
    ((not (listp expr)) expr)
    ;; 处理加法表达式
    ((eq (car expr) '+)
     ;; 先递归化简所有子表达式，确保内层嵌套先被处理
     (let ((processed-args (mapcar #'simplify-add (cdr expr))))
       ;; 检查第一个化简后的参数是否还是加法表达式
       (if (and (listp (car processed-args))
                (eq (caar processed-args) '+))
           ;; 展开：把内层加法的参数和外层剩余参数合并
           (cons '+ (append (cdar processed-args) (cdr processed-args)))
           ;; 不是嵌套加法，返回化简后的原结构
           (cons '+ processed-args))))
    ;; 非加法表达式，递归处理每个子元素
    (t (mapcar #'simplify-add expr))))

测试与扩展 #

• 测试示例：(simplify-add '(+ (+ A B) C)) 会返回 (+ A B C)
• 多层嵌套也能处理：(simplify-add '(+ (+ (+ A B) C) D)) 会输出 (+ A B C D)

对于减法的化简(- (- A B) C) → (- A B C)，你只需要把函数里的'+'替换成'-'即可，逻辑完全一致——因为减法的这种左结合嵌套展开规则和加法是相同的。

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