Trade-offs

¿Comprobar el invariante siempre?

Se puede escribir una función que compruebe el invariante entero (recorre los casilleros y mira que no haya huecos) y llamarla después de cada operación.

¿Cuándo conviene llamar a comprobar después de cada operación?En pruebas y al depurar, porque lleva el error a la operación que lo causa; en producción se apaga porque recorre todoSolo en producción, porque las pruebas ya cubren cada operación por separado y los fallos reales son los de uso realSiempre, también en producción, porque un error de estado nunca debe llegar al usuario y comprobar siempre es más seguroNunca: si cada operación está bien escrita el invariante se cumple solo, y comprobarlo después de cada paso sobra