只有可寻址的值才能用&取地址,如变量、结构体字段、数组/切片元素、指针解引用值;string字面量、函数返回值、常量、map value、range迭代变量等不可取地址。

Go 中哪些值能用 & 取地址
只有「可寻址(addressable)」的值才能用 & 操作符取地址。这不是看类型,而是看值是否绑定在内存中某个确定位置。常见可寻址的包括:变量、结构体字段、数组/切片元素(注意:切片本身不可取地址)、指针解引用后的值。
不可取地址的典型情况:string 字面量、函数调用返回值(如 fmt.Sprintf(...))、常量、字面量(42、"hello")、map 的 value(即使它是变量类型)、range 循环中的迭代变量(它只是副本)。
-
name := "alice"→&name✅(变量可寻址) -
&"alice"❌ 编译错误:cannot take address of "alice" -
s := []int{1,2,3}; &s[0]✅(切片元素可寻址) -
&s❌ 通常无意义(虽语法合法,但取的是切片头结构体地址,不是底层数组) -
m := map[string]int{"x": 1}; &m["x"]❌ 编译错误:cannot take address of m["x"]
& 和 * 必须成对理解的场景
单独写 &v 没有实际用途,它必须被赋给指针变量、传给期望指针参数的函数,或用于取地址后立即解引用(如 *&v)。Go 不允许指针运算,所以地址值本身不能做算术,也不能随意转换。
典型误用:func foo() *int { return &42 } 是非法的 —— 字面量 42 不可寻址。正确做法是先声明变量:
立即学习“go语言免费学习笔记(深入)”;
func foo() *int {
x := 42
return &x // ✅ 返回局部变量地址:Go 编译器会自动栈逃逸到堆
}
另一个关键点:& 的结果类型是 *T,而 T 必须是原值的**确切类型**;不能隐式转换,比如 &int32(1) 也不合法(类型字面量仍不可寻址)。
结构体字段取地址的边界情况
结构体变量整体可寻址,其导出/未导出字段也均可取地址——前提是该结构体变量本身可寻址。但若通过函数返回一个结构体值(非指针),则该返回值是临时值,字段不可取地址。
type User struct{ Name string; Age int }-
u := User{"Tom", 25}; &u.Name✅ -
func getUser() User { return User{"Jack", 30} }; &getUser().Name❌ 编译错误:cannot take the address of getUser().Name -
func getUserPtr() *User { return &User{"Jack", 30} }; &getUserPtr().Name✅(因为getUserPtr()返回指针,解引用后得到可寻址结构体)
注意:嵌套结构体字段同理,只要路径上每一步都落在可寻址对象上即可,例如 &u.Profile.Address.City 合法的前提是 u、u.Profile、u.Profile.Address 都是变量或可寻址字段。
切片元素取地址的安全前提
&s[i] 看似简单,但背后依赖底层数组未被回收或重分配。只要切片 s 本身还存活且未被重新切(s = s[1:] 等),&s[i] 就有效。但若 s 是函数参数且函数内做了扩容(如 append 后未赋回),原底层数组可能已失效。
更隐蔽的问题:对小切片频繁取多个元素地址并长期持有,可能导致整个底层数组无法被 GC 回收(哪怕只用了其中 1 个元素)。例如:
data := make([]byte, 1024*1024) s := data[:10] ptr := &s[0] // 此时整个 data 底层数组仍被 ptr 间接引用 // data 无法被 GC,哪怕你只关心第一个字节
解决办法:如只需单个字节,复制出来再取地址:b := s[0]; ptr := &b。









