Skip to main content
2 de 4
se eliminaron 11 caracteres en el cuerpo
Pablochaches
  • 2.5k
  • 1
  • 8
  • 21

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

Link a godbolt.

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á.

Pablochaches
  • 2.5k
  • 1
  • 8
  • 21