Go中取址(&)和取值()表达式不改变变量本身,仅在值与内存地址间切换:&x要求x可寻址,结果为 T;p要求p为 T,结果为T且可赋值;可寻址性取决于表达式出处而非值。

Go 中的取值(*)和取址(&)表达式是理解指针行为的基础,它们不改变变量本身,只生成新表达式——一个代表“值”的表达式,或一个代表“内存地址”的表达式。关键在于:Go 的表达式有类型和值,而取址/取值操作会切换这两者。
取址表达式 &x:从值到地址
&x 要求 x 是可寻址的(addressable),比如变量、指针解引用、切片/数组索引、结构体字段等。它不计算 x 的值,而是直接获取 x 在内存中的地址,结果类型为 *T(T 是 x 的类型)。
- 若
x是变量var a int = 42,则&a是指向该整数的指针,类型为*int -
&arr[0]合法,因为数组元素可寻址;但&(a + b)非法,因为a + b是临时值,不可寻址 - 函数返回值默认不可寻址(除非是可寻址类型的函数返回,如返回结构体字段或切片元素)
取值表达式 *p:从地址回到值
*p 要求 p 是指针类型(*T)。它读取 p 所指向地址处的值,结果类型为 T。本质是“内存加载”操作。
- 若
p := &a,则*p就是a的值(42),类型为int -
*p是可寻址的——所以能写*p = 100,即通过指针修改原变量 - 对 nil 指针取值会 panic,这是运行时检查,不是编译错误
表达式模型中的“可寻址性”是核心约束
Go 表达式模型把“能否取址”作为区分表达式类别的重要属性。只有可寻址表达式才能用于 &、赋值左值、取地址传参等场景。可寻址性取决于表达式的“出处”,而非值本身:
- 变量名、
ptr.field(字段可寻址)、slice[i]、arr[i]、*ptr(解引用后若原指针指向可寻址目标,则结果也可寻址) - 字面量(
42、"hello")、函数调用结果(foo())、运算结果(a + b)、类型转换(int(x))都不可寻址 - 注意:
struct{ x int }{}.x不可寻址,因为结构体字面量整体不可寻址,其字段也不可寻址
常见误区与实际表现
容易混淆的是:取址/取值不“创建”或“销毁”数据,只是在值和地址之间建立映射。编译器可能优化掉中间指针,但语义不变。
-
func f() *int { n := 42; return &n }合法——Go 会自动将n放到堆上(逃逸分析),确保返回的地址有效 -
var s []int; p := &s[0]在s非空时合法;若s为空会 panic,因为索引越界,与取址无关 -
type T struct{ x int }; var t T; p := &t.x→p是*int,且*p可被赋值,会修改t.x
基本上就这些。掌握可寻址性规则,就能预判 & 和 * 是否合法、结果类型是什么、是否支持赋值——不需要背特例,靠模型推导更可靠。









