Início / coding / Perguntas / 79592856
Accepted
myname
Asked: 2025-04-25 23:30:37 +0800 CST

No Common Lisp, qual é a maneira correta de definir um tipo ou nil em um slot de classe?

  • 772

Tenho uma classe na qual quero que alguns slots sejam nulos quando o objeto for criado, mas eles devem ser configuráveis ​​apenas com objetos de um determinado tipo. Algo como:

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

Se eu disser apenas :type character, ou :type (or character nil), então o SBCL reclama por NILnão ser do tipo de caractere declarado. Se eu disser :type (or character 'nil), então parece que ele aceita caracteres e o tipo de símbolo, já que qualquer símbolo parece ser:

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

Existe uma maneira de afirmar que um slot é nulo ou possui o tipo fornecido? Ou devo simplesmente omitir o especificador de tipo e afirmar o tipo no método acessador ou escritor?

Editar:

Depois de pensar um pouco, talvez a expressão seja: :type characterdeixe-o desvinculado e verifique se o slot está vinculado ou não, em vez de verificar se é nulo ou não nulo?

lisp

2 respostas

  1. Best Answer

    NILé o tipo vazio, não contém nenhum valor (como o conjunto vazio em matemática).

    O tipo que contém o valor NILé NULL. Então o que você quer é

    :type (or character null)
    • 3

  2. Lembre-se: tipos dentro de um tipo composto não são avaliados, então você não precisa e também não pode citá-los.

    Que tipo tem o objeto NIL?

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

    Então, nilé do tipo null?

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

    Então, nilé do tipo (or character null)?

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

    Em vez disso, nulltambém podemos usar o tipo (eql nil). Este tipo descreve o conjunto exato do objeto nil. Podemos usá-lo em nossa expressão de tipo:

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

    Também podemos usar um membertipo em nossa expressão de tipo, onde nilé do tipo (member nil):

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

    Assim, os tipos compostos (member nil)e (eql nil)descrevem os mesmos objetos que o especificador de tipo atômico padronizado null . Qualquer um deles pode ser usado no seu tipo de slot, enquanto eu preferiria usar o tipo mais simples, aqui o tipo NULL.

    • 1

relate perguntas