Para empezar, la línea sobre la que tienes dudas es incorrecta:
c_local = 0 if a == b == "limpio" and acción is "nada" else 1
^^
^^
debe ser:
c_local = 0 if a == b == "limpio" and acción == "nada" else 1
El operador de identidad comprueba si dos identificadores apuntan al mismo objeto en memoria, no si dos objetos son iguales. Solo se debe usar is como sinónimo de igualdad con los tres objetos singletons que C-Python asegura por implementación, None
, False
y True
. Para el resto jamás se debe usar is
con ésta finalidad, nada nos asegura que funcione como esperamos, son optimizaciones internas del interprete y son detalles de implementación. Asumir que el interprete va realizar dicha optimización y a tratar la cadena como singleton es jugar con fuego, puede que si, pero puede que no.
Corregido eso, esa línea es lo que se conoce en Python como expresiones condicionales, similar a la función del operador ternario en otros lenguajes. Python prima la legibilidad, tanto que si traducimos la línea al español queda bastante claro:
c_local
igual a 0
si (a
, b
y "limpio"
son iguales) y (acción
es igual a "nada"
) en caso contrario 1
a == b == "limpio"
equivale a algo como:
(a == b) and (b == "limpio")
En su conjunto, la expresión es equivalente a:
if (a == b == "limpio") and (acción == "nada"):
c_local = 0
else:
c_local = 1
Los paréntesis no son necesarios (el operador de igualdad tiene preferencia sobre and
), son solo para dejar caro el orden de evaluación.
El return
hace uso de la misma sintaxis, pero algo más compleja, tanto que en mi opinión sería mejor usar bloques condicionales normales en favor de la legibilidad. Ésto:
if a == "nada":
return estado, c_local
elif acción == "ir_A":
return ("A", a, b), c_local
elif acción == "ir_B":
return ("B", a, b), c_local
elif robot == "A":
return (robot, "limpio", b), c_local
else:
return (robot, a, "limpio"), c_local