Go 语言中，嵌入类型（embedded type）的字段虽可被派生结构体直接访问，但不能作为字段名出现在结构体字面量中；必须通过显式初始化嵌入类型本身，或先创建实例再赋值。
go 语言中，嵌入类型（embedded type）的字段虽可被派生结构体直接访问，但**不能作为字段名出现在结构体字面量中**；必须通过显式初始化嵌入类型本身，或先创建实例再赋值。
在 Go 的结构体嵌入机制中，嵌入类型（如 Base）的导出字段会被“提升”（promoted）到外层结构体（如 Derived）的作用域中，从而支持 d.Field 这样的直观访问。这极大提升了代码的简洁性与组合性。但需特别注意：这种提升仅作用于字段访问和方法调用，不延伸至结构体字面量（struct literal）的字段初始化语法。
根据 Go 语言规范 明确说明：
Promoted fields act like ordinary fields of a struct except that they cannot be used as field names in composite literals of the struct.
即：提升字段表现得像普通字段，唯独不能在结构体字面量中以字段名形式直接初始化。因此以下写法会编译失败：
d := &Derived{
Field: 10, // ❌ 编译错误：unknown Derived field 'Field' in struct literal
}
因为 Derived 类型自身并未声明名为 Field 的字段——它仅通过嵌入 Base 获得了对该字段的访问能力，而字面量语法要求所有键名必须是结构体直接定义的字段。
✅ 正确的初始化方式有以下两种主流实践：
方式一：以内嵌类型字面量形式初始化（推荐，清晰且一次性）
将 Base 视为一个独立字段（尽管匿名），用其完整字面量初始化：
d := &Derived{
Base: Base{Field: 10}, // ✅ 显式初始化嵌入字段 Base
}
// 或简写为（因 Base 是匿名字段，可省略字段名）：
d := &Derived{
Base{Field: 10}, // ✅ 等价写法，更常见
}
方式二：先构造再赋值（适用于动态/分步初始化场景）
利用零值构造后，通过提升字段名直接赋值：
d := &Derived{} // 创建零值实例
d.Field = 10 // ✅ 合法：Field 是提升字段，可读可写
⚠️ 注意事项：
- 若嵌入类型包含多个字段，方式一仍需完整提供其字面量（如 Base{Field: 10, Name: "test"}），不可只写部分；
- 方式二在并发环境中需注意竞态：若 d 被多 goroutine 共享，d.Field = ... 非原子操作，应配合互斥锁或使用同步原语；
- 嵌入非指针类型（如 Base）时，d.Base.Field 和 d.Field 等价；若嵌入指针（如 *Base），则提升行为相同，但需确保指针非 nil 再访问，否则 panic。
总结：Go 的嵌入设计强调显式优于隐式。字面量禁止直接使用提升字段名，正是为了防止结构体初始化逻辑变得模糊难溯。坚持使用 Base{...} 显式初始化嵌入部分，既能保证编译通过，又使依赖关系一目了然，符合 Go 的工程化哲学。
