求教: SBCL 的bug??

Soul-Clinic · 2020 年4 月 3 日 16:39

我正在写上次分享过的 => 宏，要加强，可以提供多个占位符(上一个表达式提供多个 value)，也可以在=>里嵌套 => 无数层次，也可以同时使用反方向和别名 <-， →
但发现一个问题百思不得其解，感觉是 SBCL的bug的问题：

(vprint (list (second next) '~) `(,(second next) ~))
讲道理这两个应该是一模一样的吧？但是我在执行的时候只有第一次(1+ ~) 是一致的，后面几次居然都是不一样的？？！
一开始我是用 `(,(second next) ~) 在某些情况不能够正常运行，改为(list (second next) '~) 就正常了
谁能够解释吗？我想是不是SBCL 的bug？

Soul-Clinic · 2020 年4 月 3 日 16:43

我把
(setf next `(,(second next) ~)))
改为
(setf next (list (second next) '~))
就跟预料的那样运行了

这个也一样改了后才正常运行（我定义了 (eq ~ '~) => t ）

LdBeth · 2020 年4 月 3 日 17:20

因为这是 ANSI CL 允许的 ub

http://clhs.lisp.se/Body/02_df.htm

注意加粗的地方

An implementation is free to interpret a backquoted form F1 as any form F2 that, when evaluated, will produce a result that is the same under equal as the result implied by the above definition, provided that the side-effect behavior of the substitute form F2 is also consistent with the description given above. The constructed copy of the template might or might not share list structure with the template itself. As an example, the above definition implies that

`((,a b) ,c ,@d)

will be interpreted as if it were

(append (list (append (list a) (list 'b) ’ nil )) (list c) d ’ nil )

but it could also be legitimately interpreted to mean any of the following:

(append (list (append (list a) (list 'b))) (list c) d) (append (list (append (list a) '(b))) (list c) d) (list* (cons a '(b)) c d) (list* (cons a (list 'b)) c d) (append (list (cons a '(b))) (list c) d) (list* (cons a '(b)) c (copy-list d))

SBCL 定义了一个 compiler macro 把 backquote form 常量化了

* (describe 'SB-INT:QUASIQUOTE)
SB-INT:QUASIQUOTE
  [symbol]

QUASIQUOTE names a macro:
  Lambda-list: (SB-IMPL::THING)
  Source file: SYS:SRC;CODE;BACKQ.LISP

QUASIQUOTE has a compiler-macro:
  Source file: SYS:SRC;CODE;BACKQ.LISP
* (macroexpand '`(,(second next) ~) )
(LIST* (SECOND NEXT) '(~))
T
* (sb-impl::expand-quasiquote '`(,(second next) ~) t)
(SB-IMPL::|List| 'SB-INT:QUASIQUOTE
                 (SB-IMPL::|List*| (SB-INT:UNQUOTE '(SECOND NEXT)) '(~)))
* (setf *PRINT-PRETTY* nil)
NIL
* '`(,(second next) ~)
(SB-INT:QUASIQUOTE (#S(SB-IMPL::COMMA :EXPR (SECOND NEXT) :KIND 0) ~))

github.com

sbcl/sbcl/blob/592bf09eb5b4dd659283e1b76c0001000dee9af4/src/code/backq.lisp#L97


      
          (defun expand-quasiquote (thing compiler-p)
            ;; QQ-TEMPLATE-TO-SEXPR returns the parts of a QQ-SUBFORM as 2 values.
            (multiple-value-bind (expr operator)
                (qq-template-to-sexpr thing 0 compiler-p)
              (ecase operator ; Splicing is illegal at toplevel
                (eval expr)
                (quote (list 'quote expr)))))
          
          ;; The compiler macro for QUASIQUOTE assumes that it's fine to use
          ;; the foldable list constructors.
          (define-compiler-macro quasiquote (thing)
            (expand-quasiquote thing t))
          
          ;; The ordinary macro uses CL-standard list constructors for a few reasons:
          ;; - It makes COMPILE do slightly less work than COMPILE-FILE
          ;; - If expanded forms are leaked to the user, it looks nicer.
          ;;   Pending discussion of how to or whether to prettify the value
          ;;   of (MACROEXPAND-1 '`(FOO ,X)) this could be irrelevant.
          (defmacro quasiquote (thing)
            (expand-quasiquote thing nil))

Soul-Clinic · 2020 年4 月 3 日 18:04

常量我也不在知道那个 Symbol ~ 怎么会绑定到另外一个变量里啊？

这个勉强理解，就是强调不同的CL实现可以有不同的宏解析结果？
加粗的那句话主要就是强调可有不同的实现吗？

您后面附加的代码也不理解主要是强调什么，可能是我知之甚少了，但是以前没有遇到过这个问题。。。

LdBeth · 2020 年4 月 3 日 18:09

强调 backquote 的行为可能和 quote 类似，模版的部分会变成「常量」

类比

Shared structures Emacs-Lisp

自 "quote就是构造一个list"似乎不对 quote会对多层生效吗继续讨论： C-h v 常常遇到 #1=some-value #1# 这样的值，如： (let ((s "HELLO")) (list s s)) ;; => (#1="HELLO" #1#) (let ((l (list 1))) (list l l)) ;; => (#1=(1) #1#) 使用同一个值两次时，Emacs 只保存第一次的值，第二次使用引用（Shared）。字符串、数组、列表是这样的，数字、符号则不会。与此相关的一个常见问题：'(1 2 3) 跟 (list 1 2 3) 的区别： (mapcar (lambda (x) (cons x (list 1 2 3))) '(a b c)) ;; => ((a 1 2 3) (b 1 2 3) (c 1 2 3)) 如果要用 '(1 2 3) 得到和 (list 1 2 3) 一模一样的结果需要用： (list (cons 'a '(1 2 3)) (cons 'b '(1 2 3)) …

你有个 (setf (deep-nth (car (nth n safe~ ... 的会修改掉 next 的 subform。

Soul-Clinic · 2020 年4 月 3 日 18:20

对呀，我是要修改next啊，但是那个的结果好像是我定义的常量 ~ 被改了：

但是当我加了2个 ~ 的时候又跟期望的一样。。。这是你意料之中的吗？

感觉关键不是那个变量 next，不知道是不是跟我定义的全局常量

(defconstant ~ '~)

有关~

LdBeth · 2020 年4 月 3 日 18:33

完全无关。

* (defvar *a* 12)         
*A*
* (defun foo () `(,(+ *a* 2) ~))
FOO
* (foo)     
(14 ~)
* (setq *a* 15)           
15
* (foo)
(17 ~)
* (defparameter tmp (cons 11 (foo)))
(11 17 ~)
* tmp
(11 17 ~)
* (caddr tmp)
~
* (setf (caddr tmp) 12)
12
* (foo)
(17 12)

懂？

* (defun foo2 () (list (+ *a* 2) '~))
FOO2
* (foo2)
(17 ~)
* (setq tmp (cons 12 (foo2)))
(12 17 ~)
* (setf (caddr tmp) 1)
1
* tmp
(12 17 1)
* (foo2)
(17 ~)

Soul-Clinic · 2020 年4 月 3 日 18:39

好像有点懂了，就是 `(… ~) 的 ~ 是绑定了某个全局的 cons ，每次调用这个函数都是用那个（改了也会全局改），而 (list … '~) 就是每次新建的？就像是 C语言的地址咯？

LdBeth · 2020 年4 月 3 日 18:48

建议少用 setf，多用无副作用的构建方法。反正因为是 macro 只会对编译期有影响。

Soul-Clinic · 2020 年4 月 3 日 18:49

原来你说的 subform 就是指这个 ~ ，我本是想替换这个值的，没想到是修改这个全局的值

我自己实现的获取/setf 深度元素不知道是不是你说的副作用导致的后果

Soul-Clinic · 2020 年4 月 3 日 18:51

我记得 PCL 那本书又是建议用 SETF 啊，所以我已经基本没有用 setq了。。。
记得其它 CL 书籍也是说适当的时候用 setq更好，但是也没有强调说尽量用setq

LdBeth · 2020 年4 月 3 日 18:54

类似于 C 的 static 声明的作用。

多用无副作用的构建方法

Soul-Clinic · 2020 年4 月 3 日 19:02

这个是不是也没有在标准中要求但是是允许的（提高性能）？你说的 ub 我不知道是什么（Google也没查到~）

LdBeth · 2020 年4 月 3 日 19:06

a behavior or aspect of Common Lisp which has been deliberately left unspecified

Soul-Clinic · 2020 年4 月 3 日 19:08

我现在算是理解这句话了！以前没有考虑过这个问题！~

ub = Unspecified Behavior
(未声明的行为，意味着实现者可以按照自己的方式实现以达到更佳效果）

Soul-Clinic · 2020 年6 月 11 日 16:07

cireu · 2020 年6 月 11 日 16:22

有副作用的场合最好不要用list，可以用vector或者hashmap。