Início / coding / Perguntas / 79212295
Accepted
Scooter
Asked: 2024-11-22 01:22:36 +0800 CST

Por que listp no SBCL Common Lisp retorna T para uma célula cons que não é uma lista?

  • 772

A variável global a é uma célula cons, mas NÃO uma lista. Por que LISTP retorna T para ela?

* (defvar a (cons 1 2))
A
* a
(1 . 2)
* (listp a)
T
common-lisp

1 respostas

  1. Best Answer

    Da CLHS

    Retorna verdadeiro se o objeto for do tipo list; caso contrário, retorna falso.

    e a definição do tipo listé:

    Os tipos conse nullformam uma partição exaustiva do tipo list.

    Como (1 . 2)é um cons, também é um list.

    (listp object) == (typep object 'list) == (typep object '(or cons null))

    Para eficiência, listpnão tenta determinar se é uma lista adequada , que termina com NIL. Não há nenhuma função padrão que faça isso. Veja Check for proper list em Common Lisp

    • 1

relate perguntas