在使用Go语言开发项目时，切片几乎无处不在。当我们定义了一个结构体或其他自定义类型，再基于它创建切片时，写法上的细微差别往往会导致截然不同的结果：有的写法会在运行时抛出nil指针错误，有的写法则会让赋值操作悄悄失效。这篇文章就来系统地梳理Go语言中自定义类型切片的正确初始化与赋值方式，把容易踩坑的地方讲清楚。
一、自定义类型切片的三种声明与初始化方式
假设我们定义了一个表示用户信息的结构体，并基于它创建切片。Go语言中常见的方式有三种，理解它们之间的差异是用好切片的第一步。
type User struct {
Name string
Age int
}
// 方式一：仅声明，此时切片为nil，长度和容量都是0
var users []User
// 方式二：使用make初始化，长度为3，每个元素都是零值结构体
users2 := make([]User, 3)
// 方式三：使用字面量，在创建的同时完成赋值
users3 := []User{
{Name: "张三", Age: 25},
{Name: "李四", Age: 30},
}
第一种方式声明的users是nil切片，它本身不会引发panic，可以直接传给len、append等函数，但通过下标访问元素会触发越界错误。第二种方式用make分配了长度为3的底层数组，每个元素都是User的零值，也就是Name为空字符串、Age为0，此时可以通过下标直接给字段赋值。第三种方式最直观，适合在初始化阶段就能确定全部元素内容的场景。
需要特别注意的是make([]User, 3)和make([]User, 0, 3)的区别。前者长度为3，后者长度为0、容量为3。长度为0的切片不能通过下标访问，但后续append时不会频繁重新分配内存。如果只是先创建一个空切片再动态填充数据，推荐写法是：
// 长度为0，容量为10，适合后续append的场合 users := make([]User, 0, 10)
此外还有一种基于数组切割的写法，例如arr[1:3]，它会共享原数组的底层数据。这种方式修改切片元素会同步影响原数组，在并发或传递场景中容易引发隐蔽的bug，使用时要格外小心。
二、给自定义类型切片赋值的正确姿势
初始化完成后，赋值环节同样有讲究。针对make([]User, 3)创建的切片，最直接的方式是按下标整体替换元素：
users := make([]User, 2)
users[0] = User{Name: "王五", Age: 28}
users[1].Name = "赵六" // 也可以只修改某个字段
users[1].Age = 35
这里有一个常见的错误：如果切片是用var users []User声明的nil切片，直接写users[0].Name = "测试"会立即panic，因为底层还没有分配任何数组空间。解决办法要么先用make初始化，要么改用append追加：
var users []User
// 正确：append会自动分配底层数组
users = append(users, User{Name: "孙七", Age: 22})
如果自定义类型是指针类型，比如[]*User，那么make初始化后每个元素都是nil指针，必须先为元素分配结构体内存才能访问字段：
type User struct {
Name string
Age int
}
ptrUsers := make([]*User, 2)
// 错误：ptrUsers[0]是nil，直接赋值字段会panic
// ptrUsers[0].Name = "测试"
// 正确写法一：先让指针指向具体结构体
ptrUsers[0] = &User{Name: "周八", Age: 40}
// 正确写法二：逐个创建后append
ptrUsers = append(ptrUsers, &User{Name: "吴九", Age: 45})
结构体切片和指针切片各有适用场景。结构体切片内存连续、访问速度快，但元素较多时复制开销大；指针切片方便在函数间传递和修改，但会带来额外的堆分配和垃圾回收压力。一般而言，结构体较小（比如几个基础字段）时用值切片，结构体较大或需要在多处共享修改时用指针切片。
三、循环赋值与切片字段修改的经典陷阱
在循环中给切片赋值是日常开发的高频操作，但这里藏着两个经典陷阱。第一个陷阱是取循环变量的地址：
type User struct {
Name string
}
names := []string{"甲", "乙", "丙"}
ptrUsers := make([]*User, 0, len(names))
for _, name := range names {
// 在Go 1.22之前的版本中，name在整个循环中是同一个变量
// 这里保存的地址在循环结束后都指向同一个值
ptrUsers = append(ptrUsers, &User{Name: name})
}
在Go 1.22之前的版本中，上述写法保存的多个指针最终指向的内容可能都是最后一次循环的值。稳妥的做法是在循环体内创建局部变量：u := User{Name: name}，然后追加&u，或者在循环中显式使用下标访问。如果你使用的是Go 1.22及以后的版本，循环变量语义已经调整，每次迭代都是新变量，这个问题不复存在，但阅读旧代码时仍要留意。
第二个陷阱出现在修改切片字段时。结构体切片可以通过下标直接修改字段，因为切片本身是对底层数组的引用视图。但如果把切片作为参数传给函数，函数内对下标元素的修改会生效，而对切片本身做append引起扩容时，调用方却看不到新增的元素：
func addItem(users []User, u User) {
users = append(users, u) // 扩容后指向新数组，外部不可见
}
func modifyItem(users []User) {
users[0].Name = "已修改" // 直接改底层数组，外部可见
}
func main() {
users := make([]User, 1, 1) // 注意容量只有1
users[0] = User{Name: "原始"}
modifyItem(users)
fmt.Println(users[0].Name) // 输出：已修改
addItem(users, User{Name: "新增"})
fmt.Println(len(users)) // 输出：1，新增失败
}
原因在于切片的头部结构包含指针、长度和容量三部分，传参时这三部分被复制了一份。当append触发扩容时，函数内的切片指向了新的底层数组，与调用方的切片失去了关联。解决方式有两种：一是让函数返回新切片，由调用方重新接收；二是传入*[]User指针类型。工程实践中更推荐第一种，链式接收的写法更符合Go的惯用风格。
四、实际开发中的推荐实践
综合以上分析，可以总结出几条实用建议。第一，如果初始化时已知元素内容，优先使用字面量写法，简洁明了；如果元素数量未知但可以预估规模，用make([]User, 0, 预估容量)预分配，能有效减少扩容带来的内存拷贝。
第二，对于从数据库或接口批量读取数据的场景，通常先查询出总数再填充切片，此时可以先make出固定长度的切片，再用下标赋值，避免append多次扩容：
rows := queryUserCount() // 假设查询到100条
users := make([]User, 0, rows)
for i := 0; i < rows; i++ {
u := scanOneUser(i)
users = append(users, u)
}
第三，涉及跨函数修改切片时，明确采用返回值传递的风格，并在代码注释中说明切片可能被修改。第四，自定义类型如果实现了String()等接口方法，注意值接收者与指针接收者在切片场景下的差异：[]User只包含值接收者的方法集，[]*User则两者都包含。
掌握这些细节后，自定义类型切片的初始化与赋值就不再容易出错。核心记三点：nil切片可append但不可下标访问、make的长度与容量参数含义不同、扩容会切断函数内外切片的关联。理解了底层机制，写出的代码自然更健壮。