在Go语言项目里，不少人对自定义类型切片和指针的组合感到困惑。比如定义了一个User结构体，用[]User还是[]*User，函数参数该传切片还是切片指针，这些选择直接影响数据能否被正确修改以及程序的内存表现。理解清楚底层机制，才能避免写出看似能跑实则隐藏bug的代码。
一、自定义类型与切片的基础概念
Go里的自定义类型通常通过type关键字定义，例如 type User struct { ID int; Name string }。切片则是一种轻量的引用类型，其底层结构包含指向底层数组的指针、长度len和容量cap。当我们声明一个[]User时，切片头部保存的是三个机器字长的值，而真正的数据存放在连续的内存数组中。
很多初学者以为切片像C数组一样是值语义，其实切片变量本身在赋值或传参时会被复制，但复制的是那三元组，底层的数组并没有复制。这就意味着多个切片可能指向同一个底层数组。如果元素是结构体值，修改元素字段会通过指针找到数组位置并改动；但如果重新append导致扩容，新旧切片就会指向不同数组。
package main
import "fmt"
type User struct {
ID int
Name string
}
func main() {
users := []User{{1, "Tom"}, {2, "Jane"}}
fmt.Println(users)
}
二、值切片与指针切片的差异
值切片[]User中，每个元素都是完整的User结构体。把它传给函数时，切片头被复制，函数内通过索引修改users[0].Name会反映到原数组，因为底层数组共享。但若函数在内部append且扩容，原调用方的切片长度不会变，看不到新增元素。
指针切片[]*User中，元素是指向User的指针。好处是切片复制时只复制指针值，堆上的User可以被多处共享，且append扩容不影响已存指针指向的对象。坏处是容易产生别名问题：多个指针指向同一结构体，一方修改另一方可见，还可能因切片持有指针导致本该释放的对象无法被GC回收。
package main
import "fmt"
type User struct {
ID int
Name string
}
// 值切片传参，修改字段生效
func renameValue(us []User) {
if len(us) > 0 {
us[0].Name = "Changed"
}
}
// 指针切片传参
func renamePtr(us []*User) {
if len(us) > 0 {
us[0].Name = "PtrChanged"
}
}
func main() {
u1 := User{1, "Tom"}
u2 := User{2, "Jane"}
valSlice := []User{u1, u2}
ptrSlice := []*User{&u1, &u2}
renameValue(valSlice)
renamePtr(ptrSlice)
fmt.Println(valSlice[0].Name) // Changed
fmt.Println(ptrSlice[0].Name) // PtrChanged
}
三、何时使用切片指针
函数参数若写成*[]User，意味着传入的是切片头的指针。这样函数内对切片本身做append、重新分配，调用方也能看到更新后的len和cap。如果只是修改元素内容，传[]User就够了，不需要切片指针，否则徒增解引用成本。
以下场景推荐用[]*User：元素结构体很大，复制成本高；需要在多个地方共享并修改同一对象；或者从数据库查出大量记录，用指针减少内存拷贝。反之，若结构体很小且不需要共享修改，[]User更直观，也避免指针带来的GC根增多。
package main
import "fmt"
type User struct {
ID int
Name string
}
// 传切片指针，可改变切片长度
func addUser(us *[]User, u User) {
*us = append(*us, u)
}
func main() {
users := []User{{1, "Tom"}}
addUser(&users, User{2, "Jane"})
fmt.Println(len(users)) // 2
}
四、常见误区与避坑建议
误区一是用循环变量地址放入[]*User。在Go 1.22之前，循环变量是复用的，取&v会得到同一个地址，导致切片里全是最后一个元素。应显式创建局部副本再取地址。
误区二是认为传[]User就能让函数append生效，实际上那只会改局部切片头。若确实需要函数扩充切片，用*[]User或返回新切片。另外，长期持有[]*User可能延长对象生命周期，若只需读数据可考虑值切片或 sync.Pool 管理。
package main
import "fmt"
type User struct {
ID int
}
func main() {
users := make([]*User, 0, 3)
for i := 0; i < 3; i++ {
u := User{ID: i} // 局部副本
users = append(users, &u)
}
for _, u := range users {
fmt.Println(u.ID)
}
}
五、总结对比表
下表列出两种写法在多个维度的表现，方便在编码时快速决策。
| 写法 | 传参复制成本 | 函数内append可见性 | 元素修改共享 | 适用场景 |
|---|---|---|---|---|
| []User | 复制切片头，元素不复制 | 不可见（除非返回） | 通过底层数组可见 | 小对象、只读或局部改字段 |
| []*User | 复制切片头与指针值 | 不可见（除非返回） | 直接共享对象 | 大对象、多处共享修改 |
| *[]User | 复制切片头指针 | 可见 | 视元素类型而定 | 需函数内扩容原切片 |
结合项目实际数据规模与生命周期管理，合理选择自定义类型切片与指针的组合，是写出高效且安全Go代码的基础。