Я не знаю ни одного для GCC, но Linux использует встроенный GCC *1003*, чтобы сделать их макрос ARRAY_SIZE()
более безопасным (это приведет к разрыву сборки при применении к указателю):
/* &a[0] degrades to a pointer: a different type from an array */
#define __must_be_array(a) \
BUILD_BUG_ON_ZERO(__builtin_types_compatible_p(typeof(a), typeof(&a[0])))
#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]) + __must_be_array(arr))
Примечание. Я думаю, что макрос BUILD_BUG_ON_ZERO()
имеет неверное имя (он вызывает ошибку сборки, если выражение равно , а не ноль и возвращает 0
в противном случае):
/* Force a compilation error if condition is true, but also produce a
result (of value 0 and type size_t), so the expression can be used
e.g. in a structure initializer (or where-ever else comma expressions
aren't permitted). */
#define BUILD_BUG_ON_ZERO(e) (sizeof(struct { int:-!!(e); }))
Я думаю, что присвоение имени этому макросу происходит из рассмотрения его в двух частях: BUILD_BUG_ON
- это то, что делает макрос, когда выражение истинно, и ZERO
- это значение, возвращаемое макросом.(если нет разрыва сборки).