Golang取地址操作符如何使用_地址获取规则解析

10次阅读

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

Golang取地址操作符如何使用_地址获取规则解析

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 合法的前提是 uu.Profileu.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

取地址看着简单,真正容易出问题的地方不在语法,而在对“可寻址性”的直觉误判和对生命周期的忽视。尤其是 map value、函数返回值、range 变量这三类,几乎每次踩坑都是因为忘了它们根本不在内存固定位置上。

text=ZqhQzanResources