C不透明指针：struct Foo数组定义与前向声明的差异及cbindgen问题

除了C代码可直接访问foo._data之外，这种生成方式还会引发以下几个关键问题：

• 破坏不透明结构体的核心设计目标
  不透明结构体的本质是隐藏内部实现细节，保证Rust侧后续修改结构体布局时，不会破坏C端的ABI兼容性。但生成包含uint8_t _data[0]的完整结构体定义后，C代码会依赖这个公开的布局——哪怕只是个空数组。后续如果Rust侧调整结构体（比如替换占位符为实际字段、修改对齐方式），C端代码会因为内存布局不匹配直接出现崩溃、内存损坏等未定义行为。

• 0长度数组的跨编译器兼容性问题
  C标准并未定义0长度数组的行为，这属于GCC等编译器的非标准扩展。像MSVC这类编译器对0长度数组的支持有限，甚至会直接抛出编译错误，导致生成的头文件无法在这类编译环境下正常使用，大幅降低了跨平台兼容性。

• 结构体大小与对齐的误导性
  在支持0长度数组的编译器中，struct Foo的sizeof结果为0（或部分编译器处理为1），但这完全不符合Rust不透明结构体的实际意图——后续Rust侧可能会给Foo添加实际字段，使其拥有真实的大小和对齐要求。C代码如果依赖sizeof(Foo)进行内存分配（比如malloc(sizeof(Foo))）、指针偏移计算等操作，会直接导致内存分配不足、指针越界等严重问题。

• 可能引发非法的结构体实例化
  正常的不透明结构体（前向声明）只能通过指针（Foo*）操作，C代码无法直接声明Foo类型的栈变量。但生成完整定义后，C代码可能会尝试直接声明Foo foo;，而0长度数组的结构体在栈上实例化可能触发编译器警告，甚至因为某些编译器的特殊处理引发未定义行为；如果后续Rust侧给Foo添加了实际字段，这种栈实例化还会直接导致栈溢出。

内容的提问来源于stack exchange，提问作者Shane Bishop