Go关于切边变量本身地址和内部指向地址

复制代码
func main() {
	var a = []int{1, 2, 3, 4, 5}
	b := a                 //此时a,b都指向了内存中的[1 2 3 4 5]的地址
	b[1] = 10              //相当于修改同一个内存地址,所以a的值也会改变
	c := make([]int, 5, 5) //切片的初始化
	copy(c, a)             //将切片acopy到c
	c[1] = 52              //copy是值类型,所以a不会改变c
	fmt.Println(a, c)      // [1 10 3 4 5] [1 52 3 4 5]
	d := &a                //将a的内存地址赋值给d,取值用*d
	a[1] = 11
	fmt.Printf("d的值是%v,d的内存地址是%p\n", *d, d) //d的值是[1 11 3 4 5],d的内存地址是0xc420084060
	fmt.Printf("a的值是%v,a的内存地址是%p\n", a, &a) //a的值是[1 11 3 4 5],a的内存地址是0xc420084060
	fmt.Printf("b的值是%v,b的内存地址是%p\n", b, &b) //b的值是[1 11 3 4 5],b的内存地址是0xc000008060
}

对于上面代码中,a,b都指向了内存中的1 2 3 4 5的地址,为啥&a和&b不一样呢?

d却和a的指针一样?

关键概念区分

这里涉及到两个不同的地址:

  1. 切片变量本身的地址(&a、&b)
  2. 切片底层数组的地址(切片内部指向的数据)

图解说明:

具体解释:

第3行:b := a

  • a 和 b 是两个独立的切片变量(切片头),它们在栈上有不同的内存地址
  • 但它们内部的指针字段指向同一个底层数组 1, 2, 3, 4, 5
  • 所以 &a != &b(切片变量本身的地址不同)
  • 但修改 b1 会影响 a,因为它们共享底层数组

第9行:d := &a

  • d 是一个指向切片 a 的指针(类型是 *\[\]int)
  • d 存储的是 a 变量的地址,所以 d == &a
  • *d 解引用后得到的就是 a 这个切片

总结

核心要点

  • &a 和 &b 不同,因为它们是两个不同的变量
  • d == &a,因为 d 就是被赋值为 &a 的
  • a 和 b 共享底层数组,是因为它们的内部指针字段相同,而不是因为它们本身的地址相同
  • 这就是为什么Go的切片是引用语义:赋值时复制的是切片头(包含指针、长度、容量),但指针指向的是同一块底层数据。
相关推荐
m0_敲代码的彭于晏1684 小时前
Vercel 前端部署平台深度评测
前端
怕浪猫6 小时前
外包和大厂的前端代码,差在凌晨三点
前端·面试·github
m0_敲代码的彭于晏1686 小时前
Vercel 前端部署与全栈开发实战指南
前端·状态模式
徐小夕6 小时前
花了3个月,我们做了一款 AI 版的“飞书文档”
前端·算法·github
Robert--cao6 小时前
移动底盘与机械臂联合规划:开源算法与工程实现
算法
贾伟康6 小时前
【化学实验室|17】HarmonyOS ArkTS 亮暗色与视觉令牌实战:集中颜色、间距和交互状态避免页面割裂
前端·移动开发·harmonyos·arkts·arkui
Csvn7 小时前
SSR/SSG/ISR(上):峡谷与渲染策略的时间预算
前端
小豆庄7 小时前
Mac 上给视频人脸打码:本地工具的依赖、追踪与推理管线
算法·视觉检测·视频·敏捷流程·纹理贴图
Csvn7 小时前
SSR/SSG/ISR(下):可交互性、新鲜度与回源账
前端
星夜离尘567 小时前
MATLAB 工程实验:从相邻块均值手写重叠 Allan 偏差,数清有效项
算法·matlab·均值算法