
本文解析 go 函数返回指针时为何 `&i` 两次打印地址不同——根本原因在于混淆了“指针变量的地址”与“指针所指向的地址”,并对比 c 语言澄清语义差异。
在 Go 中,当你从函数返回一个指针(如 *int),实际返回的是指向堆上分配内存的地址值,而非指针变量自身的地址。这一点常被初学者误解,尤其在调试时错误地对指针变量取地址(&i),导致输出看似“不一致”的结果。
以你的示例代码为例:
func createPointerToInt() *int {
i := new(int) // 在堆上分配 int,返回指向它的 *int
fmt.Println(&i) // ⚠️ 打印的是局部变量 i(指针)自身的地址(栈上)
return i
}
func main() {
i := createPointerToInt() // i 是一个 *int 类型变量,存储着堆中 int 的地址
fmt.Println(&i) // ⚠️ 打印的是 main 中变量 i(指针)自身的地址(另一栈位置)
}两次 fmt.Println(&i) 输出不同(如 0x1040a128 和 0x1040a120),是因为:
- 第一次 &i:是 createPointerToInt 函数栈帧中局部指针变量 i 的地址(栈内存);
- 第二次 &i:是 main 函数中接收返回值的新指针变量 i 的地址(另一个栈位置);
二者均为栈上不同的变量,地址自然不同,差值(如 8 字节)仅反映编译器在栈上为相邻变量分配的偏移,与逻辑无关。
✅ 正确做法是打印指针所指向的地址本身(即指针值),而非指针变量的地址:
func main() {
p := createPointerToInt()
fmt.Println(p) // ✅ 输出如 0xc000014090 —— 堆中 int 的真实地址
fmt.Println(*p) // ✅ 输出 0(new(int) 初始化为零值)
}这与你提供的 C 示例完全对应:C 中 printf("%#08x\n", r) 打印的是指针值 r(即 malloc/new 返回的地址),而非 &r(指针变量自身地址)。Go 中同理:p 是值,&p 是它的地址。
? 关键总结:
- new(T) 返回 *T,该指针值指向堆上新分配的 T 零值内存;
- 函数返回 *T,调用方接收到的是这个地址值(按值传递);
- 对接收变量使用 & 得到的是该变量在栈上的地址,与原指针指向的目标地址无关;
- 调试指针逻辑时,应关注 p(值)、*p(解引用)和 p == nil,而非 &p。
掌握这一区分,是理解 Go 内存模型、避免悬垂指针和误判生命周期的基础。










