Golang的值类型和指针类型在内存分配(栈与堆)上有何不同-Golang-PHP中文网

Golang的值类型和指针类型在内存分配(栈与堆)上有何不同

P粉602998670

发布： 2025-09-04 12:27:01

原创

365人浏览过

内存分配由逃逸分析决定，值类型通常栈分配，指针指向对象可能堆或栈分配，关键看是否逃逸。编译器根据变量生命周期优化，非类型本身决定位置。

golang的值类型和指针类型在内存分配(栈与堆)上有何不同

Go语言中值类型和指针类型在内存分配上的差异，并不在于它们是值还是指针本身，而在于变量的生命周期和逃逸分析结果。Go编译器通过逃逸分析决定一个变量分配在栈上还是堆上，而这个过程对值类型和指针类型都适用。

当你声明一个局部的值类型变量（如 int、struct、array 等），它通常会被分配在栈上，前提是它不会逃逸出当前函数作用域。

例如：

func example() {
var v MyStruct // 值类型，通常分配在栈上
v.x = 10
}

这里的 v 是一个值类型变量，它的生命周期仅限于函数调用期间，因此编译器会将其分配在栈上。

指针类型的变量本身也可能分配在栈上，但它指向的内存可能在堆上。关键在于被指向的对象是否逃逸。

例如：

func returnsPointer() *MyStruct {
v := MyStruct{x: 42}
return &v // v 逃逸到堆上
}

尽管 v 是值类型，但由于它的地址被返回，它的生命周期超出了函数调用，因此编译器会将 v 分配在堆上。此时指针指向的是堆内存。

Tana

“节点式”AI智能笔记工具，支持超级标签。

再看一个指针变量在栈上的例子：

func localPointer() {
v := &MyStruct{x: 10} // 指针变量 v 在栈上，指向的对象也可能在栈上或堆上
fmt.Println(v.x)
}

如果这个临时结构体没有逃逸，Go 编译器可能优化为在栈上分配该结构体，而 v 作为指针变量本身仍在栈上。

Go 的内存分配策略依赖于逃逸分析，而不是类型本身是值还是指针。编译器会分析变量是否“逃逸”出当前作用域：

你可以通过编译命令查看逃逸分析结果：

go build -gcflags="-m" your_file.go

很多人认为“new 出来的一定在堆上”或“指针指向的都在堆上”，这并不准确。Go 编译器会做优化。例如：

func demo() {
  p := new(MyStruct)
  *p = MyStruct{10}
  // 如果 p 不逃逸，编译器可能将其分配在栈上
}

即使使用 new 或 &，对象仍可能被分配在栈上，只要它不逃逸。

基本上就这些。内存分配位置由逃逸分析决定，不是由值类型或指针类型直接决定的。理解这一点有助于写出更高效的 Go 代码。

以上就是Golang的值类型和指针类型在内存分配(栈与堆)上有何不同的详细内容，更多请关注php中文网其它相关文章！

大家都在看：