Respondiendo a la pregunta que pusiste en el título: sí, las funciones siempre retornan algo aún cuando no pongas un return
explícito. En ese caso retornan el valor especial None
. Pero esto no explica por qué funciona tu código.
Lo que ocurre en tu caso es que estás pasando como último parámetro a la función una lista, y dentro de la función modificas los elementos de la lista (mediante append()
). Por eso al retorno la lista que recibe el programa principal resulta modificada.
Puedes usar la web pythontutor.com para visualizar la ejecución de un programa sencillo y entenderlo, como por ejemplo este:
1 def modificar(lista):
2 lista.append(1)
3 lista.append(2)
4
5
6 def main():
7 data = [100]
8 modificar(data)
9
10 main()
Cuando la línea 7 crea una lista con el número 100, la variable data
es una referencia que apunta al lugar de la memoria donde se halla esa lista. Cuando invocas modificar(data)
estás pasando esa referencia. La variable lista
dentro de la función modificar()
, "apunta" a la misma lista a la que apuntaba data
, como se ve en este paso de la ejecución:
A partir de aquí, todo lo que la función haga para modificar esa lista (añadir, quitar o reasignar elementos) sucede sobre la única lista que hay, que en este momento tiene dos referencias apuntando a ella: lista
y data
:
Cuando la función está a punto de retornar, la situación es esta:
Aunque el valor retornado será None
, la lista original ha sido modificada.
Una vez la función retorna, la referencia llamada lista
desaparece, y sólo queda la referencia data
, apuntando a la lista ya modificada:
Por cierto que cuando main
retorne, la referencia data
también desaparecerá. La lista con los números 100, 1 y 2 quedará "sin referencias" y el recolector de basura de Python la borrará de la memoria.