En python, ¿por qué 0xbin() devuelve Falso? [duplicate]

Introduciendo el comando 0xbin() devuelve Falso:

>>> 0xbin()
False

¿Por qué sucede eso? Esta sintaxis no debería tener significado alguno. Las funciones no pueden comenzar con 0, no hay “i” ni “n” en hexadecimal, y la función bin debe tener algunos argumentos.

Python parece interpretar 0xbin() como 0xb in (), el significado es once en una tupla vacía. La respuesta es no, por lo tanto False.

Si desensambla el código, verás la respuesta de Yself, que menciona que 0xbin() se interpreta como 0xb in ()esta confirmado:

>>> import dis
>>> dis.dis('0xbin()')
  1           0 LOAD_CONST               0 (11)
              2 BUILD_TUPLE              0
              4 COMPARE_OP               6 (in)
              6 RETURN_VALUE

¡Puedes usar el propio tokenizador de Python para verificar!

import tokenize
import io
line = b'0xbin()'
print(' '.join(token.string for token in tokenize.tokenize(io.BytesIO(line).readline) if token.type!=59))

Esto imprime los tokens en su cadena, separados por espacios. En este caso, el resultado será:

0xb in ( ) 

En otras palabras, devuelve False porque el número 11 (0xb) no está en la tupla vacía (()).

(Gracias a Roman Odaisky por sugerir el uso de tokenize en los comentarios!)

EDITAR: Para explicar el código un poco más a fondo: el tokenize La función espera entrada en un formato un poco extraño, por lo que io.BytesIO(line).readline es una función que convierte una secuencia de bytes en algo tokenize puedo leer. tokenize luego lo tokeniza y devuelve una serie de namedtuples; tomamos la cadena que representa a cada uno y los unimos con espacios. los type != 59 part se usa para ignorar el especificador de codificación que, de lo contrario, aparecería al principio.

Puedes usar el AST módulo para obtener el árbol de sintaxis abstracta de la expresión:

>>> import ast
>>> m = ast.parse('0xbin()')
>>> ast.dump(m)
'Module(
    body=[Expr(
               value=Compare(left=Num(n=11),
                             ops=[In()],
                             comparators=[Tuple(elts=[],
                                                ctx=Load())
                                         ]
                            ))])'

Ver el gramática abstracta para saber cómo interpretar la expresión, pero tl; dr: Num(n=11) es el 0xb parte, y Tuple(elts=[], ...) sugiere una tupla vacía en lugar de una llamada de función.