c - 如何测试位域大小

Question

为了在嵌入式 C 项目中节省空间，我使用位字段来索引一些小数组。因为位域大小必须是常量，这意味着定义两个相互依赖的常量，如果其中一个或另一个独立更改，则相应的错误可能性。

我正在寻找一种使用预处理器来检查定义的位域大小是否足够大以包含数组大小的方法。这应该会产生编译错误。

Answer 1

使用预处理器常量来定义位域大小(可能有一种方法可以在不这样做的情况下实现编译时断言，但我不会立即想到它)。

#define WIDGET_COUNT_BITS 5
#define WIDGET_MAX ((size_t)(1 << WIDGET_COUNT_BITS - 1))
struct widget_list {
    unsigned count : WIDGET_COUNT_BITS;
};

如果数组大小由预处理器常量定义，您可以使用预处理器来获取错误消息。

#define FROBNICATOR_WIDGET_COUNT 42
#if FROBNICATOR_WIDGET_COUNT > WIDGET_MAX
#error "Too many widgets in the frobnicator module"
#endif
widget_t widgets[FROBNICATOR_WIDGET_COUNT];

否则，如果您想要基于 sizeof 值的编译时错误，一个经典的技巧是构建一个数组类型，如果数组大小为 0，大多数编译器会拒绝该类型。参见 Static assert in C . C11 introduces _Static_assert，但编译器支持尚未普及。