结构体数组成员初始化错误原因、正确语法及类型疑问解答

报错原因 #

原代码的初始化语句struct a a = {.b = &c};存在类型不匹配问题：

• &c的类型是int (*)[4]（指向长度为4的int数组的指针）
• a.b是int[4]类型的数组，数组初始化需要的是元素值列表或兼容的数组类型，无法直接用指向数组的指针赋值，因此编译器会抛出类型不兼容的错误。

正确初始化语法 #

因为结构体声明不可修改，a.b是数组（而非指针），无法让它指向c的内存，只能通过值拷贝完成初始化：

• 直接列出元素值：

struct a a = {.b = {c[0], c[1], c[2], c[3]}};

• 用C99复合字面量简化（本质还是值拷贝）：

struct a a = {.b = (int[4]){c[0], c[1], c[2], c[3]}};

类型疑问解答 #

首先明确：a.b的实际类型是int[4]（数组类型），并非int。你产生误解的原因是数组名的隐式转换规则：
在绝大多数表达式场景中，数组名会自动转换为指向其第一个元素的指针（即int*），但有两个关键例外：

1. 当数组名作为sizeof的操作数时，sizeof(a.b)返回整个数组的字节大小（4 * sizeof(int)），此时数组名保持原数组类型。
2. 当数组名作为&的操作数时，&a.b得到的是指向整个数组的指针（int (*)[4]），同样不发生转换。

如果看到int类型，大概率是你访问了数组的单个元素（比如a.b[0]），单个元素的类型是int，但数组本身的类型始终是int[4]。

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