sizeof 滥用：获取 const 表的大小

Question

声明 const 表时，可以使用 sizeof 获取表的大小。然而， 一旦停止使用符号名称，它就不再起作用。有没有办法让以下程序输出表 A 的正确大小，而不是 0 ？

#include <stdio.h>

struct mystruct {
    int a;
    short b;
};

const struct mystruct tableA[] ={
    { 
        .a = 1,
        .b = 2,
    },
    { 
        .a = 2,
        .b = 2,
    },
    { 
        .a = 3,
        .b = 2,
    },
};

const struct mystruct tableB[] ={
    { 
        .a = 1,
        .b = 2,
    },
    { 
        .a = 2,
        .b = 2,
    },
};


int main(int argc, char * argv[]) {
    int tbl_sz;
    const struct mystruct * table;

    table = tableA;
    tbl_sz = sizeof(table)/sizeof(struct mystruct);
    printf("size of table A : %d\n", tbl_sz);

    table = tableB;
    tbl_sz = sizeof(tableB)/sizeof(struct mystruct);
    printf("size of table B : %d\n", tbl_sz);

    return 0;
}

输出是：

size of table A : 0
size of table B : 2

这是 sizeof 的预期行为。但是，如果给定指向表的指针而不是符号名称，编译器是否有办法知道 const 表的大小？

Answer 1

您要求的是指针的大小。这始终是指针大小（即，在 32 位机器上通常为 4 字节，在 64 位机器上通常为 8 字节）。在第二次尝试中，您询问数组的大小，因此您得到了预期的结果。

Answer 2

有没有办法让编译器知道 const 表的大小，给定指向表的指针而不是符号名称？

不，因为 sizeof() 是在编译时计算的（除非它是 VLA，但 VLA 不是常量表），并且编译器通常无法判断指针是哪个表指向。诚然，在所示的场景中，在 C 语言的某些假设变体中这可能是可能的，但这意味着 sizeof() 返回的内容的定义不同，这将是一个比得不到您可能喜欢但不想要的答案更大的问题得到。

因此，正如其他人巧妙指出的那样，当您获取指针的大小时，您就得到了指针的大小。假设是标准 32 位机器，由于结果与该假设一致，因此您的结构体是 8 字节，指针是 4 字节，因此除法的结果为零，正如预期的那样。

Answer 3

不 - 您需要的是 sizeof() 一个指针。但是由于您真正想要获取的是数组中的元素数量，因此您可以使用一个宏来返回该值，但如果您传递指针而不是数组，通常会给您一个错误：

#define COUNT_OF(x) ((sizeof(x)/sizeof(0[x])) / ((size_t)(!(sizeof(x) % sizeof(0[x])))))

请参阅此答案有关更多详细信息： C 中是否有一个标准函数可以返回数组的长度？

对于使用 C++ 而不是 C 时更安全的解决方案，请参阅此 SO 答案，它使用模板来确保尝试获取指针上的数组计数总是会生成错误： 不使用宏编译时sizeof_array

Answer 4

简短的回答是否定的；如果您拥有的只是一个指针，那么就没有（标准）方法来获取通过该指针所指向的对象的大小。

Answer 5

尽管语法正确，但您的示例更传统地写为：

const struct mystruct tableA[] = {
    {1, 2},
    {2, 2},
    {3, 3}, 
};

不太冗长，因此更具可读性。