go 允许安全返回局部变量的指针，因为编译器通过逃逸分析自动将可能被外部引用的变量分配到堆上，避免悬空指针，开发者无需手动管理内存位置。
go 允许安全返回局部变量的指针，因为编译器通过逃逸分析自动将可能被外部引用的变量分配到堆上，避免悬空指针，开发者无需手动管理内存位置。
在 C 语言中，函数内声明的局部变量存储在栈上，函数返回后其内存立即失效，此时返回其地址会导致未定义行为——典型的悬空指针（dangling pointer）问题。然而，在 Go 中，同样的写法不仅合法，而且完全安全：
package main
import "fmt"
func main() {
fmt.Println(*(something())) // 输出: a
}
func something() *string {
s := "a"
return &s // ✅ 合法且安全
}
这段代码能正确运行，根本原因在于 Go 编译器内置的逃逸分析（Escape Analysis）机制。当编译器检测到变量 s 的地址被返回（即“逃逸”出当前函数作用域），它会自动将 s 分配到堆上，而非栈上。该变量随后由 Go 的垃圾回收器（GC）管理生命周期，确保只要仍有指针引用它，就不会被回收。
你可通过编译器标志 -gcflags "-m" 查看逃逸分析结果：
go build -gcflags "-m" main.go
输出类似：
./main.go:12:2: &s escapes to heap ./main.go:12:2: moved to heap: s
这明确印证了 s 已被提升至堆分配。
⚠️ 注意事项：
- 逃逸分析是编译期静态分析，不依赖运行时；所有决策在构建阶段完成；
- 虽然堆分配安全，但频繁逃逸可能增加 GC 压力，影响性能——可通过 go tool compile -gcflags "-m=2" 深度排查逃逸路径；
- 并非所有局部变量都会逃逸：若指针未离开函数（如仅用于内部计算），变量仍保留在栈上，更高效。
总结：Go 将内存安全性设计融入语言底层，开发者可专注逻辑表达，不必纠结“栈 vs 堆”的分配细节。返回局部变量指针是惯用、推荐的模式（例如 new(T)、&struct{} 等），只要语义清晰、用途合理，尽可放心使用。
