"Y" vs "cuándo" para condicionales

Este es un seguimiento de los comentarios sobre esta respuesta . Los siguientes bits de código parecen ser equivalentes:

(and a b)

(when a b)

Por supuesto andte permite poner más condiciones: (and a b c d)significa(when (and a b c) d)

Tiendo a usar whensolo para expresar ramificaciones. ¿Hay diferencias reales? ¿Es mejor usar uno u otro?

No tengo la fuente C de Emacs a la mano; andes una función C; whenes una macro que se expande if, que en sí misma es una función C.

TL; DR: when se trata de efectos secundarios, andes para expresiones booleanas puras.

Como se ha notado, andy whensólo se diferencian en la sintaxis, pero por lo demás está totalmente equivalentes.

Sin embargo, la diferencia sintáctica es bastante importante: whenenvuelve un implícito prognalrededor de todas las formas excepto el primer argumento. prognes una característica inherentemente imperativa: evalúa todas las formas del cuerpo, excepto la última, solo por sus efectos secundarios, descartando cualquier valor que hayan devuelto.

Como tal, también whenes una forma imperativa: su propósito principal es envolver las formas de efectos secundarios, porque solo el valor de la última forma realmente importa para el cuerpo.

andPor otro lado, es una función pura, cuyo objetivo principal es mirar los valores de retorno de las formas de argumento dadas: a menos que envuelva explícitamente prognalguno de sus argumentos, el valor de cada forma de argumento es importante y nunca se ignora ningún valor .

Por lo tanto, la verdadera diferencia entre andy whenes estilística: se usa andpara expresiones booleanas puras y whenpara proteger las formas de efectos secundarios.

Por lo tanto, estos son mal estilo:

;; `when' used for a pure boolean expression
(let ((use-buffer (when (buffer-live-p buffer)
                    (file-exists-p (buffer-file-name buffer)))))
  ...)

;; `and' used as guard around a side-effecting form
(and (buffer-file-name buffer) (write-region nil nil (buffer-file-name buffer)))

Y estos son buenos:

(let ((use-buffer (and (buffer-live-p buffer)
                       (file-exists-p (buffer-file-name buffer)))))
  ...)

(when (buffer-file-name buffer)
 (write-region nil nil (buffer-file-name buffer)))

Sé que algunas personas no están de acuerdo con esto, y felizmente lo usan andpara proteger los efectos secundarios, pero creo que este es un estilo realmente malo. Tenemos estas diferentes formas por una razón: la sintaxis importa . Si no fuera así, todos lo usaríamos alguna vez if, que es la única forma condicional que realmente necesita semánticamente en Emacs Lisp. Todas las demás formas booleanas y condicionales se pueden escribir en términos de if.

Permítanme comenzar diciendo eso (and a b)y, (when a b)en su ejemplo, hagan lo mismo: Primero ase evalúa. bse evalúa si aes verdadero ^# .

Pero and y whense utilizan para diferentes cosas.

• Usted usaría (and a b)para devolver el verdadero ^# si AMBOS ay bson verdaderos ^# (o no-nulo); y de lo nilcontrario

• Usarías (when a b)o para ser más correcto,

  (when a
     ;; do something like b
     )

  cuando quiere que el código "b" se ejecute si y solo si aes verdadero ^# .

Aquí hay un ejemplo donde usas wheny andjuntos:

(when (and a b)
   (do-c))

Arriba, la función do-cse llama SOLO si AMBOS ay bson verdaderos ^# .

Referencias para estudio

• Elisp - Condicionales (busque la whensección aquí)
• Elisp - Condiciones combinadas (busque la andsección aquí)

_{# Todas las referencias a verdadero se refieren a Boolean TRUE.}