在 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 的垃圾回收机制会自动检测并回收不再使用的变量，无论这些变量是分配在栈上还是堆上。