Go取值与取址表达式如何工作_Go表达式模型解析

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

基本上就这些。掌握可寻址性规则，就能预判 & 和 * 是否合法、结果类型是什么、是否支持赋值——不需要背特例，靠模型推导更可靠。