TDA Cola - Cuidado con dejar el TDA en estado inválido!

[mbuchwald]

Si se está desencolando el último elemento de la cola (es decir, se vacía), entonces estarías dejando en estado inválido al TDA porque ultimo seguiría apuntando a dicho nodo. Dejar al TDA en estado inconsistente es un error. Eso hace que las primitivas no puedan asumir que el estado sea correcto. Por ejemplo, no podrías implementar EstaVacia preguntando si ultimo == nil, lo cuál es completamente válido, haciendo que la primitiva quede atada a un error.