認識到如果再執行表達式可以跳過

Question

我有這樣的表達：

(a and b or c) and d 

我怎麼會認識到它的進一步執行是沒有意義的。例如，當

a = 0, b = 1, c = 0, d = 1 

它沒有意義執行最外層(...) and d becouse整個表達式將是假的(a and b or c)返回後假。

所以我想找到一個一般的規則，讓我來分析對錶達爲主，找到表達的那些部分，其執行對整個表達至關重要，如果需要跳過進一步執行。下面是基於堆棧的假想代碼虛擬機我是來自

ld a 
ld b 
and 
ld c 
or 
ld d 
and 

開始與此表達我想實現什麼：

ld a 
ld b 
and 
ld c 
or 
jmpf outOfQuery ;;jump if false 
ld d 
and 
outOfQuer: 

Answer 1

不計算布爾的右操作數的概念運營商時的結果已經被左操作數確定的，被稱爲短路。它通常是通過編譯and和or運營商相同的代碼作爲條件表達式實現：

• a and b將相當於a ? b : false（或a ? b : a）
• a or b將相當於a ? true : b（或a ? a : b）

所以生成的字節和/或機器代碼將不包含任何and或or指令，但只是一個條件ONAL分支。