C语言结构体位段特性实现断言宏

关于位段的特性这里就不多说了，多去看看相应的C语言书籍都会有介绍了。

今天来介绍断言宏。什么是断言宏？断言宏可以认为是校验数据范围的有效性的一个宏的实现。我们来看看代码：

#include <stdio.h>
//结构体位段
#define      CHECK(x)           sizeof(struct {unsigned:(-!!(x));})
//检查常量是否在一定范围之内，如果不在范围之内，则编译报错
//比如定义一个0到1000的范围，如果传入的xxx小于0或者大于1000，则编译器发现会报错
#define      DEFI(a , xxx)      a = CHECK(xxx<0) + CHECK(xxx>1000) + xxx
int main(void)
{
	int a ;
	DEFI(a , 2000) ;
	printf("a:%d \n" , a);
	return 0 ;
}

运行结果：

编译报错，因为2000不0~1000的范围内：

如果我们改成一个合法的数据范围，比如改成1000，我们来看看结果：

#include <stdio.h>
//结构体位段
#define      CHECK(x)           sizeof(struct {unsigned:(-!!(x));})
//检查常量是否在一定范围之内，如果不在范围之内，则编译报错
//比如定义一个0到1000的范围，如果传入的xxx小于0或者大于1000，则编译器会发现报错
#define      DEFI(a , xxx)      a = CHECK(xxx<0) + CHECK(xxx>1000) + xxx
int main(void)
{
	int a ;
	DEFI(a , 1000) ;
	printf("a:%d \n" , a);
	return 0 ;
}

运行结果：

这种方式可以用在嵌入式项目的开发上，提醒自己时刻注意数据类型的范围，我觉得这是一种非常好的编程辅助检查手段。