Función (programación)

Una función en programación , o una subrutina  , es un fragmento de código de programa al que se puede acceder desde otro lugar del programa . En la mayoría de los casos , el identificador está asociado con una función , pero muchos idiomas también permiten funciones sin nombre . La dirección de la primera instrucción ( operador ) incluida en la función, a la que se transfiere el control cuando se llama a la función, está indisolublemente unida al nombre de la función . Después de ejecutar la función, el control vuelve a la dirección de retorno, el punto del programa donde se llamó a la función.

La función puede tomar parámetros y debe devolver algún valor, posiblemente vacío. Las funciones que devuelven un valor vacío a menudo se denominan procedimientos . En algunos lenguajes de programación, las declaraciones de funciones y procedimientos tienen una sintaxis diferente, en particular, se pueden usar diferentes palabras clave.

La función debe estar correctamente declarada y definida . La declaración de la función, además del nombre, contiene una lista de nombres y tipos de parámetros (o: argumentos ), así como el tipo del valor devuelto por la función. Una definición de función contiene el código ejecutable de la función. En algunos lenguajes de programación, la declaración de una función precede inmediatamente a la definición de la función, mientras que en otros lenguajes es necesario declarar primero la función y solo luego traer su definición.

En la programación orientada a objetos , las funciones cuyas declaraciones son parte integral de la definición de una clase se denominan métodos . También en los lenguajes OOP es posible declarar una función abstracta (virtual) sin declarar el cuerpo de la función.

Para utilizar una función previamente definida, es necesario indicar el nombre de la función en el lugar requerido del código del programa y listar los parámetros pasados ​​a la función. Los parámetros que se pasan a una función se pueden pasar tanto por valor como por referencia: se crea una copia local para una variable pasada por valor, y cualquier cambio que ocurra en el cuerpo de la función con la variable pasada, de hecho, ocurre con una copia local y no afecta de ninguna manera a la variable en sí, mientras que los cambios que se producen en el cuerpo de la función en una variable pasada por referencia se producen en la propia variable pasada.

La función define su propio ámbito (local), que incluye parámetros de entrada, así como aquellas variables que se declaran directamente en el cuerpo de la propia función.

Es posible llamar a una función dentro de la función misma: tal llamada de función se llama recursiva , y el proceso de sucesivas llamadas de funciones anidadas se llama recursión . Dado que es necesario recordar (en la pila) la dirección de retorno de la función (y también asignar memoria en la misma pila para parámetros y variables locales que no son dinámicas), la recursividad sin restricciones conduce al desbordamiento de la pila , por lo tanto, en la programación idiomas, se establece un cierto nivel máximo de anidamiento de llamadas recursivas.

Ejemplos de funciones

JavaScript