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

Question

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

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

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

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

Answer 1

这可能是可以应用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
};

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

Answer 2

像下面这样的编译时断言怎么样？（是的，还有更详细的 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，这将导致错误x.c:15: error: size of array 'foo' is negative。负数组维度是一种约束违规，任何 C 编译器都必须对其进行诊断。