En C, la declaración de una función con una lista de parámetros vacía le indica al compilador que los parámetros se definirán más tarde:
#include <stdio.h>
void f(); // DECLARAMOS una función con un número aún indeterminado de parámetros.
int main(void)
{
f(1, 2, 3); // Llamamos a la función, aún sin definir, con tres parámetros.
return 0;
}
void f(int x, int y, int z) // DEFINIMOS la función para recibir tres parámetros.
{
printf("{%d, %d, %d}", x, y, z);
}
O eso es lo que yo creía, en realidad parece que el compilador no hace ninguna comprobación de los parámetros una vez declarada la función, ya que esto también funciona:
#include <stdio.h>
void f(); // DECLARAMOS una función con un número aún indeterminado de parámetros.
int main(void)
{
f(1, 2, 3); // Llamamos a la función, aún sin definir, con tres parámetros.
f(1, 2); // Llamamos a la función, aún sin definir, con dos parámetros.
f(1); // Llamamos a la función, aún sin definir, con un parámetro.
f(); // Llamamos a la función, aún sin definir, sin parámetros.
f(1, 2, 3, 4, 5, 6, 7, 8, 9, 0); // Llamamos a la función con diez parámetros!!
return 0;
}
void f(int x, int y, int z) // DEFINIMOS la función para recibir tres parámetros.
{
printf("{%d, %d, %d}", x, y, z);
}
No sólo no da ningún error de compilación, si no que compila sin alarmas y se ejecuta asignando valores indeterminados a las variables no facilitadas e ignorando las variables pasadas de más. ¿Qué es lo que está pasando? ¿No debería el compilador comparar la llamada a la función con la definición de la función y provocar error de compilación?
C
te acepta todo.Notas
de aquí y aquí.