使用C进行嵌入式编程时,我发现自己多次使用枚举和数组进行映射,因为它们速度快,内存效率高.
enum {
ID_DOG = 0,ID_SPIDER,ID_WORM,ID_COUNT
};
int const NumberOfEyes[ID_COUNT] = {
2,8,0
};
问题是,有时在添加/删除项目时,我会犯错,枚举和数组不同步.如果初始化列表太长,编译器将检测它,但不是其他方式.
那么可靠和可移植的编译时检查初始化列表是否与数组的长度匹配？
解决方法
如下所示的编译时断言怎么样？ (是的,有更复杂的CT_ASSERT宏;这是为了说明这个想法.)
#define CT_ASSERT(expr,name) typedef char name[(expr)?1:-1]
enum {
ID_DOG = 0,ID_COUNT
};
int const NumberOfEyes[] = {
2,0
};
CT_ASSERT (sizeof NumberOfEyes/sizeof *NumberOfEyes == ID_COUNT,foo);
现在当NumberOfEyes数组的元素多于或少于ID_COUNT时,这将导致x.c：15出错：错误：数组’foo’的大小为负数.负数组维度是一种约束违规,必须由任何C编译器诊断出来.
