Go语言中值类型和引用类型的区分是很多开发者容易混淆的点，而容器对值类型的存储规则又和Value语义紧密相关，理解这些规则能避免很多开发中的隐性问题。
Go值类型与Value语义基础
Go的值类型包括基本类型（int、string、bool等）、数组、结构体等，这类类型的变量直接存储值本身，赋值或传参时会复制整个值。而Value语义指的就是变量操作的是值本身的拷贝，修改拷贝不会影响原始值。
常见的引用类型包括切片、映射、通道、指针等，这类变量存储的是指向底层数据的引用，赋值或传参时复制的是引用，修改引用指向的内容会影响原始数据。
不同容器中值类型的行为表现
数组容器中的值类型
数组是值类型，作为容器时存储的是值类型的完整拷贝，修改数组内的元素不会影响原始变量。
package main
import "fmt"
type Point struct {
X int
Y int
}
func main() {
// 原始值类型变量
p := Point{X: 1, Y: 2}
// 数组作为容器存储值类型
arr := [2]Point{p, {X: 3, Y: 4}}
// 修改数组内的元素
arr[0].X = 100
fmt.Println("原始变量p:", p) // 输出 {1 2}
fmt.Println("数组内元素arr[0]:", arr[0]) // 输出 {100 2}
}
切片容器中的值类型
切片本身是引用类型，但切片存储的元素如果是值类型，那么切片内的元素是值的拷贝，修改切片内的元素不会影响原始变量，但是切片扩容时会发生元素拷贝。
package main
import "fmt"
func main() {
// 原始值类型变量
num := 10
// 切片存储值类型
slice := []int{num, 20}
// 修改切片内的元素
slice[0] = 100
fmt.Println("原始变量num:", num) // 输出 10
fmt.Println("切片内元素slice[0]:", slice[0]) // 输出 100
// 切片扩容后的值拷贝行为
slice2 := make([]int, 1, 1)
slice2[0] = num
// 触发扩容，底层数组替换，元素被拷贝
slice2 = append(slice2, 20)
slice2[0] = 200
fmt.Println("扩容后原始变量num:", num) // 输出 10
fmt.Println("扩容后slice2[0]:", slice2[0]) // 输出 200
}
映射容器中的值类型
映射的键和值如果是值类型，存储的都是值的拷贝，修改映射内的值不会影响原始变量，而且映射的遍历顺序是不确定的。
package main
import "fmt"
func main() {
// 原始值类型变量
name := "张三"
// 映射存储值类型
m := make(map[string]string)
m["user"] = name
// 修改映射内的值
m["user"] = "李四"
fmt.Println("原始变量name:", name) // 输出 张三
fmt.Println("映射内的值m[user]:", m["user"]) // 输出 李四
}
值类型在容器中的传递注意事项
当把容器作为函数参数传递时，如果容器存储的是值类型元素，那么函数内修改容器元素不会影响外部的原始变量，除非传递的是值类型元素的指针。
package main
import "fmt"
type User struct {
Name string
Age int
}
func updateUser(users []User) {
// 修改的是切片内值的拷贝，不影响外部原始变量
users[0].Age = 30
}
func updateUserPtr(users []*User) {
// 修改的是指针指向的原始值，会影响外部原始变量
users[0].Age = 30
}
func main() {
u := User{Name: "张三", Age: 20}
// 值类型元素切片传递
userSlice := []User{u}
updateUser(userSlice)
fmt.Println("值类型元素切片传递后原始u:", u) // 输出 {张三 20}
// 指针元素切片传递
userPtrSlice := []*User{&u}
updateUserPtr(userPtrSlice)
fmt.Println("指针元素切片传递后原始u:", u) // 输出 {张三 30}
}
总结
Go容器中值类型的行为完全遵循Value语义，存储的是值的拷贝，修改容器内的值类型元素不会影响原始变量。如果需要让容器内的修改同步到原始变量，可以将值类型的指针存入容器。实际开发中需要根据场景选择存储值本身还是指针，避免因为语义理解错误导致业务逻辑异常。