Я відносно новачок у C. Я натрапив на синтаксис функції, якого я ніколи раніше не бачив, де типи параметрів визначаються після цього списку параметрів. Хтось може пояснити мені, чим він відрізняється від типового синтаксису функції C?
Приклад:
int main (argc, argv)
int argc;
char *argv[];
{
return(0);
}
Відповіді:
Це синтаксис старого стилю для списків параметрів, який досі підтримується. У K&R C ви також можете залишити оголошення про типи, і вони за замовчуванням будуть int. тобто
main(argc, argv)
char *argv[];
{
return 0;
}
буде такою ж функцією.
int, і тому повинні бути оголошені явно.
Що цікаво, так це різниця між умовами викликів функцій з та без прототипу. Розглянемо старе визначення стилю:
void f(a)
float a; {
/* ... */
}
У цьому випадку умова виклику полягає в тому, що всі аргументи просуваються перед передачею функції (наприклад, floatаргумент спочатку підвищується до double, перед передачею). Отже, якщо fотримує а, doubleале параметр має тип float(що цілком дійсний), компілятор повинен видавати код, який перетворює подвійний у плаваючий перед виконанням тіла функції.
Якщо ви включите прототип, компілятор більше не робить таких автоматичних рекламних акцій, і будь-які передані дані перетворюються у типи параметрів прототипу, як за призначенням. Отже, наступне не є законним і спричиняє невизначену поведінку:
void f(float a);
void f(a)
float a; {
}
У цьому випадку визначення функції перетворить надісланий параметр із double(рекламованої форми) у, floatоскільки визначення є старим стилем. Але параметр подано як плаваючий, оскільки функція має прототип. Наприклад, дзвін дає
main.c: 3: 9: попередження: підвищений тип "подвійний" параметра функції K&R не сумісний з типом параметра "float", оголошеним у попередньому прототипі [-Wknr-promoted-parameter]
Варіанти вирішення суперечностей:
// 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) {
}
Варіант 2 слід віддавати перевагу, якщо у вас є вибір, оскільки він позбавляється від попереднього визначення старого стилю. Якщо такі суперечливі типи функцій для функції з'являються в одній і тій же одиниці перекладу, компілятор зазвичай повідомляє про це (але це не потрібно). Якщо подібні суперечності виникають у кількох одиницях перекладу, помилка, можливо, залишиться непоміченою і може призвести до важко передбачуваних помилок. Краще уникати цих визначень старого стилю.
Ніякої різниці немає, це просто те, що це старий синтаксис для оголошень функцій в C - він використовувався до ANSI. Ніколи не пишіть такий код, якщо не плануєте передати його своїм друзям із 80-х . Крім того, ніколи не залежать від неявних припущень типу (як, схоже, пропонує інша відповідь)
Хоча старий синтаксис для визначення функції все ще працює (із попередженнями, якщо ви запитаєте свого компілятора), їх використання не надає прототипів функцій.
Без прототипів функцій компілятор не перевірить, чи правильно викликані функції.
#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;
}
Коли програма запущена, результат на моїй машині є
$ 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
Старий чи ні, я б сперечався, що є старим, а що нат .. як піраміди давні, але жоден із сучасних так званих вчених не здогадується, як вони там робили. Озираючись назад, старі програми все ще працюють і сьогодні без витоків пам'яті, але ці "нові" програми, як правило, виходять з ладу частіше. Тут я бачу тенденцію.
Можливо, вони розглядали функції як структури, що мають виконуваний корпус. Для розгадки таємниці тут потрібні знання АСМ.
Редагувати, знайшов макрос, який вказує, що вам зовсім не потрібно вводити імена аргументів.
#ifndef OF /* function prototypes */
# ifdef STDC
# define OF(args) args
# else
# define OF(args) ()
# endif
#endif
#ifndef Z_ARG /* function prototypes for stdarg */
# if defined(STDC) || defined(Z_HAVE_STDARG_H)
# define Z_ARG(args) args
# else
# define Z_ARG(args) ()
# endif
#endif
Ось приклад використання, бібліотека - zlib-1.2.11 .
ZEXTERN int ZEXPORT deflate OF((z_streamp strm, int flush));
Отже, моє друге припущення стосується перевантаження функції, інакше ці аргументи не мали б ніякої користі. Одна конкретна функція, і тепер нескінченна кількість функцій з однойменною назвою.