![Go语言中 []*T 切片可直接用 T{...} 字面量初始化的原理详解](https://img.php.cn/upload/article/001/246/273/178564999425495.jpg)
Go语言允许在 []*T 类型的切片字面量中直接使用 T{...} 结构体字面量（无需显式取地址），这是由复合字面量规则定义的语法糖，本质是编译器自动补全 &T{...}，提升代码简洁性与可读性。
go语言允许在 `[]*t` 类型的切片字面量中直接使用 `t{...}` 结构体字面量（无需显式取地址），这是由复合字面量规则定义的语法糖，本质是编译器自动补全 `&t{...}`，提升代码简洁性与可读性。
在 Go 语言中，当你看到如下代码：
var tracks = []*Track{
{"Go", "Delilah", "From the Roots Up", 2012, length("3m38s")},
{"Go", "Moby", "Moby", 1992, length("3m37s")},
// ……
}你可能会疑惑：*Track 是指针类型，而 {...} 显然是 Track 类型的结构体字面量，为何能直接作为 []*Track 的元素？这不是类型错误，而是 Go 规范明确支持的语法特性——它属于 复合字面量（Composite Literal）的类型省略规则。
根据 Go 语言官方规范「Composite literals」章节：
Within a composite literal of array, slice, or map type T, elements or map keys that are themselves composite literals may elide the respective literal type if it is identical to the element or key type of T. Similarly, elements or keys that are addresses of composite literals may elide the &T when the element or key type is *T.
立即学习“go语言免费学习笔记（深入）”；
翻译为中文即：
在数组、切片或映射类型的复合字面量中，若其元素（或键）本身也是复合字面量，且该字面量的类型与容器元素类型一致，则可省略该字面量的类型；同理，当容器元素类型为 *T 时，对应元素若为 &T{...} 形式，可进一步省略 & 符号——编译器会自动推导并插入取地址操作。
因此，以下两种写法完全等价，且语义、行为、生成的底层代码均一致：
✅ 推荐写法（简洁、惯用）：
tracks := []*Track{
{"Go", "Delilah", "From the Roots Up", 2012, length("3m38s")},
{"Go", "Moby", "Moby", 1992, length("3m37s")},
}✅ 等效展开（显式取地址，语义清晰但冗余）：
tracks := []*Track{
&Track{"Go", "Delilah", "From the Roots Up", 2012, length("3m38s")},
&Track{"Go", "Moby", "Moby", 1992, length("3m37s")},
}⚠️ 注意事项：
- 此规则仅适用于复合字面量上下文（即 []*T{...}、map[K]*T{...}、[N]*T{...}），不适用于普通变量赋值。例如 var t *Track = {1,2} 是非法的，必须写成 var t *Track = &Track{1,2}。
- 省略 & 的前提是：字面量结构体字段顺序/标签与 T 定义严格匹配（位置式或键值式均可），否则编译失败。
- 若 Track 含非导出字段或存在嵌套结构，仍需确保字段可访问且初始化合法。
- 此特性同样适用于嵌套场景，例如 [][]*T{{{}, {}}, {{}}} 或 map[string]*Config{"db": {Port: 5432}}。
? 小结：这种语法并非“黑魔法”，而是 Go 设计者为提升开发者体验而精心设计的类型安全的语法糖。它在保持静态类型检查的前提下，显著减少了模板化符号（如重复的 &Type{}），使数据初始化代码更接近领域逻辑表达，广泛应用于配置构建、测试数据准备、API 响应模拟等场景。掌握该机制，有助于写出更地道、更健壮的 Go 代码。
