解引用含柔性数组成员（FAM）的结构体指针不会复制柔性数组成员？

当你解引用带柔性数组成员（FAM）的结构体指针并赋值给一个结构体变量时，确实只会复制结构体的"头部"固定部分，柔性数组的内容不会被复制，而且这种操作还暗藏风险，我们来一步步拆解原因：

1. 柔性数组成员的本质 #

在C标准中，柔性数组成员（比如你的uint32_t data[]）是一种特殊语法：

• sizeof(array_t)只会计算结构体固定成员的大小（包括为内存对齐而填充的字节），柔性数组成员本身不占结构体的静态大小。在你的代码里，array_t的大小是sizeof(uint8_t)加上对齐到uint32_t所需的3字节填充，总共4字节。
• 你用aligned_alloc分配的x_bdim大小内存，是结构体头部 + 柔性数组元素的总大小，柔性数组的内容紧跟在结构体头部的内存后面。

2. 结构体赋值的局限性 #

当你执行array_t x = *_x;时，这是结构体赋值操作，C语言会严格按照结构体的静态大小（也就是sizeof(array_t)）来复制数据：

• 只有_x指向内存的前4字节（结构体头部）会被复制到栈上的x变量中。
• 栈上的x变量根本没有预留柔性数组的空间，所以你后续执行x.data[0x0] = 0x11111111;属于栈内存越界访问，是未定义行为——这可能会破坏栈上的其他变量、导致程序崩溃，甚至引发安全问题。

3. 正确的操作方式 #

如果你需要访问或复制整个带柔性数组的结构体实例，应该：

• 直接通过指针操作：像你代码里的_x->idim、_x->data[i]这样，直接使用指针访问整个分配的内存块，这是最安全的方式。
• 手动复制整个内存块：如果需要创建副本，不要用结构体赋值，而是用memcpy复制你分配的全部内存：

  // 创建一个和_x同大小的副本
  array_t* x_copy = aligned_alloc(0x1000, x_bdim);
  memcpy(x_copy, _x, x_bdim);
  

总结 #

你的判断完全正确：解引用带柔性数组成员的结构体指针并赋值给结构体变量，只能获取到结构体的头部部分，无法得到柔性数组的数据，还会带来未定义行为的风险。因此，我们确实应该避免这种操作，改用指针直接访问或手动复制整个内存块的方式来处理带柔性数组成员的结构体。

内容的提问来源于stack exchange，提问作者étale-cohomology