在C语言中建立表达式时ASSERT表达式的方法

Question

我正在整理一些较旧的代码，这些代码到处都使用“魔术数字”来设置硬件寄存器，并且我想使用常量而不是这些数字来使代码更具表现力（实际上，它们将映射到名称/ values用于记录寄存器）。但是，我担心随着更改量的增加，我可能会破坏魔术数字。这是一个简化的示例（寄存器集更加复杂）：const short mode0 = 0;const short mode1 = 1;const short mode2 = 2;const short state0 = 0;const short state1 = 4;const short state2 = 8;所以代替：set_register(5);我们有：set_register(state1|mode1);我正在寻找的是以下版本的构建时间：ASSERT(5==(state1|mode1));更新资料@Christian，感谢您的快速响应，我也对C /非增强环境的答案感兴趣，因为这是驱动程序/内核代码。

Answer 1

Ralf Holly撰写了一篇文章 ，探讨了C中的静态断言的不同选项。

他提出了三种不同的方法：

开关盒的值必须唯一

数组不能为负数

除以零表示常量表达式

他得出最佳实现的结论是：

#define assert_static(e) \

    do { \

        enum { assert_static__ = 1/(e) }; \

    } while (0)

Answer 2

如果您无权访问第三方库的静态断言函数（如boost），则可以滚动自己的静态断言：

#define STATIC_ASSERT(x) \

    do { \

        const static char dummy[(x)?1:-1] = {0};\

    } while(0)

不利的一面是，错误消息当然不会很有帮助，但至少会给您行号。