6

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

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

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

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

4

2 回答 2

9

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

动物.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
};

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

于 2012-05-04T10:18:37.510 回答
3

像下面这样的编译时断言呢？（是的，有更精细的 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 编译器诊断。

于 2012-05-05T20:16:53.320 回答