Início / coding / Perguntas / 77736765
Accepted
Galladite
Asked: 2023-12-31 01:10:34 +0800 CST

Por que (nil . nil) é avaliado como (nil) em vez de apenas nil no SBCL?

  • 772

No SBCL REPL, por que entrar é '(nil . nil)avaliado como (nil)e não apenas nil?

Se uma lista vazia é aquela onde ambos os "elementos" da célula cons estão nil, por que eles não são iguais?

Minha suposição para isso é que a SBCL faz as seguintes avaliações:

(car '()) => nil
(cdr '()) => nil
(car '(nil . nil)) => nil
(cdr '(nil . nil)) => nil

E ainda:

'() => nil
'(nil . nil) => (nil)
lisp

3 respostas

  1. Best Answer

    care cdrretorne nilse for dado nilcomo argumento. Vamos predispor a palavra nilpor um minuto e ver quais valores você está realmente observando.

    (car '()) == '()
(cdr '()) => nil

    care cdrobtivemos uma lista vazia, então retornamos nilou ().

    (car '(nil . nil)) => nil
(cdr '(nil . nil)) => nil

    Agora (nil . nil)é (() . ()). Ou seja, é uma célula de contras cujo carro e cdr são ambos nil.

    Quando temos a . ()no final de uma célula cons, podemos encurtá-la notacionalmente, omitindo o final nil. Esta é apenas uma conveniência de notação, portanto, pela nossa notação, (() . ())pode ser escrito como (())ou (nil). Observe que isso não altera o valor. A maneira mais explícita de escrevê-lo ainda é (() . ()), mas também podemos escrevê-lo de forma mais curta para facilitar a leitura.

    Se uma lista vazia é aquela em que ambos os “elementos” da célula cons são nulos, por que não são iguais?

    Isso não está correto. Uma lista vazia não é uma célula contra. Uma lista vazia é o átomo nil. É um símbolo, assim como 'fooou 'pizzaou 'common-lisp. É apenas um símbolo que escolhemos usar para esse fim. Mas nilnão tem carro nem celular CDR. Acontece que muitas vezes é conveniente deixar (car nil)e (cdr nil)ser nilcomo casos extremos de algoritmos, de modo que as funções car e cdrtenham um comportamento especial em nil. Mas nãonil é uma célula contra.

    > (consp nil)
nil
> (consp '())
nil
> (consp '(1 . 2))
T

    Pela classe do sistemaLIST , o listtipo pode ser descrito como

    Os tipos conse nullformam uma partição exaustiva da lista de tipos.

    Portanto, uma lista em Common Lisp é definida como "uma célula cons ou o valor especial nil". Notavelmente, nilnão é em si uma célula contra.

    • 4

  2. Isso não é específico do SBCL. Está definido no padrão Common Lisp.

    NILs em uma célula contras

    Observe que NILe ()são o mesmo objeto , apenas escritos de forma diferente:

    CL-USER 33 > (eq 'nil '())
T

    Observe também que você não avalia (nil . nil), mas '(nil . nil). O primeiro não é um código Lisp válido. O último é, porque é uma expressão s citada sintaticamente correta.

    (nil . nil)é igual a (nil), mas escrito de forma diferente. A estrutura de contras é igual .

    As expressões s acima são iguais :

    CL-USER 34 > (equal '(nil . nil) '(nil))
T

    CAR e C****R de NIL

    Todas as operações cxxxxrNIL do Common Lisp são definidas para retornar , quando chamadas com uma lista vazia (-> o símbolo/lista NIL):

    CL-USER 35 > (car 'nil)
NIL

CL-USER 36 > (car '())
NIL

CL-USER 37 > (caddar 'nil)
NIL

    Veja Acessador CAR, CDR, CAAR, CADR, CDAR, CDDR, CAAAR, CAADR, CADAR, CADDR, CDAAR, CDADR, CDDAR, CDDDR, CAAAAR, CAAADR, CAADAR, CAADDR, CADAAR, CADADR, CADDAR, CADDDR, CDAAAR, CDAADR, CDADAR, CDADDR, CDDAAR, CDDADR, CDDDAR, CDDDDR no padrão Common Lisp.

    car x=> objeto

    Se x for um cons , carretorna o carro desse cons . Se x for nil, car retorna nil.

    Diferenças da função carentre linguagens Common Lisp e Scheme

    Isso é diferente da linguagem de programação Scheme, onde (car '())há um erro. Veja por exemplo R7RS carro pequeno .

    Observe que é um erro retirar o carro da lista vazia.

    Observe também que Scheme não possui nil. É indefinido na linguagem e, portanto, não é o mesmo que a lista vazia () . Avaliar uma lista vazia () no Scheme é um erro.

    As seguintes expressões de esquema são avaliadas como um erro:

    (car ())       ; evaluating the empty list is an error in Scheme
(car '())      ; car of an empty list is an error in Scheme
(car 'nil)     ; car of the symbol nil is an error in Scheme

    As três expressões acima serão avaliadas NILem Common Lisp.

    • 2

  3. O erro crítico que você cometeu aqui foi entender a implicação de maneira errada. Em particular, no Common Lisp é verdade que care cdrda lista vazia retorna a lista vazia, mas não é verdade que qualquer objeto para o qual isso seja verdade seja a lista vazia. Na verdade, está claro que isso não pode ser verdade porque o objeto da lista vazia é único, embora (eq (cons '() '()) (cons '() '()))deva ser falso.

    Portanto, embora 'ser a lista vazia' implique (em Common Lisp!) que pegar car/ cdrretorna a lista vazia, o inverso não é verdadeiro.

    • 1

relate perguntas