Go语言中全局const/var与函数内变量的内存分配机制咨询

先贴出示例代码：

package main

// memory allocated on program startup?
var str1 = "Hello world!"

func createString() string {
  // memory allocated when function is called?
  var str2 = "Another string"
  return str2
}

1. Go如何管理str1和str2的内存？ #

• str1（全局字符串变量）：
  字符串字面量"Hello world!"在编译阶段就被存入程序的只读数据段（rodata），这个区域的内容在程序启动时被加载到内存，且不可修改。str1作为全局变量，存储在全局数据区，它本质是一个包含两个字段的结构体：一个指向只读段中字面量的指针，以及字符串的长度。这个结构体的内存会在程序启动时分配，直到进程结束才释放。
• str2（局部字符串变量）：
  字面量"Another string"同样在编译期被放入只读数据段。当createString函数被调用时，会在当前goroutine的栈上分配一个字符串结构体（指针+长度），指向只读段中的这个字面量。函数返回时，这个栈上的结构体被复制到调用者的栈或堆中（取决于调用场景），但底层的字符数组始终在只读段里。函数执行完毕后，栈上的结构体空间会被栈帧回收，但不影响只读段的字面量。

2. str1的值是否会在程序整个运行期间驻留在内存中？ #

是的。因为"Hello world!"属于编译期确定的字符串字面量，存储在只读数据段，这个段会伴随整个进程生命周期。str1作为全局变量，其存储的结构体也会一直存在于全局数据区，直到程序终止。所以无论是否主动使用str1，它指向的字面量都会常驻内存。

3. 函数作用域内声明字符串变量能否节省内存？ #

不能。核心原因如下：

• 字符串字面量的底层字符数组，不管是全局还是局部变量引用，都存在只读数据段，不会因为变量作用域而被释放或重复分配。
• 局部变量只是栈上的一个小结构体（64位系统下占16字节），函数退出后栈帧会自动回收这部分空间，但这部分开销极小，对程序整体内存占用几乎没有影响。

只有当字符串是动态生成的（比如通过strings.Builder拼接、fmt.Sprintf格式化等方式创建的非字面量字符串），局部变量的底层数组才会在不再被引用时被Go的垃圾回收器回收，此时局部声明才可能减少内存占用。但针对示例中的字面量场景，全局和局部声明的内存开销没有本质区别。

内容的提问来源于stack exchange，提问作者tylermmorton