Function definitions

Una definición de función asocia el cuerpo de la función (una secuencia de declaraciones y sentencias) con el nombre de la función y la lista de parámetros. A diferencia de declaración de función , las definiciones de función solo están permitidas en el ámbito de archivo (no hay funciones anidadas).

C admite dos formas diferentes de definiciones de función:

donde

int max(int a, int b)
{
    return a>b?a:b;
}
double g(void)
{
    return 0.1;
}

int max(a, b)
int a, b;
{
    return a>b?a:b;
}
double g()
{
    return 0.1;
}

Explicación

Al igual que con las declaraciones de funciones , el tipo de retorno de la función, determinado por el especificador de tipo en specifiers-and-qualifiers y posiblemente modificado por el declarator como es habitual en las declaraciones , debe ser un tipo de objeto completo no array o el tipo void . Si el tipo de retorno fuera cvr-cualificado, se ajusta a su versión no cualificada para el propósito de construir el tipo de función.

void f(char *s) { puts(s); } // el tipo de retorno es void
int sum(int a, int b) { return a+b; } // el tipo de retorno es int
int (*foo(const void *p))[3] { // el tipo de retorno es puntero a arreglo de 3 int
    return malloc(sizeof(int[3]));
}

Al igual que con las declaraciones de funciones , los tipos de los parámetros se ajustan de funciones a punteros y de arrays a punteros para construir el tipo de función, y los calificadores cvr de nivel superior de todos los tipos de parámetros se ignoran para determinar el tipo de función compatible .

int f(int, int); // declaración
// int f(int, int) { return 7; } // Error hasta C23, OK desde C23
int f(int a, int b) { return 7; } // definición
int g(void) { return 8; } // OK: void no declara un parámetro

Dentro del cuerpo de la función, cada parámetro con nombre es una expresión lvalue , tienen duración de almacenamiento automática y ámbito de bloque . La disposición de los parámetros en memoria (o si se almacenan en memoria) no está especificada: es parte de la convención de llamada .

int main(int ac, char **av)
{
    ac = 2; // los parámetros son lvalues
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

Consulte function call operator para otros detalles sobre la mecánica de una llamada a función y return para regresar desde funciones.

static const char __func__[] = "function name";

Notas

La lista de argumentos debe estar explícitamente presente en el declarador, no puede heredarse de un typedef

typedef int p(int q, int r); // p es un tipo de función int(int, int)
p f { return q + r; } // Error

max(a, b) // a and b have type int, return type is int
{
    return a>b?a:b;
}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C publicados anteriormente.

Referencias

Véase también