关于C#：为什么使用灵活的数组成员进行的结构初始化无效，但对于固定大小的数组成员却有效？

Why is this initialization of a structure with a flexible array member invalid but valid with an fixed size array member?

C标准状态(强调我的意思)：

21 EXAMPLE 2 After the declaration:

1
struct s { int n; double d[]; };

the structure struct s has a flexible array member d. [...]

22 Following the above declaration:

1
2
3
4
struct s t1 = { 0 }; // valid
struct s t2 = { 1, { 4.2 }}; // invalid
t1.n = 4; // valid
t1.d[0] = 4.2; // might be undefined behavior

The initialization of t2 is invalid (and violates a constraint) because struct s is treated as if it did not contain member d.

Source: C18, ?§6.7.2.1/20 + /21

我不理解"的解释，因为struct s被视为不包含成员d "

如果我使用{ 1, { 4.2 }};的初始化程序，则{ 4.2 }部分将初始化灵活数组成员；否则，不执行任何操作。
确切地说，是将柔性数组成员初始化为由一个元素组成，然后将该元素初始化为值4.2，因此将stuct s视为具有成员d的成员？

在我眼里这句话毫无意义。

为什么标准会说{ 4.2 }不会初始化/表示灵活数组成员，因此该结构将被视为没有成员d？

如果我使用固定大小的数组，此表示法将起作用并初始化成员，而不会产生任何抱怨：

1
2
3
4
5
6
7
8
9

struct foo {
int x;
double y[1];
};

int main (void)
{
struct foo a = { 1, { 2.3 } };
}

证据

为什么在结构具有柔性数组成员时此初始化无效，而在结构具有固定大小数组成员时有效？

您能详细说明吗？

我读过：

为什么灵活数组成员的静态初始化有效？

和

如何使用灵活的数组成员初始化结构

和

灵活的数组成员会导致未定义的行为吗？

和其他人，但没有一个回答我这句话想解释什么以及为什么这实际上是无效的。

相关讨论

I do not understand the explanation of"because struct s is treated as if it did not contain member d".

C标准还表示：在大多数情况下，都会忽略灵活数组成员。目前尚不清楚为什么您不明白这是什么意思。如果struct s被声明为struct s { int n; double d[]; };，则在大多数情况下，C实现的行为就好像它被声明为struct s { int n; };。因此，struct s t2 = { 1, { 4.2 }};失败，因为4.2是实际上不存在的某些内容的初始化程序。

问这种情况为什么是明智的。在大多数情况下，我希望编译器可以支持一个定义，其中对数组初始化程序进行计数并用于设置结构大小。当然，编译器使用s int a[] = { 3, 4, 5};这样的数组定义来执行此操作。但是，这不是灵活数组成员的典型用例。通常，程序会接收有关需要在结构中管理多少个元素的信息，为结构分配空间并为包含的那些元素分配空间，然后将结构放入分配的空间中。也就是说，具有灵活数组成员的结构的典型用例是动态分配空间。我希望C委员会几乎不需要要求编译器在静态或自动对象(而不是动态对象)中支持灵活的数组成员。