Parámetro (programación informática)

En programación informática , un parámetro , o argumento formal , es una variable que representa un argumento para una llamada a función . ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} La firma de una función define sus parámetros. Una llamada implica evaluar cada expresión de argumento de una llamada y asociar el resultado con el parámetro correspondiente.

Por ejemplo, considere la función de Python

def add ( x : int , y : int ) -> int : return x + y

Las variables xy yson parámetros, cada uno de tipo int. Para la llamada add(2, 3), las expresiones 2y 3son argumentos. Para la llamada add(a + 1, b + 2), los argumentos son a + 1y b+2.

El paso de parámetros viene definido por el lenguaje de programación. La estrategia de evaluación define la semántica de cómo se pueden declarar los parámetros y cómo se pasan los argumentos a una función. Generalmente, con el paso por valor , un parámetro actúa como una nueva variable local inicializada con el valor del argumento. Si el argumento es una variable, la función no puede modificar su estado porque el parámetro es una copia. Con el paso por referencia , que requiere que el argumento sea una variable, el parámetro es un alias del argumento.

El siguiente código fuente en C define una función llamada con un parámetro llamado ; tanto la función como el parámetro son de tipo . Para la llamada , el argumento se pasa a la función como el valor double 10 y se asigna a la variable de parámetro , y la función devuelve 0.5.salesTaxpricedoublesalesTax(10.00)10.00price

doble impuesto sobre las ventas ( doble precio ) { devolver 0,05 * precio ; }

Los términos parámetro y argumento pueden tener diferentes significados en distintos lenguajes de programación. A veces se usan indistintamente, y el contexto es lo que distingue su significado. El término parámetro (a veces llamado parámetro formal ) se usa a menudo para referirse a la variable tal como se encuentra en la declaración de la función , mientras que argumento (a veces llamado parámetro real ) se refiere a la entrada real proporcionada en una instrucción de llamada a la función. Por ejemplo, si se define una función como def f(x): ..., entonces xes el parámetro, y si se llama por , a = ...; f(a)entonces aes el argumento. Un parámetro es una variable (no ligada), mientras que el argumento puede ser un literal o una variable o una expresión más compleja que involucre literales y variables. En el caso de paso por valor, lo que se pasa a la función es el valor del argumento (por ejemplo, f(2)y a = 2; f(a)son llamadas equivalentes), mientras que en el paso por referencia, con una variable como argumento, lo que se pasa es una referencia a esa variable, aunque la sintaxis para la llamada a la función podría permanecer igual. ^{[ 5 ]} La especificación para paso por referencia o paso por valor se haría en la declaración y/o definición de la función.

Los parámetros aparecen en las definiciones de procedimientos; los argumentos aparecen en las llamadas a procedimientos. En la definición de la función, f(x) = x * xla variable xes un parámetro; en la llamada a la función, f(2)el valor 2 es el argumento de la función. En términos generales, un parámetro es un tipo y un argumento es una instancia.

Un parámetro es una propiedad intrínseca del procedimiento, incluida en su definición. Por ejemplo, en muchos lenguajes, un procedimiento para sumar dos números enteros y calcular la suma requeriría dos parámetros, uno para cada número. En general, un procedimiento puede definirse con cualquier número de parámetros, o sin ninguno. Si un procedimiento tiene parámetros, la parte de su definición que los especifica se denomina lista de parámetros .

Por el contrario, los argumentos son las expresiones ^{[ 6 ]} que se proporcionan al procedimiento cuando se llama, generalmente una expresión que coincide con uno de los parámetros. A diferencia de los parámetros, que forman una parte inmutable de la definición del procedimiento, los argumentos pueden variar de una llamada a otra. Cada vez que se llama a un procedimiento, la parte de la llamada al procedimiento que especifica los argumentos se denomina lista de argumentos .

Aunque los parámetros también se denominan comúnmente argumentos, a veces se considera que estos son los valores o referencias asignados a las variables de los parámetros cuando se llama a la función en tiempo de ejecución . Al hablar del código que llama a una función, cualquier valor o referencia que se le pase son los argumentos, y el lugar del código donde se proporcionan estos valores o referencias es la lista de parámetros . Al hablar del código dentro de la definición de la función, las variables en la lista de parámetros de la función son los parámetros, mientras que los valores de los parámetros en tiempo de ejecución son los argumentos.

Consideremos la siguiente función en Csum , , que tiene dos parámetros, ay b. Esta función suma los valores pasados ​​a los parámetros y devuelve el resultado a quien la llama.

int suma ( int a , int b ) { return a + b ; }

A continuación se muestra un ejemplo de llamada sum. Las variables xy yse inicializan y luego se pasan sumcomo argumentos. En tiempo de ejecución, los valores asignados a estas variables se pasan a sum. En sum, los parámetros ay bse evalúan, obteniendo los argumentos 40y 2, respectivamente. Los valores de los argumentos se suman y el resultado se devuelve a quien realizó la llamada, donde se asigna a la variable result.

int x = 40 ; int y = 2 ; int resultado = suma ( x , y );

Debido a la diferencia entre parámetros y argumentos, es posible proporcionar argumentos inapropiados a un procedimiento. La llamada puede proporcionar demasiados o muy pocos argumentos, uno o más de ellos pueden ser de un tipo incorrecto, o pueden proporcionarse en el orden incorrecto. Cualquiera de estas situaciones provoca una discrepancia entre las listas de parámetros y argumentos, y el procedimiento a menudo devolverá una respuesta no deseada o generará un error en tiempo de ejecución .

suma ( a : ENTERO ; b : ENTERO ): ENTERO hacer Resultado := a + b fin

resultado : ENTERO x : ENTERO = 40 y : ENTERO = 2 … resultado := suma ( x , y )

clase HASH_TABLE [ G , K -> HASHABLE ] …

mi_diccionario : HASH_TABLE [ CADENA , CADENA ]

En los lenguajes de programación fuertemente tipados , el tipo de cada parámetro debe especificarse en la declaración del procedimiento. Los lenguajes que utilizan inferencia de tipos intentan descubrir los tipos automáticamente a partir del cuerpo y el uso de la función. Los lenguajes de programación de tipado dinámico posponen la resolución de tipos hasta el tiempo de ejecución. Los lenguajes de tipado débil realizan poca o ninguna resolución de tipos, confiando en cambio en el programador para la corrección.

Algunos lenguajes utilizan una palabra clave especial (por ejemplo, void) para indicar que la función no tiene parámetros; en la teoría formal de tipos , dichas funciones toman una lista de parámetros vacía (cuyo tipo no es void, sino unit ).

El mecanismo para asignar argumentos a los parámetros, denominado paso de argumentos , depende de la estrategia de evaluación utilizada para ese parámetro (normalmente paso por valor ), que puede especificarse mediante palabras clave.

function doc ( $g = 1 . 21 ) { "$g gigavatios? $g gigavatios? ¡Santo cielo!" }

PD > ¿ Documento 1,21 gigavatios? ¿1,21 gigavatios? ¡Santo cielo!PD > ¿ Documento 88 ? ¿88 gigavatios? ¡Santo cielo!

función marty { $args | para cada { "volver al año $_" } }

PD > Marty 1985 regresa al año 1985PD > marty 2015 1985 1955 volver al año 2015 volver al año 1985 volver al año 1955

función jennifer ( $adjectiveYoung , $adjectiveOld ) { "Jennifer joven: ¡Soy $adjectiveYoung!" "Jennifer mayor: ¡Soy $adjectiveOld!" }

PS > Jennifer 'fresca' 'experimentada' Jennifer joven: ¡Soy fresca! Jennifer mayor: ¡Soy experimentada!PS > Jennifer -adjetivoVieja 'experimentada' -adjetivoJoven 'fresca' Joven Jennifer: ¡Soy fresca! Vieja Jennifer: ¡Soy experimentada!

Un parámetro de salida , también conocido como parámetro de salida o parámetro de retorno , es un parámetro utilizado para la salida, en lugar del uso más habitual para la entrada. El uso de parámetros por referencia , o parámetros por valor donde el valor es una referencia, como parámetros de salida es un modismo en algunos lenguajes, especialmente C y C++, ^{[ a ]} mientras que otros lenguajes tienen soporte integrado para parámetros de salida. Los lenguajes con soporte integrado para parámetros de salida incluyen Ada ^{[ 11 ]} (ver subprogramas de Ada ), Fortran (desde Fortran 90 ; ver "intent" de Fortran ), varias extensiones procedimentales de SQL , como PL/SQL (ver funciones de PL/SQL ) ^{[ 12 ]} y Transact-SQL , C# ^{[ 13 ]} y .NET Framework , ^{[ 14 ]} Swift , ^{[ 15 ]} y el lenguaje de scripting TScript (ver declaraciones de funciones de TScript ).

Aquí tienes un ejemplo de un "parámetro de salida" en C++:

// Definición de una función con un parámetro de salida void sum ( int x , int y , int & out ) { out = x + y ; }// Uso: int foo = 1 ; int bar = 2 ; int baz ; sum ( foo , bar , baz );

La función no devolverá nada, pero el valor x + yse asignará a la variable a la que se pasa una referenciaout como .

Más precisamente, se pueden distinguir tres tipos de parámetros o modos de parámetros :parámetros de entrada s,parámetros de salidayParámetros de entrada/salida ;estos se suelen denotar comoin,out, yin outoinout. Un argumento de entrada (el argumento de un parámetro de entrada) debe ser un valor, como una variable inicializada o un literal, y no debe ser redefinido ni asignado. Un argumento de salida debe ser una variable asignable, pero no necesita estar inicializada, cualquier valor existente no es accesible y debe tener un valor asignado. Un argumento de entrada/salida debe ser una variable inicializada y asignable, y opcionalmente puede tener un valor asignado. Los requisitos exactos y su aplicación varían entre lenguajes; por ejemplo, enAda 83los parámetros de salida solo pueden ser asignados, no leídos, incluso después de la asignación (esto se eliminó enAda 95para eliminar la necesidad de una variable acumuladora auxiliar). Estos son análogos a la noción de unvaloren una expresión como un rvalue (tiene un valor), un lvalue (puede ser asignado) o un rvalue/lvalue (tiene un valor y puede ser asignado), respectivamente, aunque estos términos tienen significados especializados en C y C++.

En algunos casos, solo se distingue entre entrada y entrada/salida, considerando la salida un uso específico de entrada/salida; en otros casos, solo se admite entrada y salida (pero no entrada/salida). El modo predeterminado varía según el lenguaje: en Fortran 90, la entrada/salida es la predeterminada, mientras que en C# y las extensiones SQL, la entrada es la predeterminada, y en TScript, cada parámetro se especifica explícitamente como entrada o salida.

Sintácticamente, el modo de parámetros se indica generalmente con una palabra clave en la declaración de la función, como en C#. Por convención, los parámetros de salida suelen colocarse al final de la lista de parámetros para distinguirlos claramente, aunque esto no siempre se sigue. TScript utiliza un enfoque diferente, donde en la declaración de la función se enumeran primero los parámetros de entrada y luego los de salida, separados por dos puntos (:), y no hay un tipo de retorno para la función en sí, como en esta función, que calcula el tamaño de un fragmento de texto:voidFn(outintx)

TextExtent ( WString texto , Fuente fuente : Ancho entero , Alto entero )

Los modos de parámetros son una forma de semántica denotacional , que indica la intención del programador y permite a los compiladores detectar errores y aplicar optimizaciones; no implican necesariamente una semántica operacional (cómo se produce realmente el paso de parámetros). Cabe destacar que, si bien los parámetros de entrada pueden implementarse por valor, y los parámetros de salida y de entrada/salida por referencia (y esta es una forma sencilla de implementar estos modos en lenguajes sin soporte integrado), no siempre se implementan de esta manera. Esta distinción se analiza en detalle en la Rationale de Ada '83, que enfatiza que el modo de parámetro se abstrae del mecanismo de paso de parámetros (por referencia o por copia) que se implementa realmente. ^{[ 11 ]} Por ejemplo, mientras que en C# los parámetros de entrada (por defecto, sin palabra clave) se pasan por valor, y los parámetros de salida y de entrada/salida ( outy ref) se pasan por referencia, en PL/SQL los parámetros de entrada ( IN) se pasan por referencia, y los parámetros de salida y de entrada/salida ( OUTy IN OUT) se pasan por valor por defecto y el resultado se copia de vuelta, pero pueden pasarse por referencia utilizando la sugerencia NOCOPYdel compilador . ^{[ 16 ]}

Una construcción sintácticamente similar a la de los parámetros de salida consiste en asignar el valor de retorno a una variable con el mismo nombre que la función. Esto se encuentra en Pascal y Fortran 66 y Fortran 77 , como en este ejemplo de Pascal:

función f ( x , y : entero ) : entero ; inicio f := x + y ; fin ;

Esto es semánticamente diferente, ya que cuando se llama a la función, simplemente se evalúa; no se le pasa una variable desde el ámbito de la llamada para almacenar el resultado.

ancho entero ; alto entero ;f ( x , & ancho , & alto );

public static bool TryParse ( string s , out int result )

usando el sistema ;int resultado ; si ( ! Int32.TryParse ( s , resultado )) { // manejo de excepciones }

MyObject obj = g ( y , f ( x ));

MiObjeto obj ; f ( x , & obj ); g ( y , & obj );

MiObjeto obj ; g ( y , f ( x , & obj ));

def f () -> tupla [ int , int ]: return 1 , 2 a , b = f ()

resultado : str = parse ( s ) si resultado es None : # manejo de excepciones

try : result : str = parse ( s ) except ParseError : # manejo de excepciones

AnchoAlto wh = f ( x );