TLDR: Eso es comportamiento indefinido.
Puedes ir a wg14.link y verificarlo con los otros estándares, yo usare C99.
Primero que nada, definamos lo que es un prototipo de funcion:
6.2.1 al final del párrafo 2
A function prototype is a declaration of a function that declares the types of its parameters.
Ahora vamos al Anexo J, y veamos lo que tiene que decir sobre lo que estas haciendo:
The behavior is undefined in the following circumstances:
[...]
For a call to a function without a function prototype in scope, the number of arguments does not equal the number of parameters (6.5.2.2).
En este caso:
void f();
No es un prototipo de función, ya que según el estándar:
6.7.5.3 al final del párrafo 14
The empty list in a function declarator that is not part of a definition of that function specifies that no information about the number or types of the parameters is supplied.
No estas declarando los tipos de los parámetros (De hecho no das ninguna información sobre ellos). Así que esto no cuenta como un prototipo de función.
Así que las siguientes llamadas:
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!!
Son comportamiento indefinido, ya que f
no tiene un prototipo, y la cantidad
de argumentos con la que la llamas no coincide con la cantidad de parámetros
con la que la defines.
¿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?
Al ser comportamiento indefinido, todo puede pasar. En este caso parece que los compiladores prefieren darte algo que corra, en lugar de informarte de lo que estas haciendo mal.
En este caso, para que el compilador te de un aviso de los errores que estas
cometiendo, puedes habilitar: -Wstrict-prototypes -Wmissing-prototypes
. Estos
no te explican que estas incurriendo en comportamiento indefinido, pero es lo
mas cercano que pude encontrar.
Y con respecto a esto:
[...] No debería el compilador comparar la llamada a la función con la definición de la función [...]?
Parece ser que clang
si lo hace. Se ves el assembler generado para la llamada
con parametros de mas:
; Elimina los parametros que no se usaran
mov edi, 1
mov esi, 2
mov edx, 3
call f
Comparado con gcc
, que cuando tenias parámetros de mas lo lleno como si la
funcion los aceptara todos:
mov r9d, 6
mov r8d, 5
mov ecx, 4
mov edx, 3
mov esi, 2
mov edi, 1
mov eax, 0
call f
Pero no te preocupes, ya que según el estándar:
6.11.6
The use of function declarators with empty parentheses (not prototype-format parameter type declarators) is an obsolescent feature.
Ya que se esta volviendo obsoleta, supongo que en un futuro se removerá.