主页 / coding / 问题 / 79592856
Accepted
myname
Asked: 2025-04-25 23:30:37 +0800 CST

在 Common Lisp 中，在类槽中定义类型或 nil 的正确方法是什么？

  • 772

我有一个类，希望在创建对象时将某些槽位设置为 nil，但这些槽位只能由特定类型的对象设置。例如：

(defclass Something ()
  ((foo :initarg :foo
        :type (or character 'nil)
        :initform nil
        :accessor something-foo)))

如果我说只是:type character，或:type (or character nil)，那么 SBCL 会抱怨它NIL不属于断言的字符类型。如果我说:type (or character 'nil)，那么它似乎接受字符和符号类型，因为任何符号似乎都适用：

CL-USER> (defvar *foo* (make-instance 'Something))
*FOO*
CL-USER> (setf (something-foo *foo*) 'test)
TEST
CL-USER> (something-foo *foo*)
TEST

有没有办法断言一个 slot 是 nil 还是具有给定的类型？或者我应该省略类型说明符，然后在访问器或写入器方法中断言类型？

编辑：

再三考虑之后，也许习惯用法是说:type character但保持其不受约束，然后检查插槽是否被绑定，而不是检查是否为零和非零？

lisp

2 个回答

  1. Best Answer

    NIL是空类型，它根本不包含任何值（就像数学中的空集）。

    包含该值的类型NIL是NULL。所以你想要的是

    :type (or character null)
    • 3

  2. 请记住：复合类型中的类型不会被评估，因此您不需要也不能引用它们。

    该对象属于什么类型NIL？

    CL-USER 3 > (type-of nil)
NULL

    那么，nil是 类型吗null？

    CL-USER 4 > (typep nil 'null)
T

    那么，nil是 类型吗(or character null)？

    CL-USER 5 > (typep nil '(or character null))
T

    null我们也可以使用类型来代替(eql nil)。此类型描述的是 对象的集合nil。我们可以在类型表达式中使用它：

    CL-USER 6 > (typep nil '(or character (eql nil)))
T

    我们还可以member在类型表达式中使用类型，其中nil的类型为(member nil)：

    CL-USER 7 > (typep nil '(or character (member nil)))
T

    因此，复合类型(member nil)和(eql nil)描述的对象与标准化原子类型说明符 null相同。它们中的任何一个都可以在你的插槽类型中使用，但我更喜欢使用最简单的类型，即这里的 类型NULL。

    • 1

相关问题