Składnia funkcji C, typy parametrów zadeklarowane po liście parametrów

Question

Jestem względnie nowy dla C. Znalazłem formę składni funkcji, której nigdy wcześniej nie widziałem, gdzie typy parametrów są zdefiniowane po tej liście parametrów. Czy ktoś może mi wyjaśnić, jak to się różni od typowej składni funkcji C?

Przykład:

int main (argc, argv) 
int argc; 
char *argv[]; 
{ 
return(0); 
} 

Answer 1

To składnia starym stylu dla list parametrów, które nadal są obsługiwane. W K & R C można również pominąć deklaracje typu i domyślnie int. tj.

main(argc, argv) 
char *argv[]; 
{ 
    return 0; 
} 

będzie taką samą funkcją.

Answer 2

Nie ma różnicy, po prostu jest to stara składnia deklaracji funkcji w C - była używana przed ANSI. Nigdy nie pisz tego kodu, chyba że masz zamiar dać go znajomym z lat 80.. Ponadto, nigdy nie zależy od domyślnych założeń typu (jak sugeruje inna odpowiedź)

Answer 3

To jest to samo, ale stare podejście. Prawdopodobnie znalazłeś jakiś stary, starszy kod.

Answer 4

Podczas gdy stara składnia definicji funkcji nadal działa (z ostrzeżeniami, jeśli pytasz swojego kompilatora), używanie ich nie zapewnia prototypów funkcji.
Bez prototypów funkcji kompilator nie sprawdza, czy funkcje są poprawnie wywoływane.

#include <stdio.h> 
int foo(c) 
int c; 
{ return printf("%d\n", c); } 

int bar(x) 
double x; 
{ return printf("%f\n", x); } 

int main(void) 
{ 
    foo(42); /* ok */ 
    bar(42); /* oops ... 42 here is an `int`, but `bar()` "expects" a `double` */ 
    return 0; 
} 

Gdy program jest uruchomiony, wyjście na moim komputerze jest

$ gcc proto.c 
$ gcc -Wstrict-prototypes proto.c 
proto.c:4: warning: function declaration isn’t a prototype 
proto.c:10: warning: function declaration isn’t a prototype 
$ ./a.out 
42 
0.000000 

Answer 5

Jest to tak rozmówcy K & R Style lub starym stylu deklaracja.

Należy zauważyć, że ta deklaracja jest znacząco inna niż nowoczesna deklaracja. K & Deklaracja R nie wprowadza do funkcji prototypu, co oznacza, że ​​nie wystawia ona typów parametrów na kod zewnętrzny.

Answer 6

Co równie interesująca jest różnica w wywoływaniu funkcji i funkcji bez prototypu. Rozważmy starą definicję styl:

void f(a) 
float a; { 
/* ... */ 
} 

w tym przypadku konwencja powołaniem jest to, że wszystkie argumenty są promowane przed przekazany do funkcji. Jeśli więc f odbiera double, ale parametr ma typ float (który jest całkowicie poprawny), kompilator musi emitować kod, który konwertuje double do float przed wykonaniem treści funkcji.

Jeśli dołączyć prototyp, kompilator nie wykonuje już takich automatycznych promocji, a wszelkie przekazane dane są konwertowane na typy parametrów prototypu, jak przy przydziale.Więc dodaje nie jest legalne i wyniki w niezdefiniowanej zachowań:

void f(float a); 
void f(a) 
    float a; { 

} 

W tym przypadku definicja danej funkcji byłoby przekształcić przekazany parametr z double (forma promocji) do float ponieważ definicja jest w starym stylu. Ale parametr został przesłany jako float, ponieważ funkcja ma prototyp. Opcje rozwiązywania sprzeczności są dwa następujące:

// option 1 
void f(double a); 
void f(a) 
    float a; { 

} 

// option 2 
// this declaration can be put in a header, but is redundant in this case, 
// since the definition exposes a prototype already if both appear in a 
// translation unit prior to the call. 
void f(float a); 

void f(float a) { 

} 

Opcja 2 powinny być preferowane, jeśli masz wybór, ponieważ pozbywa definicji starym stylu z przodu. Jeśli takie sprzeczne typy funkcji dla funkcji pojawiają się w tej samej jednostce tłumaczeniowej, kompilator zwykle powie ci (ale nie jest to wymagane). Jeśli takie sprzeczności pojawią się w wielu jednostkach tłumaczeniowych, błąd prawdopodobnie pozostanie niezauważony i może spowodować trudne do przewidzenia błędy. Najlepiej unikać tych starych definicji stylu.