Питон: что-то пошло не так где-то в списке понимания?

>>> [l for l in range(2,100) if litheor(l)!=l in sieve(100)]
[2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97]
>>> 2 in sieve(100)
True
>>> litheor(2)
True

Таким образом, litheor(2) является True и 2 in sieve(100) является True, поэтому предложение if в понимании списка является False. Но почему 2 все еще находится в выводе списка понимания?

1 6
python list-comprehension primes

1 ответ:

Ладно, поначалу это звучит безумно, но: 

>>> True != 2 in [2,3,5]
True
>>> (True != 2) in [2,3,5]
False
>>> True != (2 in [2,3,5])
False

Когда вы поймете, что это не просто вопрос приоритета, посмотрите на AST-единственный оставшийся вариант: 

>>> ast.dump(ast.parse("True != 2 in [2,3,5]"))
"Module(body=[Expr(value=
Compare(left=Name(id='True', ctx=Load()), ops=[NotEq(), In()], comparators=[Num(n=2), List(elts=[Num(n=2), Num(n=3), Num(n=5)], ctx=Load())])
)])"

И вот небольшая подсказка: 

>>> ast.dump(ast.parse("1 < 2 <= 3"))
'Module(body=[Expr(value=
Compare(left=Num(n=1), ops=[Lt(), LtE()], comparators=[Num(n=2), Num(n=3)])
)])'

Так, оказывается, True != 2 in [2,3,5] интерпретируется аналогично 1 < 2 <= 3. И ваше выражение лица 

litheor(l) != l in sieve(100)

Означает 

litheor(l) != l and l in sieve(100)

То есть True.

11