Valores devueltos del procedimiento de Python

Question

En Python, es posible crear un procedimiento que no tenga un retorno explícito. es decir .:

def test(val): 
    if 0 == val: 
     return 8 

Además, es posible asignar los resultados de esa función a una variable:

>>> a = test(7) 
>>> print `a` 
'None' 

Por qué diablos es eso? ¿Qué lógica de lenguaje está detrás de esa desconcertante decisión de diseño? ¿Por qué eso no solo genera un error de compilación?

EDITAR: Sí, me doy cuenta de que funciona de esa manera. Gracias. Mi pregunta es ¿POR QUÉ? Parece una forma segura de introducir errores sutiles en tu código. Y parece, como se menciona a continuación por e-satis, ir en contra del muy sabio adagio pitónico de que "lo explícito es mejor que lo implícito".

Entonces, ¿qué pasa con esto? ¿Es solo una supervisión del diseño o una suposición simplificadora o una decisión deliberada y considerada?

EDIT: ¿Están de acuerdo en que se exprese la intención de esta manera es mucho mejor:

def test(val): 
    if 0 == val: 
     return 8 
    else: 
     return None 

Si es así, ¿por qué Python preferir el estilo anterior a elevar una excepción de tiempo de compilación?

EDIT: S.Lott trae el punto explícitamente (y otros lo hacen también, su parece más claro para mí) que este comportamiento es el resultado de que Python es un lenguaje dinámico y por lo tanto no puede verificar tiempo de compilación, el comportamiento de tiempo de ejecución del sistema.

Dado que no hay distinción entre los procedimientos (aquellas funciones que no devuelven ningún valor) y las funciones (las que sí lo hacen), no hay nada que aplicar en tiempo de compilación. Lo que significa que cuando llegamos al comportamiento en tiempo de ejecución, o bien tenemos una falla catastrófica en algunos casos (arrojamos una excepción) o fallamos silenciosamente asumiendo que el programador sabía lo que estaban haciendo y entendía el comportamiento predeterminado.

La manera pitónica es hacer lo último, la forma C-style es hacer lo primero.
Eso parece tener sentido como una buena razón para hacerlo de esa manera.

La justificación clara de S.Lott está enterrada en los comentarios a la respuesta aceptada, así que pensé que era mejor resumir aquí.

No acepto la respuesta por un tiempo para ver si S.Lott da una respuesta oficial. De lo contrario, le daré los puntos a SilentGhost.

Answer 1

Si bien cada función puede no tener un retorno explícito, tendrá una implícita, es decir None, que por cierto es un objeto Python normal. Además, las funciones a menudo return None explícitamente.

Supongo que devolver None implícitamente es solo una optimización fácil de usar.

P.S. Me pregunto lo que usted propone compilar haría en el caso siguiente:

def t(): 
    if True: 
     return 'ham' 

P.P.S.return declaración indica que algo necesita para ser devuelto, ya sea None, 42 o 'spam'. Algunas funciones, sin embargo, realmente no devuelven nada, como list.sort o __init__, por lo tanto, sería una sobrecarga para requerir una declaración return None al final de cada __init__.

Answer 2

Es precioso ...

Devuelve None en el caso en val != 0 que para mí tiene sentido.

Python 2.6.1 (r261:67515, Jun 18 2009, 17:24:16) 
[GCC 3.3.3 (SuSE Linux)] on linux2 
Type "help", "copyright", "credits" or "license" for more information. 
>>> def test(val): 
...  if 0 == val: 
...   return 8 
... 
>>> a = test(8) 
>>> print a 
None 
>>> print test(0) 
8 
>>> 

¿Tiene algún argumento sobre por qué cree que el comportamiento es incorrecto?

Puede usar C++ si necesita una comprobación de tipo de tiempo de compilación fuerte, pero para python parece extremadamente flexible y supongo que eso es lo que quiere cuando selecciona python para su tarea.

Answer 3

Heh. Desde la perspectiva de Java, su pregunta es obvia. Debería arrojar un error.

Pero si se llega desde una perspectiva de Perl, no es nada obvio. Estás configurando una variable sin valor, gran cosa.

Todo se basa en la mecanografía. Al igual que Java, Python es strongly typed, pero a diferencia de Java, también es dynamically typed. La mayoría de los lenguajes de tipo dinámico permiten engaños como este.

Answer 4

Python nunca verifica si hay mala conducta humana. La filosofía del lenguaje es suponer que los programadores son adultos crecidos y saben lo que están haciendo.

desde:

• Python es un lenguaje autodocumented, por lo que sabe en un abrir y cerrar lo que devuelve una función;
• Python utiliza el tipado de pato, por lo que obtener None de forma predeterminada puede facilitar mucho la llamada a la función dinámica.

Devolución Ninguno tiene más sentido que el de generar un error.

por ejemplo:

function_stack = [func1, func2, FUNC3]

for f in function_stack : 
    a = f() 
    if a is not None : 
     # do something 

No importa si f es f() es una función o un procedimiento. No existe tal cosa en Python. Puede aplicar toda la función y procesar la salida si hay alguna.

Answer 5

¿Qué compilador? El compilador de códigos de bytes verifica la sintaxis de su código en la importación, pero la sintaxis no incluye "verificar todas las rutas para una devolución". Entonces cuando se llama a test() en el tiempo de ejecución, y el valor de x no es 0 y simplemente caemos fuera de la función, ¿qué deberíamos hacer? que hacemos? devuelve 0? ¿Por qué no -1, o "", o -infinity? Por lo tanto, siempre se debe devolver un buen valor neutral en ausencia de una declaración de devolución explícita, y ese valor es Ninguno. Esta es una característica estándar del lenguaje: ¡bienvenido a Python!

Answer 6

Es por el dynamic typing.

No tiene que hacer la distinción entre, por ejemplo, el procedimiento y la función de turbo pascal. Todos son función, devuelven None por defecto, lo que es lógicamente correcto. Si no dice nada, no devuelve nada, None.

Espero que tenga más sentido ahora-