Go中指针赋值后修改的是原变量而非副本,因函数参数虽为值传递,但int传递的是地址;解引用(p=42)改内容,改指针指向需返回新地址;nil解引用会panic;内存分配由逃逸分析决定,非取地址动作;指针比较比地址值,同类型才合法;结构体含指针字段时拷贝只复制地址,导致共享。

Go里指针赋值后修改的是原变量,不是副本
Go中所有函数参数都是值传递,但*int这类指针类型传递的“值”是内存地址。当你把一个变量的地址传给函数,函数内通过*p = 100修改的,就是该地址指向的原始内存位置。
常见错误是以为p = &newVar能改变调用方的指针指向——其实只是改了函数内p这个局部变量存的地址值,不影响外部指针变量本身。
- 要修改原变量内容:解引用赋值,如
*p = 42 - 要让外部指针指向新地址:必须返回新指针并由调用方重新赋值,Go不支持C-style的
**int二级指针间接修改 - 对
nil指针解引用会panic:panic: runtime error: invalid memory address or nil pointer dereference
变量声明时的内存分配时机与位置
Go中变量是否在栈上分配,主要看编译器逃逸分析结果,不是由是否用&取地址决定。即使你写了var x int; p := &x,如果p被返回或逃逸到堆,x也会被分配到堆上。
验证方式:加-gcflags="-m"编译,看输出中是否有moved to heap。
立即学习“go语言免费学习笔记(深入)”;
- 局部变量未必在栈:逃逸的变量会被分配到堆,由GC管理
-
new(T)和&T{}都返回*T,但前者初始化为零值,后者可带字段初始化 - 结构体字段如果是非指针类型,其值随结构体一起分配;如果是
*int,则字段存地址,目标值可能在别处
比较两个指针是否指向同一块内存
Go中指针支持==和!=比较,前提是它们是同一底层类型的指针(或可互相转换),比较的是地址值本身,不是所指内容。
注意:nil指针之间可以安全比较,但不能和非指针类型混用,否则编译报错invalid operation: cannot compare。
- 正确:
p1 == p2、p != nil - 错误:
p == 0、p == (*int)(nil)(类型不一致) - 切片、map、func等类型虽有运行时表示,但它们本身不可比较;只有它们的指针(如
*[]int)才支持地址比较
struct中字段是指针时的内存布局差异
结构体大小由字段类型决定,*int字段固定占8字节(64位系统),而int字段占8或4字节取决于具体类型(如int通常是8字节)。关键区别在于:指针字段只存地址,实际数据在别处。
这直接影响拷贝行为:复制整个struct时,指针字段被值拷贝(地址值复制),导致两个struct指向同一片内存;而非指针字段是深拷贝。
- 典型陷阱:
s1 := S{p: &x}; s2 := s1; *s2.p = 99→s1.p指向的值也被改了 - 想避免共享,得手动深拷贝:要么逐字段复制,要么用
unsafe(不推荐),或设计成不可变结构 - 字段对齐会影响结构体总大小,指针字段通常对齐到8字节边界,可能插入填充字节










