在 go 语言中，当结构体 b 嵌入结构体 a 时，不能直接在 b 的字面量初始化中为嵌入字段（如 a_field）赋值；必须显式通过嵌入类型名（如 a: a{...}）进行初始化，否则编译失败。
在 go 语言中，当结构体 b 嵌入结构体 a 时，不能直接在 b 的字面量初始化中为嵌入字段（如 a_field）赋值；必须显式通过嵌入类型名（如 a: a{...}）进行初始化，否则编译失败。
Go 的结构体嵌入（embedding）是一种实现组合与方法提升的核心机制，但它对字段初始化有明确的语法规则。理解这些规则对写出健壮、可维护的代码至关重要。
为什么 b.A_FIELD = "..." 可行，而字面量中直接写 A_FIELD: "..." 报错？
关键在于 初始化上下文 的差异：
在结构体字面量（struct literal）中，Go 要求所有字段必须以 显式字段名或嵌入类型名 形式出现。嵌入的匿名字段（如 A）虽允许其字段被“提升”到外层作用域（即支持 b.A_FIELD 访问），但不支持在字面量中跳过嵌入类型名直接初始化其字段。编译器会将其视为未声明的字段，从而报错：unknown field A_FIELD in struct literal。
而在运行时赋值（如 b.A_FIELD = "..."）中，Go 编译器会自动将该访问重写为 b.A.A_FIELD —— 这是嵌入机制提供的语法糖，仅适用于访问/赋值语句，不适用于结构体字面量初始化。
正确的初始化方式（修复第一种写法）
需显式指定嵌入结构体 A 的初始化块：
type A struct {
A_FIELD string
}
type B struct {
A
B_FIELD string
}
func main() {
b := &B{
A: A{ // ✅ 显式提供嵌入类型 A 的初始化
A_FIELD: "aaaa_field",
},
B_FIELD: "bbbb_field", // ✅ 普通字段直接初始化
}
fmt.Printf("A_FIELD=%s, B_FIELD=%s\n", b.A_FIELD, b.B_FIELD) // 输出：A_FIELD=aaaa_field, B_FIELD=bbbb_field
}? 提示：若 A 是指针嵌入（*A），则应写为 A: &A{A_FIELD: "..."}。
补充：命名嵌入 vs 匿名嵌入
虽然问题中使用的是匿名嵌入（A），但若你显式命名嵌入字段（如 a A），则必须始终通过 b.a.A_FIELD 访问，且字面量中也必须写 a: A{...} —— 此时不再有字段提升，语法更严格但语义更清晰。
注意事项总结
- ❌ 禁止在 struct literal 中直接写 A_FIELD: "..." 初始化嵌入字段；
- ✅ 必须使用 嵌入类型名: {字段初始化} 形式（如 A: A{A_FIELD: "..."}）；
- ✅ 运行时赋值 b.A_FIELD = ... 始终合法（由编译器自动解引用）；
- ? 嵌入不是继承，不涉及类型转换或覆盖；它纯粹是字段和方法的“提升”与“组合”；
- ? 官方权威参考：Effective Go — Embedding
掌握这一细节，能避免大量编译错误，并写出更符合 Go 惯用法的清晰结构体组合代码。
