"Und" vs "wann" für Bedingungen

Dies ist eine Fortsetzung der Kommentare zu dieser Antwort . Die folgenden Codebits scheinen äquivalent zu sein:

(and a b)

(when a b)

Natürlich andkönnen Sie mehr Bedingungen stellen: (and a b c d)bedeutet(when (and a b c) d)

Ich neige dazu, whennur Verzweigungen auszudrücken. Gibt es tatsächliche Unterschiede? Ist es besser das eine oder andere zu benutzen?

Ich habe keine Emacs C-Quelle zur Hand; andist eine C-Funktion; whenist ein Makro, das erweitert ifwird und selbst eine C-Funktion ist.

TL; DR: when handelt von Nebenwirkungen, andist für reine Boolesche Ausdrücke.

Wie Sie bemerkt haben, andund whenunterscheiden sich nur in der Syntax, sind aber ansonsten völlig gleichwertig.

Der syntaktische Unterschied ist jedoch sehr wichtig: Es wird whenein Implizit prognum alle außer den ersten Argumentformen gewickelt. prognist ein von Natur aus unerlässliches Merkmal: Es bewertet alle Körperformen außer der allerletzten nur auf ihre Nebenwirkungen und verwirft dabei den jeweils zurückgegebenen Wert.

Als solches whenist es auch eine zwingende Form: Ihr Hauptzweck ist es, nebenwirkende Formen zu verpacken, da nur der Wert der allerletzten Form tatsächlich für den Körper von Bedeutung ist.

andAuf der anderen Seite handelt es sich um eine reine Funktion, deren Hauptzweck darin besteht, die Rückgabewerte der angegebenen Argumentformen zu betrachten: Sofern Sie prognkeines der Argumente explizit umbrechen , ist der Wert jeder Argumentform wichtig, und kein Wert wird jemals ignoriert .

Daher ist der eigentliche Unterschied zwischen andund whenstilistisch: Sie verwenden ihn andfür reine boolesche Ausdrücke und whenum nebenwirkende Formen zu schützen.

Daher sind dies schlechte Stile:

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

Und das sind gute:

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

Ich weiß, dass einige Leute darüber nicht einverstanden sind und gerne andNebenwirkungen abwehren, aber ich denke, dass dies wirklich ein schlechter Stil ist. Wir haben diese verschiedenen Formen aus einem Grund: Syntax zählt . Andernfalls würden wir alle nur ifdie einzige Bedingungsform verwenden , die Sie in Emacs Lisp semantisch wirklich benötigen. Alle anderen booleschen und bedingten Formen können in Bezug auf geschrieben werden if.

Lassen Sie mich damit beginnen (and a b)und (when a b)in Ihrem Beispiel dasselbe tun: Zuerst awird ausgewertet. bwenn ausgewertet aist wahr ^# .

Aber and und whenwerden für verschiedene Dinge verwendet.

• Sie würden verwenden (and a b)zurückzukehren wahr ^# wenn beide aund bsind wahr ^# (oder Nicht-Null); und nilsonst.

• Sie würden (when a b)oder mehr richtig sein,

  (when a
     ;; do something like b
     )

  Wenn Sie möchten, dass der Code "b" genau dann ausgeführt awird, wenn " true" ^{# ist} .

Hier ist ein Beispiel, in dem Sie whenund andzusammen verwenden:

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

Oben, die Funktion do-cwird nur , wenn beide genannt aund bist wahr ^# .

Referenzen für das Studium

• Elisp - Bedingungen (siehe whenAbschnitt hier)
• Elisp - Kombinationsbedingungen (siehe andAbschnitt hier)

_{# Alle Verweise auf true beziehen sich auf den Booleschen Wert TRUE.}