Perché il prototipo e la definizione di una funzione in C possono differire?

Question

Mi chiedo perché questo compilerà:

int test(); 

int main() { return test((void*)0x1234); } 
int test(void* data) { return 0; } 

Perché non sarà il compilatore emetterà alcun errore/avvertimento riguardo che (ho provato clang, gcc)? Se cambio il valore di ritorno non verrà compilato, ma gli argomenti potrebbero differire ?!

Answer 1

Se si cambia:

int test(); 

a:

int test(void); 

otterrete l'errore previsto:

foo.c:4: error: conflicting types for ‘test’ 
foo.c:1: error: previous declaration of ‘test’ was here 

Questo perché int test(); dichiara semplicemente una funzione che prende eventuali parametri (ed è quindi compatibile con la successiva definizione di test), mentre int test(void); è un prototipo di funzione reale che dichiara una funzione che prende non parametri (e che è non compatibile con la definizione successiva).

Answer 2

int test(); 

in una dichiarazione di funzione, nessun parametro indica che la funzione accetta un numero non specificato di argomenti.

Questo è diverso

int test(void); 

che significa che la funzione richiede alcun argomento.

Una dichiarazione di funzione senza parametro è il vecchio stile C di dichiarazione di funzione; C segna questo stile come obsoleto e scoraggia il suo uso. In breve, non usarlo.

Nel tuo caso, è necessario utilizzare una dichiarazione di funzione con la dichiarazione parametro corretto:

int test(void *data);