„I” vs „kiedy” dla warunków warunkowych

Jest to kontynuacja komentarzy do tej odpowiedzi . Następujące fragmenty kodu wydają się równoważne:

(and a b)

(when a b)

Oczywiście andpozwala stawiać więcej warunków: (and a b c d)oznacza(when (and a b c) d)

Zwykle używam whentylko do wyrażania rozgałęzień. Czy istnieją rzeczywiste różnice? Czy lepiej jest używać jednego lub drugiego?

Nie mam pod ręką źródła Emacsa C; andjest funkcją C; whento makro, które rozwija się do siebie if, co samo w sobie jest funkcją C.

TL; DR: when dotyczy efektów ubocznych, andsłuży wyłącznie do wyrażeń boolowskich.

Jak zauważyłeś andi whenróżnią się tylko składnią, ale poza tym są całkowicie równoważne.

Różnica składniowa jest jednak dość ważna: whenobejmuje niejawne podejście prognwokół wszystkich form argumentów oprócz pierwszego. prognjest z natury imperatywną cechą: ocenia wszystkie formy ciała oprócz ostatniej pod kątem ich skutków ubocznych, odrzucając jakąkolwiek wartość, którą zwrócili.

Jako taka whenjest również formą imperatywną: jej głównym celem jest owijanie form wywołujących skutki uboczne, ponieważ tylko wartość ostatniej formy ma znaczenie dla ciała.

andz drugiej strony jest funkcją czystą, której głównym celem jest przyjrzenie się wartościom zwrotnym podanych form argumentów: chyba że jawnie obejdziesz prognktórykolwiek z jego argumentów, wartość każdej formy argumentu jest ważna i żadna wartość nigdy nie jest ignorowana .

Stąd prawdziwa różnica między stylistyczną andi whenstylistyczną: używasz anddo wyrażeń czysto boolowskich i whenstrzeżesz form ubocznych.

Dlatego są to zły styl:

;; `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)))

A te są dobre:

(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)))

Wiem, że niektórzy nie zgadzają się z tym i chętnie używają anddo ochrony przed efektami ubocznymi, ale myślę, że to naprawdę zły styl. Mamy różne formy z jednego powodu: Składnia ma znaczenie . Gdyby tak nie było, wszyscy użylibyśmy tylko iftej jedynej warunkowej formy, której naprawdę potrzebujesz semantycznie w Emacs Lisp. Wszystkie inne formy logiczne i warunkowe można zapisać w kategoriach if.

Zacznę od stwierdzenia, że (and a b)i (when a b)na swoim przykładzie zrobić to samo: po pierwsze ajest oceniany. bjest oceniane, jeśli ajest prawdą ^# .

Ale and i whensą używane do różnych rzeczy.

• Użyłbyś (and a b)do zwrócenia true ^#, jeśli BOTH ai bsą true ^# (lub non-zero); i nilinaczej.

• Użyłbyś (when a b)lub żeby być bardziej poprawnym,

  (when a
     ;; do something like b
     )

  kiedy chcesz, aby kod „b” był wykonywany wtedy i tylko wtedy, gdy ajest to prawda ^# .

Oto przykład, w którym używasz wheni andrazem:

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

Powyżej funkcja do-cjest wywoływana TYLKO, jeśli OBA ai bsą prawdziwe ^# .

Referencje do badań

• Elisp - Warunkowe (poszukaj whensekcji tutaj)
• Elisp - Łączenie warunków (poszukaj andsekcji tutaj)

_{# Wszystkie odniesienia do prawdy odnoszą się do logicznej wartości PRAWDA.}