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

Question

#ifndef MACROS_NULLCHECK_H_ 
#define MACROS_NULLCHECK_H_ 

#include <assert.h> 

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

#endif 

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

Answer 1

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

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

  #define NULLCHECK (х) утверждают ((х)! = (пустота *) 0)

Answer 2

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

Answer 3

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

#endif // MACROS_NULLCHECK_H_ 

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

Answer 4

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

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

Это происходит потому, что если вы не то какое-либо выражения (а не простые переменных), которые вы передаете in может испортить переменное расширение.

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

NULLCHECK(pSomething); 

который только выглядит более C-подобный & в соответствии с остальной части вашего кода.

Answer 5

Некоторые хорошие макро практики от CERT C Secure Coding Wiki:

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

Answer 6

Для исполнения ; используйте

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