C/C++ 中定义的具有灵活数组成员的结构体的用法在哪里？标准？

Question

如果我有这样的代码

struct s { int x; char b[]; };

int main() {
    struct s s[10];
}

并使用“gcc -O2 -W -Wall -pedantic”进行编译，那么我得到：

<source>:4:14: warning: invalid use of structure with flexible array member [-Wpedantic]
    4 |     struct s s[10];
      |              ^

gcc 是完全正确的。具有灵活数组成员的结构不能这样工作。

C/C++ 标准中的什么地方定义了这个？

Answer 1

在 C 语言中，它是 §6.7.2.1，第 3 段：

结构或联合不得包含不完整或函数类型的成员，...除非具有多个命名成员的结构的最后一个成员可能具有不完整的数组类型；这样的结构（以及可能递归地包含属于此类结构的成员的任何联合）不应是结构的成员或数组的元素。

正如 @phuclv 在 注释，C++没有这个功能。