在Go语言的开发过程中,不少开发者会遇到变量内存地址发生变化的情况,这和Go语言自身的运行时内存管理机制有直接关系,其中垃圾回收(GC)和栈增长是两个核心的影响因素。

Go语言内存地址的基本认知
Go语言中的变量内存地址分为栈地址和堆地址两类,栈上的变量通常随着函数调用创建,函数返回后释放;堆上的变量由GC负责管理生命周期。正常情况下,栈变量的地址在函数执行期间是固定的,堆变量的地址在未被GC处理前也相对稳定,但实际运行中这两个场景都可能出现地址变化的情况。
栈变量的地址特性
栈上的变量地址由栈指针管理,函数调用时会分配一段栈帧空间,局部变量存放在栈帧中,此时变量的地址是栈帧内的偏移地址,只要栈帧不被移动,地址就不会变化。
栈增长对内存地址的影响
Go语言的栈不是固定大小的,初始时每个goroutine的栈大小只有2KB,当栈空间不足时,运行时会触发栈增长,也就是分配一块更大的栈空间,把原有栈的内容拷贝到新栈中,然后释放旧栈。
这个过程中,原有栈上的所有变量的地址都会发生变化,因为变量被拷贝到了新的内存地址上。我们可以通过下面的代码验证这个现象:
package main
import (
"fmt"
"time"
)
func testStack() {
// 定义一个局部变量
var a int = 10
// 打印初始地址
fmt.Printf("初始栈变量a的地址: %pn", &a)
// 递归调用触发栈增长
recursiveFunc(1, &a)
}
func recursiveFunc(n int, oldAddr *int) {
var b int = n
// 打印当前栈变量的地址
fmt.Printf("第%d次递归,当前栈变量b的地址: %pn", n, &b)
// 对比之前传入的变量地址,判断是否发生变化
fmt.Printf("之前传入的地址: %p,是否相同: %vn", oldAddr, oldAddr == &b)
if n < 10000 {
// 递归调用,不断增加栈深度,触发栈增长
recursiveFunc(n+1, oldAddr)
}
}
func main() {
testStack()
time.Sleep(time.Second)
}
运行上面的代码可以看到,随着递归次数增加,栈空间不断被扩容,之前传入的变量地址和当前栈内的变量地址不再相同,说明栈增长后原有栈变量的地址已经发生了变化。
GC对内存地址的影响
Go语言的垃圾回收器采用的是并发标记清扫算法,在GC的标记阶段之后,如果开启了内存整理(Go 1.19之后默认开启的部分场景的内存整理),GC可能会把存活的对象从旧的内存位置移动到新的内存位置,这个过程叫做对象重定位。
对象被移动后,原有的内存地址就会失效,所有指向该对象的指针都会被更新为新地址,这也是堆上变量内存地址变化的核心原因。我们可以通过下面的代码观察这个现象:
package main
import (
"fmt"
"runtime"
"time"
)
type TestStruct struct {
Data int
}
func testGC() {
// 在堆上创建一个对象
obj := &TestStruct{Data: 100}
// 打印初始地址
fmt.Printf("初始堆对象地址: %pn", obj)
// 循环创建大量临时对象,触发GC
for i := 0; i < 10; i++ {
// 创建大量临时对象,占用堆空间
tmp := make([]byte, 1024*1024)
_ = tmp
// 手动触发GC
runtime.GC()
// 打印当前对象地址
fmt.Printf("第%d次GC后,对象地址: %p,是否和初始地址相同: %vn", i+1, obj, obj == &TestStruct{Data: 100})
time.Sleep(time.Millisecond * 100)
}
}
func main() {
runtime.GOMAXPROCS(1)
testGC()
}
运行代码后可以看到,经过多次GC后,堆上对象的地址很可能发生变化,这就是GC过程中对象重定位导致的结果。
开发中的注意事项
了解了内存地址的动态性之后,在实际开发中需要注意以下几点:
- 不要将栈变量的地址长期存储,比如存储到全局变量或者发送到其他goroutine,因为栈增长后该地址会失效,访问会导致未定义行为。
- 不要依赖堆变量的固定地址做逻辑判断,比如把地址作为唯一标识使用,因为GC可能会移动对象导致地址变化。
- 如果需要固定地址的场景,可以使用
unsafe.Pointer配合固定的内存分配区域,或者避免触发GC和栈增长的场景,但这种方式会增加开发复杂度,需要谨慎使用。
总结
Go语言中内存地址的动态性是由运行时机制决定的,栈增长会导致栈上变量地址变化,GC的对象重定位会导致堆上变量地址变化。开发者需要理解这两个机制的影响,避免在开发中错误地依赖固定内存地址,从而写出更健壮的Go程序。