Go语言允许在 []*T 类型的切片字面量中省略取地址操作符 & 和类型名，直接使用 T{...} 初始化元素，这是由语言规范明确支持的语法糖，本质是编译器自动补全 &T{...}，前提是切片元素类型为 *T 且字面量结构匹配。

go语言允许在 `[]*t` 类型的切片字面量中省略取地址操作符 `&` 和类型名，直接使用 `t{...}` 初始化元素，这是由语言规范明确支持的语法糖，本质是编译器自动补全 `&t{...}`，前提是切片元素类型为 `*t` 且字面量结构匹配。

在 Go 中，当你声明一个指向结构体的切片（如 []*Track）并使用组合字面量（composite literal）初始化时，可以简洁地写作：

var tracks = []*Track{
    {"Go", "Delilah", "From the Roots Up", 2012, length("3m38s")},
    {"Go", "Moby", "Moby", 1992, length("3m37s")},
    // ...
}

这并非非法或隐式转换，而是 Go 语言规范（The Go Programming Language Specification）明确定义的合法语法特性。其核心规则如下：

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语言免费学习笔记（深入）”；

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

• 若切片类型为 []*T，其每个元素预期为 *T；
• 当你在字面量中写入一个 T{...}（即 T 类型的组合字面量），Go 编译器会自动将其视为 &T{...}，无需显式加 &；
• 这仅适用于 T{...} 结构与 T 类型完全匹配的情况（字段顺序、数量、类型一致），且不依赖于字段名是否显式指定（支持位置式或键值式初始化）。

✅ 正确示例：

type Point struct{ X, Y float64 }

var points = []*Point{
    {1.5, -3.5},   // ✅ 自动转为 &Point{1.5, -3.5}
    {X: 0, Y: 0},  // ✅ 支持带字段名的写法，同样自动取址
}

❌ 错误示例（编译失败）：

var bad = []*Point{
    {1.5},        // ❌ 字段数量不匹配（缺少 Y）
    []int{1, 2},  // ❌ 类型不匹配，不是 Point 字面量
}

⚠️ 注意事项：

• 该语法仅作用于字面量内部，不适用于变量赋值或函数调用等上下文。例如 p := Track{1,2}; append(tracks, p) 会报错（类型不匹配），必须显式写 append(tracks, &p)；
• nil 切片与空切片行为不受影响：var t []*Track 初始化为 nil，而 t := []*Track{} 是长度为 0 的非-nil 切片；
• 底层仍遵循切片三要素（指针、长度、容量）：每个 &T{...} 分配独立内存，tracks 切片本身持有这些指针的副本，彼此独立。

? 小结：这是一种安全、高效且符合语言设计哲学的语法简化——它减少冗余符号，提升可读性，同时保持类型严格性和内存安全性。理解这一机制，有助于写出更地道、更简洁的 Go 代码，也避免误以为“结构体字面量能自动转指针”在其他场景也成立（实际仅限复合字面量嵌套上下文）。