Объявление функции: K & R vs ANSI

Question

В чем разница между объявлением функции K & и объявлением функции ANSI?

Answer 1

K & Синтаксис R устарел, вы можете пропустить его, если вам не нужно поддерживать очень старый код.

// K&R syntax 
int foo(a, p) 
    int a; 
    char *p; 
{ 
    return 0; 
} 

// ANSI syntax 
int foo(int a, char *p) 
{ 
    return 0; 
} 

Answer 2

Наследие K Заявления/Определения &-Style R

Когда Керниган и Ритчи первым опубликовал "Язык программирования C", C еще не предлагают полные прототипы функций. Передовые декларации функций существуют, но с единственной целью указывать тип возврата. Для возвращаемых функций int они не требовались до C99.

По C89 было добавлено понятие прототипа функции, в котором также указаны типы параметров (и, неявно, их число). Поскольку прототип также является объявлением функции, неофициальный термин «K & R-объявление функции» иногда используется для объявления функции, которое также не является прототипом.

// K&R declarations, we don't know whether these functions have parameters. 
int foo(); // this declaration not strictly necessary until C99, because it returns int 
float bar(); 

// Full prototypes, specifying the number and types of parameters 
int foo(int); 
float bar(int, float); 

// K&R definition of a function 
int foo(a) 
    int a; // parameter types were declared separately 
{ 
    // ... 
    return 0; 
} 

// Modern definition of a function 
float bar(int a, float b) 
{ 
    // ... 
    return 0.0; 
} 

Случайный K & R Декларация

Стоит отметить, что новички в C могут случайно использовать K & декларации R, когда они намерены использовать полный прототип, потому что они не могут понять, что пустой список параметров должен быть указан как void.

Если объявить и определить функцию как

// Accidental K&R declaration 
int baz(); // May be called with any possible set of parameters 

// Definition 
int baz() // No actual parameters means undefined behavior if called with parameters. 
      // Missing "void" in the parameter list of a definition is undesirable but not 
      // strictly an error, no parameters in a definition does mean no parameters; 
      // still, it's better to be in the habit of consistently using "void" for empty 
      // parameter lists in C, so we don't forget when writing prototypes. 
{ 
    // ... 
    return 0; 
} 

... тогда вы на самом деле не дали прототип для функции, которая не принимает никаких параметров, но заявление в K & R-стиле для функции который принимает неизвестное количество параметров неизвестного типа.

AnT отмечает в this answer аналогичный вопрос о том, что этот синтаксис является устаревшим, но все еще законным с C99 (и эта функция указателей на функции с неизвестным числом и типом параметров по-прежнему имеет потенциальные приложения, хотя и с высоким риском неопределенного поведения) ; как таковые, совместимые компиляторы будут, в лучшем случае, вызывать предупреждение, если функция объявлена ​​или вызвана без надлежащего прототипа.

Функции вызова без прототипов менее безопасны, поскольку компилятор не может проверить, правильно ли вы указали правильное количество и типы параметров в правильном порядке; неопределенные результаты поведения, если вызов на самом деле не правильный.

Правильный способ объявить и определить функцию без параметров, конечно:

// Modern declaration of a parameterless function. 
int qux(void); // "void" as a parameter type means there are no parameters. 
       // Without using "void", this would be a K&R declaration. 

// Modern definition of a parameterless function 
int qux(void) 
{ 
    // ... 
    return 0; 
} 

Answer 3

Я просто хочу добавить, что в традиционном K & модификаторов типа R типа для функций, возвращающих int значения Арена» t даже необходимо.

Рассмотрим современные С11 обозначения простой программы HelloWorld:

int main(int argc, char **argv) { 
    printf("hello world\n"); 
    return 0; 
} 

Это эквивалентно K & R стиль обозначения:

main(argc, argv) 
int argc; 
char **argv; 
{ 
printf("hello world\n"); 
return 0; 
} 

Обратите внимание, что int перед тем main() игнорируется, но код все еще компилируется. Это часть определения K & R.

Цитата из Википедии:

В ранних версиях C, только функции, которые вернул не ИНТ нужное значение будет указывать, если используется перед определением функции; предполагается, что функция, используемая без какого-либо предыдущего объявления, возвращает тип int, если его значение было использовано.

--source: https://en.wikipedia.org/wiki/C_(programming_language)#K.26R_C

Это, возможно, является наследием кодирования стиля и его следует избегать из-за проблем ясности, но довольно часто старые алгоритм учебники пользу такого рода K & стиле R.