richiamare una funzione senza discutere, anche se ha bisogno di una [K & R-C]

Question

E 'K & R-C ed ecco il codice: http://v6shell.org/history/if.c

sguardo al principale metodo. C'è questa riga "if (exp())".

Ma la funzione exp è dichiarata come: exp (s). Quindi ha bisogno di una discussione.

Perché funziona? E perché lo faresti?

Answer 1

In definitiva, si tratta di un bug nel comando di supporto shell V6 di Unix, if.

Il codice per la funzione è:

exp(s) { 
    int p1; 

    p1 = e1(); 
    if (eq(nxtarg(), "-o")) return(p1 | exp()); 
    ap--; 
    return(p1); 
} 

Il parametro funzione s, implicitamente di tipo int (come la funzione iteself), è in realtà non utilizzato nella funzione, quindi il baco è la presenza di s , non l'assenza di un argomento nelle chiamate a exp(). Tutte le chiamate con zero argomenti reali sono corrette.

Answer 2

Questo perché in c

Il compilatore non sarà in grado di eseguire in fase di compilazione dei tipi di argomento e arity quando la funzione viene applicata ad alcuni argomenti. Ciò può causare problemi

chiama una funzione non dichiarato è lo stile povero di C (Vedere questo) e illegale in C++

per esempio-

#include<stdio.h> 

void f(int x); 

int main() 
{ 
    f(); /* Poor style in C, invalid in C++*/ 
    getchar(); 
    return 0; 
} 

void f(int x) 
{ 
    printf("%d", x); 
} 

Questo programma funziona, ma non dovrebbe essere utilizzato.Vedere questo collegamento Wiki per ulteriori informazioni.

Answer 3

Se si guarda la definizione:

exp(s) { 
    int p1; 

    p1 = e1(); 

    if (eq(nxtarg(), "-o")) return(p1 | exp()); 
     ap--; 

    return(p1); 
} 

1. s non viene utilizzato
2. C non richiede la compilazione tipo di tempo controllo. Non richiede nemmeno che i parametri di funzione siano controllati. Tutto è a/serie di byte

Perché C non esegue nessuno di questi controlli? Da quello che ho sentito è che durante i primi anni di C i computer erano piuttosto deboli. Effettuare tali controlli richiederebbe più passaggi per eseguire la scansione del codice sorgente, il che sostanzialmente aumenta il tempo di compilazione di una quantità di n passaggi. Quindi esegue solo un passaggio e prende ogni nome così com'è, motivo per cui l'overloading delle funzioni non è supportato

Quindi, se le definizioni hanno fatto uso di s in qualche modo, molto probabilmente otterresti un errore di runtime orribile con meravigliose uscite sulla console