C语言中将数组初始化列表赋值给int变量的行为疑问

问题结论 #

你给出的代码属于C标准约束下的非法代码，不会出现缓冲区溢出问题，多余的初始化列表元素会被编译器直接丢弃。

具体说明 #

• 按照C语言标准规定，花括号包裹的多元素初始化列表仅允许用于初始化数组、结构体、联合体这类聚合类型。你代码中的a是单个int类型的标量变量，初始化列表最多只能包含1个元素，写3个元素属于违反语法约束的写法。
• 主流编译器（gcc、clang、MSVC）对这类代码的处理逻辑一致：
  • 编译阶段就会抛出「标量初始化列表元素过多」的警告，仅保留第一个元素对a完成赋值，其余元素直接丢弃，不会执行任何内存写入操作，不存在越界写的风险。
  • 如果你开启严格编译规则（比如gcc下加-Werror参数），这段代码会直接报错无法完成编译，根本不会生成可运行的程序。
• 你观测到a始终取第一个元素的表现，就是编译器忽略多余初始化元素后的结果，不需要担心内存溢出问题。

内容的提问来源于stack exchange，提问作者Daniel D.