問題出現:

Python 中的 or,and 運算,可以寫出非常複雜的演算表示式;
看了一些大神的演算規則解釋,覺得不是很好理解,有些人甚至理解錯了規則。
這篇部落格聊一下自己的理解。

其他人是怎麼做的:

先看兩個例子熱下身:
    return 1 or 2
    return 1 and 2

兩元的 or and 運算可以通過死記來掌握:
    如果有一個值為真,or 立刻返回第一個真值;
    如果布林上下文中的所有值都為真,and 返回最後一個真值。

如果你記得兩元的 or,and 運算規則,你肯定知道正確答案:
    return 1 or 2      # 返回 1
    return 1 and 2   # 返回 2

但是不推薦死記!
容易忘記和甚至弄混淆。

可以這樣理解:

Python 中的 or 可以理解為找真值演算,從左到右發現真值就返回真值;
    如果兩個都是假值,那就返回最後一個假值。

and 可以理解為找假值演算,從左到右發現假值就返回假值;
    如果兩個都是真值,那就返回最後的真值。

運算的規則簡單歸納一下:

or :找真值:
        如果有一個值為真,or 立刻返回第一個真值;
        如果所有的值都為假,or 返回最後一個假值。
and :找假值:
        如果布林上下文中的某個值為假,and 返回第一個假值;
        如果布林上下文中的所有值都為真,and 返回最後一個真值。

分析:

先來看比較難搞的三元演算表示式的例子:
    return 0 and 1 or 2

相信你也發現了,三元的運算可以拆分成兩個兩元的運算表示式:
    return 0 and 1 or 2 中:
    0 and 1 找假值,返回 0;
    然後把返回的 0 繼續和後面的表示式做演算:
    0 or 2 找真值,返回 2。

所以:
    return 0 and 1 or 2 :# 返回 2

就是這麼簡單。

當然,這還沒完!
還有一種特殊情況需要分析:

當表示式的所有值都是真值,並且運算子不是全部一致,
    那麼第一個 or 或 and 演算完,直接返回!

    return 1 or 2 and 3 中:
    1 or 2;找真值返回1;因為全部值都是真值,直接返回。

    return 1 and 2 or 3 中:
    1 and 2;找假值返回2;因為全部值都是真值,直接返回。

所以:

    return 1 or 2 and 3 :# 返回1
    return 1 and 2 or 3 :# 返回2

可能會有人有疑問:
既然全部值都為真值,且運算子不全部一致的時候只算第一個 or 或 and ,
那麼全部值都為假值,且運算子不全部一致的話,是不是也只算第一個 or 或 and 呢!

答案是否定的。

驗證一下:

    return '' or 0 and None
    上面的結果返回的是0;

    return '' and None or 0
    上面的結果返回的是0;

那麼全部值為真值,且運算子全部一致的時候呢:

    return 0 and None and ''
    上面的結果返回的是0;

    return '' or None or 0
    上面的結果返回的是0;

所以,如果都是假值,也要老老實實做運算,別想著運算第一個 or 或 and 就完事了。

練習一下:

二元運算:

    如果一個 True,一個 False 或兩個 false:
        return 1 and 0 :# 返回 0
        return 1 or 0 :# 返回 1

    如果兩邊都是 True,則and返回右邊的,or返回左邊的:
        return 1 or 2 :# 返回 1
        return 1 and 2 :# 返回 2

多元運算:

    return 1 or 2 or 3 :# 返回 1
    return 1 and 2 and 3 :# 返回 3

上面兩個表示式的值全部為真值,且演算符號相同。

總結:

or :找真值:
        如果有一個值為真,or 立刻返回第一個真值;
        如果所有的值都為假,or 返回最後一個假值。

and :找假值:
        如果布林上下文中的某個值為假,and 返回第一個假值;
        如果布林上下文中的所有值都為真,and 返回最後一個真值。

特殊情況:
    當表示式的所有值都是真值,並且運算子不全部一致,
    那麼第一個 or 或 and 演算完後直接返回。