Question

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

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

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

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

Answer 1

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

<强> 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编译器诊断出来。

检测不匹配的阵列＆lt; - ＆gt;枚举初始化器

2 个答案: