Si conoces C, te diría que todo en pythonPython son punteros a objetos. Si no conoces C, baste decir que cada variable Python no es una "caja" en la que metas un valor, sino que es un "apuntador" que señala a un objeto, que es quien en verdad tiene el valor (y un tipo). Por eso la variable en sí no tiene tipo, sino el dato al que "apunta".
En este momento a
y b
se refieren al mismo objeto. Por tanto a is b
será True
ya que para esto es para lo que sirve el operador is
, para ver si ambos se refieren al mismo objeto. El operador ==
en cambio compara los objetos. Naturalmente a==ba == b
también será True
si a
y b
se refieren al mismo objeto.
Quizás te estés preguntando "Esto no puede ser así, pues si ahora cambio el valor de b
haciendo por ejemplo b=b+1b = b + 1
también cambiará el de a
, ¿no?"