Tengo un fragmento de código como este:
#include <stdio.h> int add(const int x, const int y); int main() { printf("%d", add(9, 8)); return 0; } int add(int x, int y) { return x + y; } Declaré la función "agregar" con parámetros constantes, después de eso la definí sin el parámetro constante, y cuando la compilo, el compilador no se queja.
El resultado del programa es: 17. ¿Por qué sucede esto?
Bueno, la declaración de la función y la definición de la función tienen que ser compatibles , todos lo sabemos. Entonces, el mismo nombre y el mismo tipo de retorno y tipo de parámetros. Entonces sabemos de C11 6.7.6.3p15 :
Para que dos tipos de funciones sean compatibles, [...] los parámetros correspondientes deberán tener tipos compatibles. [...]
Pero, hay una puerta trasera explícita, más adelante en ese texto:
(En la determinación de la compatibilidad de tipos [...] se considera que cada parámetro declarado con tipo calificado tiene la versión no calificada de su tipo declarado).
El calificador de tipo es, por ejemplo, const . Y se ignora. Puede poner cualquier calificador de tipo y simplemente se ignora al verificar si las declaraciones de función son iguales entre sí.
int func(int n); int func(volatile int n); int func(const int n); int func(const volatile int n); int func(int n) { return n; }