请问 C 中的空数组怎么理解？

[wangxn]

比如这个程序：

#include <stdio.h>

struct sdshdr {
    long len;
    long free;
    char buf[];
};

int main(void) {
    char buf[];
    printf("%d %d %d\n", sizeof(buf), sizeof(long), sizeof(struct sdshdr));
    return 0;
}

sdshdr中的buf是合法的，但main中的buf却不是合法的。请问怎么理解呢？有哪里可以看到相关的语法说明呢？ 谢谢！

[lawlielt]

main 中变量声明会分配内存的 你这怎么分配？ struct 只是一个结构

[suikator]

struct 中 buf 执行默认初始化， mian 中 buf 不执行初始化，没初始化自然不合法。

[wangxn]

@lawlielt 虽然是这个道理，但感觉挺奇怪的。

[krizex]

你的例子里面 struct 中的 buf 指向 free 之后开始的内存，是一种方便的用法，省的你用 sdshdr*(0)->free + sizeof(sdshdr*(0)->free)来找到这个地址了。

[krizex]

struct sdshdr {
long len;
long free;
char buf[];
};
中的 buf 本身不占内存，在可变长度的 struct 中，这个是个常见的用法。

[zts1993]

redis sds 嘿嘿嘿

[wangxn]

@krizex 多谢详细讲解。这种 C 的惯用法确实很巧妙。

[wangxn]

@zts1993 厉害，一眼就看出了出处。

[HarveyDent]

这个东西应该是叫变长数组吧。搜一下就晓得了

[rushcheyo]

这叫位域……没有人知道它的学名吗？这不是 “惯用法” 而是标准规定的正常语法。

[jccg90]

@rushcheyo 怎么我搜到的位域不是这个样子的

[wangxn]

@rushcheyo 这个不是位域……
```C
// 位域示例
struct sdshdr {
long len:2;
long free:6;
char buf[];
};
```

[Zirconi]

https://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html#Zero-Length
C99 中称为 flexible array

[shimanooo]

auto p = malloc(sizeof(struct sdshdr) + variable_length)
p->buf[index_within_variable_length]

效果就是省一次 malloc ？代价是只能有一个变长数组，且必须放在末尾。

[wangxn]

@Zirconi 谢谢，终于找到了正规的语法说明！

[redsonic]

exploit 中这种写法很常见，可能 hacker 们都比较懒。

[nicevar]

看文档抽象，会汇编的话，直接 gcc -S 输出汇编代码，把 struct 的 char buf[]改成 char *buf 对照一下就好理解了，你会看到往寄存器 mov 的时候，前者不占空间

[wangxn]

@nicevar 这个和字符指针还是有区别的。这种方式不会额外占空间，但用字符指针的话却是实实在在多 4/8 字节的。

[wangxn]

@wangxn 糟糕，我理解错了，那位朋友的说法和我的一样，抱歉。

[zhicheng]

既不神奇，也不巧妙。不是变长数组，更不是位域。只是指向结构体末尾的指针。这种结构体不能直接定义变量使用，只能强转或动态内存。用不好有安全隐患，在数据库和服务器编程里经常这么用，解析磁盘文件和协议比较省事，因为通常二进制协议设计的时候数据包开始会有一个长度，后面紧跟着数据。