为什么在Common Lisp中将未使用的符号用于包名称和导出?

Jan*_*ard 15 lisp symbols common-lisp

在公共列表的屏幕上,作者使用未分隔的符号作为包名称和导出.

(defpackage #:foo
  (:use :cl)
  (:export #:bar
           #:baz))

(in-package #:foo)
Run Code Online (Sandbox Code Playgroud)

他还使用匿名函数前面的尖锐符号.

(defun transposed (m)
  (make-instance 'matrix
                 :rows (matrix-cols m)
                 :cols (matrix-rows m)
                 :generator #'(lambda (i j) (matrix-at m j i))))
Run Code Online (Sandbox Code Playgroud)

Practical Common Lisp一书中,根据我的阅读,尖锐的标志不用于包名和出口.

在这些情况下使用未加工符号(尖锐符号)的原因是什么?

Mat*_*ard 15

使用实习符号会污染您当前使用的包,并使用仅用于其名称的符号:

[1]> *package*
#<PACKAGE COMMON-LISP-USER>
[2]> (defpackage bar)
#<PACKAGE BAR>
[3]> (find-symbol "BAR")
BAR ;
:INTERNAL
Run Code Online (Sandbox Code Playgroud)

未加工的符号不会这样做:

;; Uninterned symbols don't cause symbol pollution:
[4]> (defpackage #:foo)
#<PACKAGE FOO>
[5]> (find-symbol "FOO")
NIL ;
NIL
Run Code Online (Sandbox Code Playgroud)

您也可以直接使用字符串,但由于您通常处理大写符号名称,因此编写起来不太方便:

[6]> (defpackage "BARFOO")
#<PACKAGE BARFOO>
[7]> (find-symbol "BARFOO")
NIL ;
NIL
Run Code Online (Sandbox Code Playgroud)

要说明问题,请考虑以下交互:

[1]> (defpackage hello (:use cl) (:export hello))
#<PACKAGE HELLO>

;; Let's write some FOO stuff...
[2]> (defpackage foo (:use cl))
#<PACKAGE FOO>
[3]> (in-package foo)
#<PACKAGE FOO>

;; Oh, I forgot to import HELLO!
;; Let's fix that.
FOO[4]> (defpackage foo (:use cl hello))
*** - (COMMON-LISP:USE-PACKAGE (#<PACKAGE HELLO> #<PACKAGE COMMON-LISP>)
      #<PACKAGE FOO>): 1 name conflicts remain
      Which symbol with name "HELLO" should be accessible in #<PACKAGE FOO>?

;; Oops.
Run Code Online (Sandbox Code Playgroud)

  • @ 6502这是一个有趣的案例.:)它有点不同,因为`dotimes`表单通常位于`in-package`表单下面的某个位置,因此它将始终在指定的包中读取.污染并不是那么糟糕 - 无论如何你总是那么做.`defpackage`和`in-package`在这方面比较麻烦,因为很难预测在阅读相应表格时你会污染哪些包装; 它可能在任何时候发生,毕竟,或多或少地发生在任何地方,特别是在进行交互式开发时. (2认同)