C语言LLVM编译环境下嵌套数组初始化结果异常问题

核心问题是C语言不支持数组直接作为值进行初始化赋值，你书写的初始化代码本身不符合C语言标准要求，属于未定义行为，因此不同编译器的处理结果存在差异：

• 在C语言的语法规则中，数组名在绝大多数上下文（包括作为初始化列表元素时）都会发生隐式转换，变为指向数组首元素的指针。你代码第8行中的sa1、sa2、sa3实际传入初始化列表的是三个bool*类型的指针值，而非数组本身的内容。
• 你定义的sa是元素类型为bool[2]的数组，用指针值初始化数组类型的元素时，编译器会将指针的二进制值按字节拆分后依次填入sa对应行的bool元素中：
  • 指针本身为非空地址，转bool值对应true
  • 不同平台指针长度、大小端规则、变量内存布局都有差异，因此拆分出来的后续bool值完全无确定规则，这就是你看到sa内容不符合预期的根源。

你提到的手动内联初始化，实际是书写了符合C标准的嵌套初始化列表：

bool sa[3][2] = {{true, false}, {false, false}, {false, false}};

这种写法直接给sa每个子数组的每个元素赋值，没有涉及数组到指针的隐式转换，属于合法的初始化语法，GCC会按预期处理。你看到LLVM处理复合字面量内联依旧不符合预期，本质是你用的复合字面量写法可能依旧触发了未定义行为，只有完全展开的嵌套初始化列表是标准认可的写法。

如果你需要复用sa1、sa2、sa3的内容初始化sa，可以选以下任意一种方案：

• 方案1：定义宏复用初始化值，编译期完成初始化

  #define SA1_INIT {true, false}
  #define SA2_INIT {false, false}
  #define SA3_INIT {false, false}
  
  bool sa1[2] = SA1_INIT;
  bool sa2[2] = SA2_INIT;
  bool sa3[2] = SA3_INIT;
  bool sa[3][2] = {SA1_INIT, SA2_INIT, SA3_INIT};
  

• 方案2：运行时通过memcpy拷贝数组内容

  #include <string.h>
  bool sa1[2] = {true, false};
  bool sa2[2] = {false, false};
  bool sa3[2] = {false, false};
  bool sa[3][2];
  
  int main() {
      memcpy(sa[0], sa1, sizeof(sa1));
      memcpy(sa[1], sa2, sizeof(sa2));
      memcpy(sa[2], sa3, sizeof(sa3));
  }
  

内容的提问来源于stack exchange，提问作者Ivan Perez