
本文深入解析Go语言中一个常见的指针使用误区,即混淆指针变量自身的内存地址与其所指向值的内存地址。通过sync.WaitGroup的实际案例,文章详细阐述了在不同作用域和打印操作下,如何正确理解和追踪指针变量的地址,旨在帮助开发者准确识别并避免在Go并发编程中关于指针地址的潜在错误。
Go语言中的指针基础
在Go语言中,指针是一种特殊的数据类型,它存储了另一个变量的内存地址。理解指针的核心在于区分“指针变量本身”和“指针变量所指向的值”。
- & (取地址运算符):用于获取一个变量的内存地址。例如,&x 返回变量 x 的地址。
- *`(解引用运算符)**:用于访问指针所指向的值。例如,*ptr返回指针ptr` 所指向的变量的值。
- 指针变量类型:如果 x 是类型 T 的变量,那么 &x 的类型就是 *T,表示“指向类型 T 的指针”。
深入分析sync.WaitGroup地址追踪问题
考虑以下Go语言代码片段,它展示了在处理 sync.WaitGroup 时,关于指针地址打印的一个常见困惑:
package main
import (
"fmt"
"runtime"
"sync"
"time"
)
func Run() *sync.WaitGroup {
var wg sync.WaitGroup // 局部变量wg
wg.Add(1)
go func() {
defer wg.Done()
fmt.Printf("goroutine内部打印的Waitgroup地址: %p\n", &wg) // 打印wg的地址
time.Sleep(5 * time.Second)
fmt.Println("goroutine执行完毕")
}()
fmt.Printf("Run函数返回前打印的Waitgroup地址: %p\n", &wg) // 打印wg的地址
return &wg // 返回wg的地址
}
func main() {
runtime.GOMAXPROCS(3)
wg := Run() // main函数中的wg是一个*sync.WaitGroup类型的指针变量
fmt.Printf("main函数中打印的wg变量自身的地址: %p\n", &wg) // 打印main函数中wg变量的地址
wg.Wait()
}运行上述代码,可能会得到类似以下输出(地址值会因运行环境而异):
立即学习“go语言免费学习笔记(深入)”;
Run函数返回前打印的Waitgroup地址: 0xc0000120a0 main函数中打印的wg变量自身的地址: 0xc00000e028 goroutine内部打印的Waitgroup地址: 0xc0000120a0 goroutine执行完毕
观察输出,Run 函数内部和 goroutine 内部打印的 WaitGroup 地址是相同的,这符合预期,因为 goroutine 通过闭包捕获了 Run 函数中 wg 变量的地址。然而,main 函数中打印的地址却与前两者不同,这正是问题的核心所在。
核心概念辨析:指针变量的地址与指针指向的地址
造成上述差异的原因在于对 main 函数中 fmt.Printf(" main %p\n", &wg) 的误解。
Run 函数内部 (&wg): 在 Run 函数中,var wg sync.WaitGroup 声明了一个 WaitGroup 类型的局部变量 wg。当执行 fmt.Printf("... %p\n", &wg) 时,它打印的是这个 WaitGroup 实例在内存中的实际地址。由于 Run 函数返回了 &wg,这个 wg 实例会发生栈逃逸(Escape to Heap),其生命周期延长到不再被引用为止。
goroutine 内部 (&wg): goroutine 是一个匿名函数,它通过闭包捕获了外部 Run 函数作用域中的 wg 变量。因此,goroutine 内部打印的 &wg 依然是 Run 函数中那个 WaitGroup 实例的地址。
-
main 函数内部 (wg := Run() 后,&wg):
- wg := Run():Run 函数返回的是一个 *sync.WaitGroup 类型的值(即 Run 函数中 WaitGroup 实例的地址)。在 main 函数中,wg 被声明为一个 *sync.WaitGroup 类型的指针变量,它存储了 Run 函数返回的那个地址。
- fmt.Printf("... %p\n", &wg):这里的 &wg 打印的不再是 WaitGroup 实例的地址,而是 main 函数中局部变量 wg 自身 的内存地址。这个 wg 变量是一个指针,它存储了另一个地址。你可以将 main 函数中的 wg 想象成一个信封,信封上写着“请寄到地址 XXXXX”,而 &wg 打印的是这个信封本身的地址,而不是信封上写的地址 XXXXX。
正确追踪sync.WaitGroup地址的实践
为了在 main 函数中打印 Run 函数返回的 WaitGroup 实例的实际地址,我们应该打印指针变量 wg 的 值,而不是 wg 变量 自身 的地址。因为指针变量的值就是它所指向的内存地址。
将 main 函数中的打印语句从 fmt.Printf(" main %p\n", &wg) 修改为 fmt.Printf(" main %p\n", wg) 即可。
以下是修正后的完整示例代码:
package main
import (
"fmt"
"runtime"
"sync"
"time"
)
func Run() *sync.WaitGroup {
var wg sync.WaitGroup
wg.Add(1)
go func() {
defer wg.Done()
fmt.Printf("goroutine内部打印的Waitgroup地址: %p\n", &wg)
time.Sleep(5 * time.Second)
fmt.Println("goroutine执行完毕")
}()
fmt.Printf("Run函数返回前打印的Waitgroup地址: %p\n", &wg)
return &wg
}
func main() {
runtime.GOMAXPROCS(3)
wg := Run() // main函数中的wg是一个*sync.WaitGroup类型的指针变量
// 修正:打印wg指针变量所指向的地址,而不是wg变量自身的地址
fmt.Printf("main函数中打印的Waitgroup实际地址: %p\n", wg)
wg.Wait()
}运行修正后的代码,输出将显示所有打印的 WaitGroup 实例地址一致:
Run函数返回前打印的Waitgroup地址: 0xc0000120a0 main函数中打印的Waitgroup实际地址: 0xc0000120a0 goroutine内部打印的Waitgroup地址: 0xc0000120a0 goroutine执行完毕
注意事项与总结
- 区分 &ptrVar 和 ptrVar: 这是理解Go语言指针的关键。&ptrVar 给出的是存储指针的变量本身的地址,而 ptrVar 给出的是该指针变量所存储的地址(即它指向的值的地址)。
- 并发编程中的指针: 在并发编程中,如 sync.WaitGroup、sync.Mutex 等同步原语,通常需要通过指针传递,以确保所有并发协程操作的是同一个实例。正确理解和追踪这些共享资源的地址至关重要,以避免逻辑错误。
- 栈逃逸: 尽管 Run 函数中的 wg 是局部变量,但因为它被函数返回了其地址,Go编译器会将其从栈上分配到堆上(即发生栈逃逸),以确保其在 Run 函数返回后依然有效。这对于本问题中地址一致性是必要的,但不是造成地址差异的直接原因。
通过本文的详细解析,希望读者能够清晰地辨别Go语言中指针变量自身地址与其指向值地址的区别,从而在日常开发中,特别是在处理并发和共享数据时,更准确、更自信地运用指针。









