C: эффективное использование макросов

Question

#ifndef MACROS_NULLCHECK_H_
#define MACROS_NULLCHECK_H_

#include <assert.h>

#define NULLCHECK(x) assert(x != (void *) 0);

#endif

Если бы я использовал вышеуказанный стиль в качестве шаблона для объявления макросов, какие бы у вас были условия?

Answer 1

• поставить круглые скобки вокруг аргумента (это предотвращает проблемы при передаче выражений)

• не ставь; в конце (использование будет более естественным)

  # определить NULLCHECK (x) подтвердить ((x)! = (Void *) 0)

Answer 2

Вообще говоря, в расширении всегда следует указывать аргументы макроса в скобках, т. Е. В вашем случае

assert((x) != (void*) 0)

Это потому, что если вы этого не сделаете, то любые выражения (а не простые переменные), которые вы передаете, могут испортить расширение переменной.

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

NULLCHECK(pSomething);

, который выглядит более похожим на C и совместимым с остальным кодом.

Answer 3

Одно изменение, которое я мог бы сделать, это прокомментировать закрытие #endif:

#endif  // MACROS_NULLCHECK_H_

Это упрощает понимание того, что делает #endif, когда файл становится длиннее экрана.

Answer 4

Некоторые полезные макросы из CERT C Secure Coding Wiki :

PRE00-C. Предпочитаю встроенные или статические функции функциональным макросам
PRE01-С. Используйте скобки в макросах вокруг имен параметров
PRE02-С. Списки замены макросов должны быть заключены в скобки
PRE03-С. Предпочитаю typedefs определению для типов кодирования
PRE10-С. Обернуть несколько операторов макросов в цикл do-while
PRE11-С. Не завершайте определение макроса одного оператора точкой с запятой
PRE31-С. Никогда не вызывайте небезопасный макрос с аргументами, содержащими присваивание, увеличение, уменьшение, изменчивый доступ или вызов функции
PRE32-С. Не используйте директивы препроцессора внутри аргументов макроса

Answer 5

Чтобы применить ;, используйте

#define NULLCHECK(x) do { assert((X)); } while (0)

Answer 6

выглядит хорошо. Это шаблон, который я часто использую.