lisp - 什么时候在 Lisp 中更喜欢 gensym 而不是 make-symbol

是否有 gensym 将唯一数字附加到前缀的功能派上用场的情况？我不明白为什么有 gensym 当

(let ((str "batman"))
  (eq (make-symbol str)
      (make-symbol str)))

总是返回 nil 。

最佳答案

例如，GENSYM 使调试生成的代码稍微容易一些。

例子:

请参阅此 LOOP 宏的扩展。您可以通过查看它们的名称来查看哪些符号是相同的，即使它们不在包中。有两个非内部临时变量。不同的名称现在使使用变得清晰。

CL-USER 4 > (pprint (macroexpand '(loop for i in '(1 2 3) sum i)))

(BLOCK NIL
  (MACROLET ((LOOP-FINISH () '(GO #:|end-loop-1103|)))
    (LET ((I NIL) (#:|tail-1106| '(1 2 3)) (#:|by-1107| 'SYSTEM:CDR$CONS))
      (LET ((#:|accumulator-1104| 0))
        (DECLARE (TYPE NUMBER #:|accumulator-1104|))
        (TAGBODY
         #:|begin-loop-1102| NIL
                 (PROGN
                   (WHEN (OR (ENDP #:|tail-1106|)) (GO #:|end-loop-1103|))
                   (LET ((#:|temp-1109| (FUNCALL #:|by-1107| #:|tail-1106|))
                         (#:|temp-1108| (SYSTEM:CAR$CONS #:|tail-1106|)))
                     (SETQ I #:|temp-1108|)
                     (SETQ #:|tail-1106| #:|temp-1109|)))
                 (INCF #:|accumulator-1104| I)
                 (GO #:|begin-loop-1102|)
         #:|end-loop-1103| (RETURN-FROM NIL #:|accumulator-1104|))))))

关于lisp - 什么时候在 Lisp 中更喜欢 gensym 而不是 make-symbol，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/11764518/