Python: Irgendwas ist im Listenverständnis falsch gelaufen?

Question

>>> [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 

So litheor(2) ist True und 2 in sieve(100) ist True, so dass die if-Klausel in der Liste Verständnis ist False. Aber warum ist 2 immer noch in der Ausgabe des Listenverständnisses?

Answer 1

Ok, zunächst klingt es verrückt, aber:

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

Wenn Sie merken, dass dieses Problem nicht einfach Vorrang ist, an der AST suchen, ist die einzige verbleibende Option:

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

und hier ist ein kleiner Hinweis:

>>> 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)]) 
)])' 

Also, es stellt sich heraus, ist True != 2 in [2,3,5] ähnlich interpretiert zu 1 < 2 <= 3. Und Ihr Ausdruck

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

bedeutet

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

die True ist.