未命名结构的灵活数组成员

Question

考虑以下示例：

typedef struct test_flex_arr{
    size_t sz;
    struct {
        int i;
        const char *path;
    } info[];
} tfa;

int main(void){
    size_t sz = 100;
    tfa *ptr = malloc(sizeof *ptr + sizeof (*((tfa*) NULL)).info[sz]);
    ptr->info[99].i = 10;
    printf("%d\n", ptr->info[99].i); //prints 10
}

DEMO

我预计这个程序会崩溃，但它运行得很好。如指定6.5.3.4(p2):

sizeof 运算符产生其操作数的大小（以字节为单位），即 可以是表达式或类型的括号名称。尺寸是 由操作数的类型决定。结果是一个整数。 如果 操作数的类型是变长数组类型，操作数 被评估;否则，不计算操作数并且结果 是一个整数常量

sizeof ((*((tfa*) NULL)).info)[sz] 的操作数类型是变长数组，所以应该计算操作数。但是对操作数的评估意味着取消引用NULL，我预计这会导致崩溃。

代码的行为是否定义良好？

Answer 1

(*((tfa*) NULL)).info[sz] 不是变长数组类型，因为(*((tfa*) NULL)).info 不是类型。

所以它把它当作一个普通的表达式，引用数组(*((tfa*) NULL)).info 的sz 元素。根据引用的规范，这不会被评估，因此它取消引用 NULL 的事实不会导致未定义的行为。它只返回数组元素的大小，不依赖于数组的位置或索引。这就是为什么它会在没有警告的情况下编译并且不会崩溃。

但这不会产生预期的结果。您仅获得数组中一个元素的大小，而不是您实际需要为其分配空间的 sz 元素。您需要将元素的大小乘以元素的数量。所以使用

tfa *ptr = malloc(sizeof *ptr + sz * sizeof ptr->info[0]);