邏輯的基本是兩個(gè)分支

熟練的程序員，并不用特意去想“完整性和排他性”也能寫(xiě)出if吾句。他們迅速熟練地寫(xiě)出條件表達(dá)式，“刷” 地一下就將條件為真和為假時(shí)的處理方法寫(xiě)好了。尤其是像這里所示的簡(jiǎn)單規(guī)則，用if語(yǔ)句寫(xiě)也只是三下五除二的事情。


但是程序員要寫(xiě)幾十條、幾百條if語(yǔ)句。即使每一條都很簡(jiǎn)單，但在錯(cuò)綜復(fù)雜的if語(yǔ)句的組合中，只要稍微出點(diǎn)錯(cuò)，就會(huì)產(chǎn)生bug。
因此，即使在編寫(xiě)簡(jiǎn)單的if語(yǔ)句時(shí)，也必須兼顧完整性和排他性。前面例舉的巴士費(fèi)用規(guī)則，就是希望大家能意識(shí)到“ 遺漏” 和 “ 重復(fù)”。


邏輯從根本上說(shuō)是對(duì)完整性和排他性的組合表達(dá)。雖然完整性和排他性只是兩個(gè)簡(jiǎn)單的特性，但存在于任何一個(gè)或簡(jiǎn)單或復(fù)雜的命題之中。