#define SIZE_OF_ARRAY(_array) (sizeof(_array) / sizeof(_array[0]))

每个人都在使用的宏ARRAYELEMENTCOUNT(x)的计算结果不正确。实际上，这只是一个敏感的问题，因为你不能有导致“数组”类型的表达式。

/* Compile as: CL /P "macro.c" */
# define ARRAYELEMENTCOUNT(x) (sizeof (x) / sizeof (x[0]))

ARRAYELEMENTCOUNT(p + 1);

实际计算结果为:

(sizeof (p + 1) / sizeof (p + 1[0]));

而

/* Compile as: CL /P "macro.c" */
# define ARRAYELEMENTCOUNT(x) (sizeof (x) / sizeof (x)[0])

ARRAYELEMENTCOUNT(p + 1);

它正确地计算为:

(sizeof (p + 1) / sizeof (p + 1)[0]);

这和数组的大小没有太大关系。我刚刚注意到很多错误，因为没有真正观察C预处理器是如何工作的。您总是包装宏参数，而不是可能涉及的表达式。

这是正确的;我的例子很糟糕。但这正是应该发生的。正如我前面提到的，p + 1将以指针类型结束，并使整个宏无效(就像您试图在带有指针形参的函数中使用宏一样)。

在一天结束的时候，在这个特殊的例子中，错误并不重要(所以我只是在浪费大家的时间;Huzzah !)，因为你没有数组类型的表达式。但是我认为关于预处理器评估的微妙之处是很重要的。

最好的方法是保存这些信息，例如，在一个结构中:

typedef struct {
     int *array;
     int elements;
} list_s;

实现所有必要的功能，如创建、销毁、检查是否相等以及其他所有需要的功能。它更容易作为参数传递。

一个更优雅的解决方案是

size_t size = sizeof(a) / sizeof(*a);

注意:正如M.M在评论中指出的那样，这可能会给你未定义的行为。

int a[10];
int size = (*(&a+1)-a);

要了解更多细节，请参见这里和这里。

对于多维数组，它稍微复杂一些。通常人们定义显式宏常量，即。

#define g_rgDialogRows   2
#define g_rgDialogCols   7

static char const* g_rgDialog[g_rgDialogRows][g_rgDialogCols] =
{
    { " ",  " ",    " ",    " 494", " 210", " Generic Sample Dialog", " " },
    { " 1", " 330", " 174", " 88",  " ",    " OK",        " " },
};

但是这些常量也可以在编译时用sizeof求值:

#define rows_of_array(name)       \
    (sizeof(name   ) / sizeof(name[0][0]) / columns_of_array(name))
#define columns_of_array(name)    \
    (sizeof(name[0]) / sizeof(name[0][0]))

static char* g_rgDialog[][7] = { /* ... */ };

assert(   rows_of_array(g_rgDialog) == 2);
assert(columns_of_array(g_rgDialog) == 7);

注意，这段代码可以在C和c++中运行。对于二维以上的数组，请使用

sizeof(name[0][0][0])
sizeof(name[0][0][0][0])

等等，无限。