cl-mysql代码中"#+"的含义是什么？

Question

最近我试着阅读关于cl-mysql的代码,但是却陷入了困境#+.

试图google它,但没有工作,所以转到这里

(defun make-lock (name)
  #+sb-thread (sb-thread:make-mutex :name name)
  #+ecl (mp:make-lock :name name)
  #+armedbear (ext:make-thread-lock)
  #+ (and clisp mt) (mt:make-mutex :name name)
  #+allegro (mp:make-process-lock :name name))

看起来它适用于不同的后端lisp编译器.但仍然不知道为什么写这样的东西.他说,任何人都可以帮助我说清楚.

Answer 1

#+是一个reader-macro,用于检查关键字是否在特殊变量中*FEATURES*.如果它不存在,将跳过以下表单(由读者;编译器将永远不会看到它).也有#-相反的情况.

有些东西不是Common Lisp标准的一部分,但重要的是所有(或大多数)实现为它们提供非标准扩展.如果要在需要处理多个实现的代码中使用它们,则必须使用读取时间条件为当前实现提供正确的代码.互斥体(以及一般的线程)就是其中之一.

当然,第三方库也可能提供功能.内容*FEATURES*将看起来像这样:

(:SWANK :QUICKLISP :SB-BSD-SOCKETS-ADDRINFO :ASDF-PACKAGE-SYSTEM :ASDF3.1
 :ASDF3 :ASDF2 :ASDF :OS-UNIX :NON-BASE-CHARS-EXIST-P :ASDF-UNICODE :64-BIT
 :64-BIT-REGISTERS :ALIEN-CALLBACKS :ANSI-CL :ASH-RIGHT-VOPS
 :C-STACK-IS-CONTROL-STACK :COMMON-LISP :COMPARE-AND-SWAP-VOPS
 :COMPLEX-FLOAT-VOPS :CYCLE-COUNTER :ELF :FLOAT-EQL-VOPS
 :FP-AND-PC-STANDARD-SAVE :GENCGC :IEEE-FLOATING-POINT :INLINE-CONSTANTS
 :INTEGER-EQL-VOP :INTERLEAVED-RAW-SLOTS :LARGEFILE :LINKAGE-TABLE :LINUX
 :LITTLE-ENDIAN :MEMORY-BARRIER-VOPS :MULTIPLY-HIGH-VOPS :OS-PROVIDES-DLADDR
 :OS-PROVIDES-DLOPEN :OS-PROVIDES-GETPROTOBY-R :OS-PROVIDES-POLL
 :OS-PROVIDES-PUTWC :OS-PROVIDES-SUSECONDS-T :PACKAGE-LOCAL-NICKNAMES
 :PRECISE-ARG-COUNT-ERROR :RAW-INSTANCE-INIT-VOPS :SB-DOC :SB-EVAL :SB-FUTEX
 :SB-LDB :SB-PACKAGE-LOCKS :SB-SIMD-PACK :SB-SOURCE-LOCATIONS :SB-TEST
 :SB-THREAD :SB-UNICODE :SBCL :STACK-ALLOCATABLE-CLOSURES
 :STACK-ALLOCATABLE-FIXED-OBJECTS :STACK-ALLOCATABLE-LISTS
 :STACK-ALLOCATABLE-VECTORS :STACK-GROWS-DOWNWARD-NOT-UPWARD :SYMBOL-INFO-VOPS
 :UNIX :UNWIND-TO-FRAME-AND-CALL-VOP :X86-64)

因此,如果您想编写依赖于Quicklisp的代码,您可以使用#+quicklisp.如果您希望仅在Quicklisp不可用的情况下运行代码,您可以使用#-quicklisp.

您还可以使用布尔表达式的功能.例如,

#+(or sbcl ecl) (format t "Foo!")

将Foo!在SBCL或ECL上打印.

#+(and sbcl quicklisp) (format t "Bar!")

只会Bar!在有Quicklisp的SBCL上打印.

Answer 2

可以想象我们可以这样写：

(defun make-lock (name)
  (cond ((member :sb-thread *features)
         (sb-thread:make-mutex :name name))
        ((member :ecl *features*)
         (mp:make-lock :name name))
     ...))

但这通常不起作用，因为当它们的包不存在并且某些包是实现/库/应用程序特定的时，我们无法读取符号。包不是在读取时以惰性/自动方式创建的。

在 Common Lisp 中，读取不存在的包的符号会导致错误：

CL-USER 1 > (read-from-string "foo:bar")

Error: Reader cannot find package FOO.
  1 (continue) Create the FOO package.
  2 Use another package instead of FOO.
  3 Try finding package FOO again.
  4 (abort) Return to level 0.
  5 Return to top loop level 0.

在您的示例中sb-thread:make-mutex是一个在 SBCL 中有意义的符号，但在 Allegro CL 中没有意义。此外SB-THREAD，Allegro CL 中不存在该包。因此，需要防止 Allegro CL 读取它。在这种情况下，sb-thread:make-mutex如果该特征sb-thread存在于cl:*features*列表中，则只会读取该符号。这可能仅适用于 SBCL 或声称sb-threads可用的 Lisp 。

此处的特征表达式可防止 Lisp 尝试读取带有未知包的符号 - 包是未知的，因为相应的软件未加载或不可用。