具有灵活数组成员的结构的大小

Question

给予

struct Foo {
    uint32_t a;
    uint32_t b[];
};

什么是sizeof（Foo）？它是实现定义的还是未定义的行为？C和C的答案不同吗？

Answer 1

编译器将忽略柔性数组成员，因为它不存在。

C11-§6.7。2.1（第18页）

[...]在大多数情况下，柔性阵列部件被忽略。特别地，结构的尺寸就好像柔性阵列构件被省略了一样，除了它可能具有比省略所暗示的更多的尾随填充[...]。

另外，直到C14，柔性阵列成员才是C标准的一部分。但是，GNU支持将其作为扩展。C和C的行为相似。