检测不匹配的数组< - >枚举初始值设定项

使用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编译器诊断出来.

原文地址：https://www.jb51.cc/c/112406.html