声明零大小的矢量
以下是什么意思?
struct foo { ... char bar[0]; // Zero size??? };
我问我的同事,他们告诉我这与编写void* bar
。
据我所知,C指针只是一个4字节变量(至少在32位机器上)。 编译器如何知道bar [0]是一个指针(因此长4个字节)? 这只是语法糖吗?
你的同事撒了谎。 (可能不是故意的,但不要对他们或任何事情生气。)
这称为灵活的数组成员,在C99中写为char bar[];
,在C89中写成了char bar[1];
,有些编译器会让你写成char bar[0];
。 基本上,您只使用指向结构的指针,并在结尾处分配额外的空间:
const size_t i = sizeof("Hello, world!"); struct foo *p = malloc(offsetof(struct foo, bar) + i); memcpy(p->bar, "Hello, world!", i); // initialize other members of p printf("%s\n", p->bar);
这样, p->bar
存储一个字符串,其大小不受数组声明的限制,但仍然在与struct
的其余部分相同的分配中完成(而不是需要成员为char *
并且需要两个malloc
s和两个free
s来设置它)。
克里斯的回答是正确的,但我可能会略微区别对象。
int n = ...; // number of elements you want struct foo *p = malloc(offsetof(struct foo, bar[n]));
然后迭代它
for (int i = 0; i < n; ++i) { p->bar[i] = ...; }
关键点在于Chris的回答是自sizeof(char)==1
起作用的,但对于另一种类型,你必须明确地乘以sizeof *bar
。
这应该是编译时错误! 只能为动态分配的数组分配0大小。
还将通过指针访问数组(索引是隐式指针)。 所以我怀疑,如果他们告诉你,这将被解释为指针。 因为它是一个零长度数组,它可能会指向下一个值(我希望在该结构中有一些东西?)。
这是怀疑,而不是知识。 🙂
这不是你怎么做的事情……如果他们想要一个指针,他们应该使用一个指针。 如果他们不能告诉你为什么它在那里它不应该。