#+:和# - 的含义是什么:在常见的lisp中

时间:2016-10-23 02:33:27

标签: lisp common-lisp reader-macro

我今晚正在阅读cl-fad/load.lisp代码,我发现表达式或字符串前面有符号#+:#-:

这些符号是什么意思?

2 个答案:

答案 0 :(得分:3)

这是一个读取时间条件设施:#+#-可让您根据read确定Feature Expressions的表达式。

,例如,

#+:allegro (require :osi)
#+:sbcl (require :sb-executable)

表示在allegro下运行时,模块:osi将被加载,但在sbcl下运行时,模块:sb-executable将由require加载

在所有其他实施中,require根本不会被调用,因为read将跳过表单。

您不仅可以检查实施名称,还可以检查特定功能,例如

#+(<= (integer-length most-positive-fixnum) 32)
code for a 32-bit lisp
#+(> (integer-length most-positive-fixnum) 32)
code for a 64-bit lisp

除了根据实现选择代码之外,还可以轻松地“注释掉”代码的一部分(即下一个性别):

#+(or) (this code will be skipped over by any lisp reader 
        because (or) returns nil)

答案 1 :(得分:1)

这是基于列表功能的阅读器宏,如果符号出现在功能列表中,则此宏表示执行表单

显示功能列表:

CL-USER> *features*
(:SWANK :QUICKLISP :QUICKLISP-SUPPORT-HTTPS :ROS.INIT :ASDF-PACKAGE-SYSTEM :ASDF3.1 :ASDF3 :ASDF2 :ASDF :OS-MACOSX :OS-UNIX :ASDF-UNICODE :PRIMARY-CLASSES :COMMON-LISP :OPENMCL :CCL :CCL-1.2 :CCL-1.3 :CCL-1.4 :CCL-1.5 :CCL-1.6 :CCL-1.7 :CCL-1.8 :CCL-1.9 :CCL-1.10 :CCL-1.11 :CLOZURE :CLOZURE-COMMON-LISP :ANSI-CL :UNIX :OPENMCL-UNICODE-STRINGS :IPV6 :OPENMCL-NATIVE-THREADS :OPENMCL-PARTIAL-MOP :MCL-COMMON-MOP-SUBSET :OPENMCL-MOP-2 :OPENMCL-PRIVATE-HASH-TABLES :STATIC-CONSES-SHOULD-WORK-WITH-EGC-IN-CCL :X86-64 :X86_64 :X86-TARGET :X86-HOST :X8664-TARGET :X8664-HOST :DARWIN-HOST :DARWIN-TARGET :DARWINX86-TARGET :DARWINX8664-TARGET :DARWINX8664-HOST :64-BIT-TARGET :64-BIT-HOST :DARWIN :LITTLE-ENDIAN-TARGET :LITTLE-ENDIAN-HOST)

就我而言,我正在跑步:

CL-USER> (lisp-implementation-type)
"Clozure Common Lisp"

CL-USER> (lisp-implementation-version)
"Version 1.11-r16635  (DarwinX8664)"

如果我使用CCL

,请执行表单
CL-USER> #+CCL (1+ 1)
2

它有效,因为我在功能列表

上有CCL
CL-USER> #-CCL (1+ 1)
; No value

它起作用,因为我在功能列表中有CCL

或者你可以想到对手,只有在我不这样做时才能执行。拥有功能列表

CL-USER> #-calimero (1+ 1)
2

您可以将任何符号:字添加到功能列表中,也可以添加逻辑

如果我在CCL上使用darwin主机(即MAC OS X),请执行

CL-USER> #+(and ccl darwin-host) (1+ 1)