17370845950

本文解析 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 内存模型、避免悬垂指针和误判生命周期的基础。