5.8. Comprobación de tipos

¿Que sucede si llamamos a factorial y le damos 1.5 como argumento?

   1: >>> factorial (1.5)

   2: RuntimeError: Maximum recursion depth 

   3: exceeded

Tiene todo el aspecto de una recursion infinita. Pero, ¿como ha podido ocurrir?

Hay una condicion de salida o caso base: cuando n == 0. El problema es que el valor de n yerra el caso base.
En la primera llamada recursiva, el valor de n es 0.5. En la siguiente vez su valor es -0.5. A partir de ahí, se vuelve mas y mas peque~no, pero nunca sera 0.

Tenemos dos opciones. Podemos intentar generalizar la funcion factorial para que trabaje con numeros de coma flotante, o podemos hacer que factorial compruebe el tipo de su parametro. La primera opcion se llama funcion gamma, y esta mas alla del objetivo de este libro. Así pues, tomemos la segunda.

Podemos usar la funcion type para comparar el tipo del parametro con el tipo de un valor entero conocido (por ejemplo 1). Ya que estamos en ello, podemos asegurarnos de que el parametro sea positivo:

   1: def factorial (n):

   2:     if type(n) != type(1):

   3:         print "El factorial esta 

   4:         definido solo para enteros."

   5:         return -1

   6:     elif n < 0:

   7:         print "El 

   8:         factorial esta definido solo para enteros\

   9:         positivos."

  10:         return -1

  11:     elif n == 0:

  12:         return 1

  13:         else:

  14:         return n * factorial(n-1)

  15:     

Ahora tenemos tres condiciones de salida o casos base. El primero filtra los números no enteros. El segundo evita los enteros negativos. En ambos casos, se muestra un mensaje de error y se devuelve un valor especial, -1, para indicar a quien hizo la llamada a la funcion que algo fue mal:

   1: >>> factorial (1.5)

   2: El factorial esta definido solo para 

   3: enteros.

   4: -1

   5: >>> factorial (-2)

   6: El factorial esta definido solo 

   7: para enteros positivos.

   8: -1

   9: >>> factorial ("paco")

  10: El factorial 

  11: esta definido solo para enteros.

  12: -1

Si pasamos ambas comprobaciones, entonces sabemos que n es un entero positivo y podemos probar que la recursion termina.

Este programa muestra un patron que se llama a veces guardian. Las primeras dos condicionales actuan como guardianes, protegiendo al código que sigue de los valores que pudieran causar errores. Los guardianes hacen posible demostrar la correccion del código.