内存分配由逃逸分析决定，值类型通常栈分配，指针指向对象可能堆或栈分配，关键看是否逃逸。编译器根据变量生命周期优化，非类型本身决定位置。
Go语言中值类型和指针类型在内存分配上的差异，并不在于它们是值还是指针本身，而在于变量的生命周期和逃逸分析结果。Go编译器通过逃逸分析决定一个变量分配在栈上还是堆上，而这个过程对值类型和指针类型都适用。
值类型通常分配在栈上
当你声明一个局部的值类型变量（如 int、struct、array 等），它通常会被分配在栈上，前提是它不会逃逸出当前函数作用域。
例如：
func example() {var v MyStruct // 值类型，通常分配在栈上
v.x = 10
}
这里的 v 是一个值类型变量，它的生命周期仅限于函数调用期间，因此编译器会将其分配在栈上。
立即学习“go语言免费学习笔记（深入）”；
指针类型可能指向堆或栈
指针类型的变量本身也可能分配在栈上，但它指向的内存可能在堆上。关键在于被指向的对象是否逃逸。
例如：
func returnsPointer() *MyStruct {v := MyStruct{x: 42}
return &v // v 逃逸到堆上
}
尽管 v 是值类型，但由于它的地址被返回，它的生命周期超出了函数调用，因此编译器会将 v 分配在堆上。此时指针指向的是堆内存。
再看一个指针变量在栈上的例子：
func localPointer() {v := &MyStruct{x: 10} // 指针变量 v 在栈上，指向的对象也可能在栈上或堆上
fmt.Println(v.x)
}
如果这个临时结构体没有逃逸，Go 编译器可能优化为在栈上分配该结构体，而 v 作为指针变量本身仍在栈上。
逃逸分析决定栈 or 堆
Go 的内存分配策略依赖于逃逸分析，而不是类型本身是值还是指针。编译器会分析变量是否“逃逸”出当前作用域：
- 如果不会逃逸 → 分配在栈上（高效，自动回收）
- 如果会逃逸 → 分配在堆上（需GC管理）
你可以通过编译命令查看逃逸分析结果：
go build -gcflags="-m" your_file.go常见误解澄清
很多人认为“new 出来的一定在堆上”或“指针指向的都在堆上”，这并不准确。Go 编译器会做优化。例如：
func demo() {p := new(MyStruct)
*p = MyStruct{10}
// 如果 p 不逃逸，编译器可能将其分配在栈上
}
即使使用 new 或 &，对象仍可能被分配在栈上，只要它不逃逸。
基本上就这些。内存分配位置由逃逸分析决定，不是由值类型或指针类型直接决定的。理解这一点有助于写出更高效的 Go 代码。
