Firma tipográfica

En C, la firma del método es el nombre del método y el número y tipo de sus parámetros, pero es posible tener parámetros variádicos , aunque estos no son seguros en cuanto a tipos.

int printf ( const char * fmt , ...);

La manipulación de estos parámetros se puede realizar utilizando las rutinas del archivo de cabecera de la biblioteca estándar <stdarg.h>.

En C++, además de que el tipo de retorno de la función al estilo C aparezca antes, el tipo de retorno también puede aparecer después de la lista de parámetros, lo que se conoce como tipo de retorno final . La diferencia es solo sintáctica; en ambos casos, la firma resultante es idéntica.

Si se utilizan plantillas variádicas :

void hacerAlgo ( auto && ... args );

Nota: es equivalente a .voiddoSomething(auto...args);template<typename...Ts>voiddoSomething(Ts...args);

De forma similar a la sintaxis de C, las firmas de métodos en C# se componen de un nombre y el número y tipo de sus parámetros, donde el último parámetro puede ser una matriz de valores: ^{[ 5 ]}

void Add ( out int sum , params int [] value ); [...] Add ( out sum , 3 , 5 , 7 , 11 , - 1 ); // sum == 25

En Java , la firma de un método se compone de su nombre y el número, tipo y orden de sus parámetros. Los tipos de retorno y las excepciones lanzadas no se consideran parte de la firma del método, al igual que los nombres de los parámetros; el compilador los ignora para verificar la unicidad del método.

Las firmas de los métodos ayudan a distinguir los métodos sobrecargados (métodos con el mismo nombre) en una clase. Los tipos de retorno no se incluyen en la sobrecarga. Solo se deben usar las firmas de los métodos para distinguir los métodos sobrecargados. ^{[ 6 ]}

Por ejemplo, los dos métodos siguientes tienen firmas diferentes:

void hacerAlgo ( String [] x ); // hacerAlgo(String[]) void hacerAlgo ( String x ); // hacerAlgo(String)

Los dos métodos siguientes tienen la misma firma:

int hacerAlgo ( int x ); // hacerAlgo(int) void hacerAlgo ( int y ) throws Exception ; // hacerAlgo(int)

En Java, los parámetros variádicos se representan con puntos suspensivos en el último parámetro. Estos se comportan de forma idéntica a un array, pero en el código de bytes de la JVM el método se marca como variádico.

void hacerAlgo ( String ... x ); // equivalente a hacerAlgo(String[])

En Julia , las firmas de las funciones adoptan la siguiente forma:

comisión ( venta :: Int , tasa :: Float64 ) :: Float64

Los tipos de los argumentos se utilizan para el despacho múltiple . El tipo de retorno se valida cuando la función devuelve un valor, y se genera una excepción en tiempo de ejecución si el tipo del valor no coincide con el tipo especificado.

Se permiten y se recomiendan los tipos abstractos para implementar comportamientos generales comunes a todos los subtipos. Por lo tanto, la función anterior se puede reescribir de la siguiente manera. En este caso, la función puede aceptar cualquier subtipo Integer y Real, según corresponda.

comisión ( venta :: Entero , tasa :: Real ) :: Real

Los tipos son completamente opcionales en los argumentos de las funciones. Cuando no se especifican, equivalen a usar el tipo Any, que es el supertipo de todos los tipos. Es habitual especificar los tipos de argumentos, pero no el tipo de retorno.

En el lenguaje de programación Objective-C , las firmas de los métodos para un objeto se declaran en el archivo de cabecera de la interfaz . Por ejemplo,

- ( id ) initWithInt: ( int ) valor ;

define un método initWithIntque devuelve un objeto general (un id) y toma un argumento entero. Objective-C solo requiere que un tipo en una firma sea explícito cuando el tipo no es id; esta firma es equivalente:

- initWithInt: ( int ) valor ;

En Rust , las firmas de las funciones adoptan la siguiente forma:

fn comisión ( venta : u32 , tasa : f64 ) -> f64 ;