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

使用C进行嵌入式编程时，我发现自己多次使用枚举和数组进行映射，因为它们快速且内存效率高。

enum { ID_DOG = 0, ID_SPIDER, ID_WORM, ID_COUNT }; int const NumberOfEyes[ID_COUNT] = { 2, 8, 0 }; 

问题是，有时在添加/删除项目时，我会犯错，枚举和数组不同步。 如果初始化列表太长，编译器将检测它，但不是其他方式。

那么有可靠和可移植的编译时检查初始化列表是否与数组的长度匹配？

Answer 1

如下所示的编译时断言怎么样？ （是的，有更复杂的CT_ASSERT宏;这是为了说明这个想法。）

 #define CT_ASSERT(expr, name) typedef char name[(expr)?1:-1] enum { ID_DOG = 0, ID_SPIDER, ID_WORM, ID_COUNT }; int const NumberOfEyes[] = { 2, 8, 0 }; CT_ASSERT (sizeof NumberOfEyes/sizeof *NumberOfEyes == ID_COUNT, foo); 

现在当NumberOfEyes数组的元素多于或少于ID_COUNT ，这将导致xc:15: error: size of array 'foo' is negative 。 负数组维度是一种约束违规，必须由任何C编译器诊断出来。

Answer 2

这可能是可以应用X宏的情况。

animals.x

 X(DOG, 2) X(SPIDER, 8) X(WORM, 0) 

foo.c的

 enum { #define X(a,b) ID_##a, #include "animals.x" #undef X }; int const numberOfEyes[] = { #define X(a,b) b, #include "animals.x" #undef X }; 

这不仅保证了长度匹配，而且保证订单始终保持同步。