lisp - 为什么 uninterned 符号用于 Common Lisp 中的包名和导出?

标签 lisp common-lisp symbols

screen cast 中在 Common List 上,作者使用 uninterned 符号作为包名和导出。

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

(in-package #:foo)

他还在匿名函数前使用了尖锐的符号。

(defun transposed (m)
  (make-instance 'matrix
                 :rows (matrix-cols m)
                 :cols (matrix-rows m)
                 :generator #'(lambda (i j) (matrix-at m j i))))

在书中Practical Common Lisp据我所知,这个尖锐的符号没有用于包名和导出。

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

最佳答案

使用 interned 符号会污染你当前所在的包,因为这些符号无论如何只用于它们的名字:

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

Uninterned 符号不会那样做:

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

你也可以直接使用字符串,但是由于你通常处理的是大写的符号名称,所以写起来不太方便:

[6]> (defpackage "BARFOO")
#<PACKAGE BARFOO>
[7]> (find-symbol "BARFOO")
NIL ;
NIL

例子

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

[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.

关于lisp - 为什么 uninterned 符号用于 Common Lisp 中的包名和导出?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7894548/

相关文章:

scheme - 我想了解每一行代码如何删除列表中的重复项,所以这是列表 (a b a a c c) 给出的 (a b)

emacs - elisp:如何获得当前点上方一行的点?

java - 使用 jframe 时找不到符号错误

python - Python 中的 "_csv"是什么?

Lisp - 从另一个对列表中删除一个对列表的实例

lisp - 处理列表和附加值的开始方案 (LISP)

data-structures - 什么时候以及为什么要在 CL 中使用哈希表而不是 a-lists?

OpenGL 总是在 cl-opengl(Common Lisp)中为 glGetFloatv GL_MODELVIEW_MATRIX 返回单位矩阵

emacs - 最佳 Common Lisp IDE

perl - 这两个 eval 之间的区别是否用常量折叠来解释?