go 语言允许通过指针直接访问并修改结构体字段（如 p.x = 1e9），无需显式写成 (*p).x；编译器会自动将 p.x 转换为 (*p).x，前提是 p 是指向结构体的命名指针类型且该字段可访问。
go 语言允许通过指针直接访问并修改结构体字段（如 p.x = 1e9），无需显式写成 (*p).x；编译器会自动将 p.x 转换为 (*p).x，前提是 p 是指向结构体的命名指针类型且该字段可访问。
在 Go 中，指针访问结构体字段时的“省略解引用”并非语法糖或运行时特性，而是由语言规范明确定义的编译期自动转换规则。根据 Go 语言规范关于选择器（Selectors）的定义，当满足以下全部条件时，表达式 x.f 可以直接用于指针变量 x：
- x 的类型是具名指针类型（例如 *Vertex，而非 *struct{X, Y int} 这类未命名类型）；
- (*x).f 是一个合法的选择器表达式（即 f 是 *x 所指向类型的公开字段）；
- f 是字段（field），而非方法（method）——方法调用另有规则（支持值/指针接收者自动适配，但语义不同）。
以原始示例为例：
type Vertex struct {
X int
Y int
}
v := Vertex{1, 2}
p := &v // p 的类型是 *Vertex —— 具名指针类型
p.X = 1e9 // ✅ 合法：等价于 (*p).X = 1e9这里 p.X 并非绕过解引用，而是编译器在语法分析阶段就将其重写为 (*p).X。因此它本质上仍是解引用操作，只是对开发者透明。这也是为什么 *p.X = 1e9 会报错：p.X 已是 int 类型，再对其取 * 就变成非法的 *int 赋值（int 不是指针类型，无法解引用）。
⚠️ 注意事项：
- 该规则不适用于匿名结构体指针。例如：
s := struct{ X int }{0} ps := &s ps.X = 42 // ✅ 正确：*struct{X int} 是具名指针？不！但 Go 对字面量指针也做了特例支持（实际因底层类型匹配而生效）更准确地说，规范要求 x 的类型必须是指针类型且 (*x) 可寻址、(*x).f 合法；对于 &struct{...}，其指针类型虽无名称，但 (*ps).X 仍合法，因此 ps.X 依然可用。真正受限的是接口类型指针或非结构体类型指针（如 *int）——它们没有字段，自然不适用此规则。
- 字段必须是导出（大写开头） 才能在包外访问，但本机制与导出性无关，只与类型合法性相关。
- 若结构体嵌套指针字段（如 type V struct { Next *V }），p.Next.X 同样适用链式自动解引用：等价于 (*(*p).Next).X。
✅ 总结：
Go 的 p.X 写法不是“跳过解引用”，而是语言层面对常见模式的安全、无歧义的语法简化。它降低了指针操作的认知负担，同时保持内存模型清晰——所有字段赋值最终都作用于实际对象。理解这一机制，有助于写出更符合 Go 惯用法（idiomatic Go）的代码，也避免因类比 Java/Python 而产生的误解（例如误以为 Go 存在“引用传递”或“自动装箱”）。
