Який сенс макросу PROTOTYPE, який просто розширюється до своїх аргументів?

Question 1

У мене є файл заголовка, який містить

#define PROTOTYPE(s) s

Який сенс у цьому? Здається, це просто замінило б введення самим собою.

Є безліч інших директив навколо нього, але тільки один , який , як видається , є якийсь - або підшипник тільки що перевірив , якщо він визначений: #ifndef PROTOTYPE. Я знайшов кілька місць в заголовних файлах HDF4 , які роблять це: #define PROTOTYPE. Отже, нічого з цього насправді не прояснює мого питання. Все ще здається досить марним.

Ось як це використовується:

CS_RETCODE clientmsg_callback PROTOTYPE((
CS_CONTEXT * context,
CS_CONNECTION *connection,
CS_CLIENTMSG *clientmsg));

Це частина проекту, який використовує Sybase Open Client. clientmsg_callback пізніше використовується тут:

ct_callback(context, NULL, CS_SET, CS_CLIENTMSG_CB,
                  (CS_VOID *)clientmsg_callback);

Я піду з прикладу програми звідси:

http://infocenter.sybase.com/help/index.jsp?topic=/com.sybase.infocenter.dc35570.1570/html/clcprgde/clcprgde10.htm

clientmsg_callback реалізовано пізніше. Я думаю, що зразок був спочатку написаний з урахуванням C, а не C ++. Можливо, це має щось спільне?

Question 2

Ще в давнину справді, дуже раннього С, не було такого поняття, як прототип. Списки аргументів функції з’являються після дужок функції, наприклад :

square(x)
int x;
{
int y = x * x;
return y;
}

У наші дні, звичайно, аргументи йдуть всередині дужок:

square(int x)
{
int y = x * x;
return y;
}

Зверніть увагу на тип відсутності повернення; Функції C використовувались для неявного повернення int, і лише якщо вам потрібен інший тип повернення, вам потрібно було сказати, що це таке.

Функціональні декларації мали ще один набір правил. Оголошення функції в K&R C (давня версія) не містило аргументів:

int square();

А прототипи функцій в ANSI C мають список аргументів:

int square(int x);

Під час переходу люди використовували шалені макроси, щоб вони могли складати обидва способи:

int square(PROTOTYPE(int x));

С

#define PROTOTYPE(s)

що розшириться до першої версії.

С

#define PROTOTYPE(s) s

він би розширився до другого.

Що стосується "зайвих" дужок у коді у питанні, вони потрібні, коли в списку аргументів є більше одного аргументу. Без них виклик макросу має більше одного аргументу, тому не буде відповідати макросу, визначеному лише одним аргументом:

PROTOTYPE(int x, int y)   // error: too many arguments
PROTOTYPE((int x, int y)) // ok: only one argument (enclosed in parentheses)

Question 3

Такі макроси використовуватимуться у прототипах у заголовковому файлі, щоб дозволити щось подібне:

int foo PROTOTYPE((int bar));

Якщо було виявлено ANSI C ( __STDC__визначено як 1), це розширилося б до:

int foo(int bar);

Якщо ANSI C не виявлено, це розшириться до:

int foo();

що було загальноприйнятим до стандартизації С.

Деякі бібліотеки все ще роблять це; якщо ви заглянете tcpd.h(якщо у вас є), ви побачите:

/* someone else may have defined this */
#undef  __P

/* use prototypes if we have an ANSI C compiler or are using C++ */
#if defined(__STDC__) || defined(__cplusplus)
#define __P(args)       args
#else
#define __P(args)       ()
#endif

Це добре пояснює це.

Що стосується подвійних дужок, __P(arg1, arg2)це дало б синтаксичну помилку (передача занадто багато аргументів макросу), тоді як __P((arg1, arg2))було б добре (лише одна, вкладена в дужки).

Це схоже на __extension__((...))GNU C. У компіляторах, що не є GNU, просто #define __extension__(unused)мати напівпортативний код, оскільки подано лише один "аргумент", загорнутий у дужки.