局部变量分配在栈上还是堆上？-GO面试指南

当前位置:　首页>> 技术小册>> GO面试指南

在 Go 中，局部变量的分配位置既可以是栈上，也可以是堆上。在编译器的优化下，Go 会自动选择最优的分配方式。

Go 语言的编译器会对变量进行逃逸分析，如果变量在函数内部不会逃逸到函数外部，那么编译器会将这个变量分配到栈上。如果变量会逃逸到函数外部，那么编译器会将这个变量分配到堆上。

以下是一个示例代码：
```
package main

import (
	"fmt"
)

func main() {
	s := "hello world"
	fmt.Println(s)
}
```
在这个示例代码中，变量 s 是一个字符串类型的局部变量，它的值被打印出来。由于这个变量不会逃逸到函数外部，所以编译器会将这个变量分配到栈上。

我们可以使用 Go 语言的反汇编工具 go tool objdump 来查看编译器的代码优化结果。可以使用以下命令来查看 main 函数的反汇编代码：
```
go tool objdump -s main.main main
```
输出的反汇编代码中可以看到，变量 s 被分配到了栈上：
```
  0000000000401040 <main.main>:
  401040:	48 83 ec 18          	sub    $0x18,%rsp
  401044:	48 8d 05 15 0c 00 00 	lea    0xc15(%rip),%rax        # 402060 <.rodata+0x8>
  40104b:	48 89 04 24          	mov    %rax,(%rsp)
  40104f:	48 8d 44 24 08       	lea    0x8(%rsp),%rax
  401054:	48 89 44 24 08       	mov    %rax,0x8(%rsp)
  401059:	48 8d 05 06 0c 00 00 	lea    0xc06(%rip),%rax        # 402060 <.rodata+0x8>
  401060:	48 89 04 24          	mov    %rax,(%rsp)
  401064:	e8 d7 fe ff ff       	callq  401040 <runtime.printstring>
  401069:	48 83 c4 18          	add    $0x18,%rsp
  40106d:	c3                   	retq
```
需要注意的是，局部变量被分配到栈上并不意味着它们的生命周期就比分配在堆上的局部变量更短。实际上，Go 的垃圾回收机制会自动检测并回收不再使用的变量，无论这些变量是分配在栈上还是堆上。

该分类下的相关小册推荐：

Go语言从入门到实战

深入浅出Go语言核心编程(四)

Go开发基础入门

深入浅出Go语言核心编程(七)

Go 组件设计与实现

深入浅出Go语言核心编程(五)

企业级Go应用开发从零开始

Go Web编程(下)

WebRTC音视频开发实战

Go Web编程(上)

深入浅出Go语言核心编程(二)

深入浅出Go语言核心编程(六)