“ และ” vs“ เมื่อ” สำหรับเงื่อนไข

นี่คือการติดตามความคิดเห็นของคำตอบนี้ บิตของรหัสต่อไปนี้ดูเหมือนจะเทียบเท่า:

(and a b)

(when a b)

แน่นอนandช่วยให้คุณใส่เงื่อนไขเพิ่มเติม: (and a b c d)หมายถึง(when (and a b c) d)

ฉันมักจะใช้whenเพื่อแสดงการแตกแขนงเท่านั้น มีความแตกต่างที่เกิดขึ้นจริง? ดีกว่าที่จะใช้อย่างใดอย่างหนึ่ง?

ฉันไม่มีแหล่งที่มาของ Emacs andเป็นฟังก์ชั่น C; whenเป็นแมโครที่ขยายไปifซึ่งตัวมันเองเป็นฟังก์ชั่น C

TL; DR: whenเกี่ยวกับผลข้างเคียงandมีไว้สำหรับนิพจน์บูลีนบริสุทธิ์

ตามที่คุณสังเกตเห็นandและwhenแตกต่างในรูปแบบไวยากรณ์ แต่จะเทียบเท่ากันทั้งหมด

ความแตกต่างของวากยสัมพันธ์เป็นสิ่งสำคัญมากแม้ว่า: whenล้อมprognรอบทั้งหมด แต่รูปแบบการโต้แย้งครั้งแรก prognมันเป็นคุณสมบัติที่จำเป็นอย่างยิ่ง: มันประเมินผลทั้งหมด แต่รูปแบบสุดท้ายของร่างกายสำหรับผลข้างเคียงของพวกเขาเท่านั้นโดยละทิ้งสิ่งที่พวกเขากลับมา

เช่นwhenนี้เป็นรูปแบบที่จำเป็นเช่นกัน: มันมีจุดประสงค์หลักคือการห่อรูปแบบที่มีผลข้างเคียงเพราะเฉพาะค่าของรูปแบบสุดท้ายเท่านั้นที่สำคัญสำหรับร่างกาย

andในทางกลับกันเป็นฟังก์ชั่นที่บริสุทธิ์ซึ่งมีจุดประสงค์หลักคือการดูค่าที่ส่งคืนของรูปแบบอาร์กิวเมนต์ที่กำหนด: หากคุณไม่ได้prognล้อมอาร์กิวเมนต์ใด ๆไว้อย่างชัดเจนค่าของรูปแบบอาร์กิวเมนต์ทั้งหมดจะมีความสำคัญและไม่มีค่าใดถูกเพิกเฉย .

ดังนั้นความแตกต่างที่แท้จริงระหว่างandและwhenเป็นโวหาร: คุณใช้andสำหรับการแสดงออกทางบูลีนที่บริสุทธิ์และwhenเพื่อป้องกันรอบ ๆ แบบฟอร์มที่มีผลข้างเคียง

ดังนั้นสิ่งเหล่านี้จึงเป็นรูปแบบที่ไม่ดี:

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

และสิ่งเหล่านี้ดี

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

ฉันรู้ว่าบางคนไม่เห็นด้วยกับเรื่องนี้และใช้andเพื่อป้องกันผลข้างเคียงอย่างมีความสุขแต่ฉันคิดว่านี่เป็นสไตล์ที่ไม่ดีจริงๆ เรามีรูปแบบที่แตกต่างกันเหล่านี้สำหรับเหตุผล: ไวยากรณ์ที่สำคัญ หากไม่เป็นเช่นนั้นเราทุกคนจะเคยใช้ifซึ่งเป็นรูปแบบเงื่อนไขเดียวที่คุณต้องการใน Emacs Lisp ความหมาย ทุกรูปแบบบูลีนและเงื่อนไขอื่น ๆ ifที่สามารถเขียนได้ในแง่ของ

ผมขอเริ่มด้วยการบอกอย่างนั้น(and a b)และ(when a b)ในตัวอย่างของคุณทำสิ่งเดียวกัน: อันดับแรกaถูกประเมิน bได้รับการประเมินถ้าaเป็นจริง #

แต่ andและwhenใช้สำหรับสิ่งต่าง ๆ

• คุณจะใช้(and a b)เพื่อส่งกลับ^# จริงถ้าทั้งสองและเป็นจริง^# (หรือไม่ใช่ - ศูนย์); และอื่น ๆabnil

• คุณจะใช้(when a b)หรือแก้ไขให้ถูกต้องมากขึ้น

  (when a
     ;; do something like b
     )

  เมื่อคุณต้องการ "B" รหัสในการดำเนินการและถ้าหากaเป็นจริง #

นี่คือตัวอย่างที่คุณใช้whenและandร่วมกัน:

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

ข้างต้นฟังก์ชั่นdo-cที่เรียกว่าเฉพาะถ้าทั้งสองaและbเป็นจริง #

เอกสารอ้างอิงเพื่อการศึกษา

• Elisp - Conditionals (มองหาwhenส่วนที่นี่)
• Elisp - การรวมเงื่อนไข (ดูandหัวข้อที่นี่)

_{# การอ้างอิงทั้งหมดถึงTrueอ้างถึง Boolean TRUE}