本文详解 Go 中因值接收器导致的结构体状态不可见问题，指出 Inner.Run() 使用值接收器会修改副本而非原值，并给出指针接收器 + 读写锁的完整并发安全解决方案。
本文详解 go 中因值接收器导致的结构体状态不可见问题，指出 `inner.run()` 使用值接收器会修改副本而非原值，并给出指针接收器 + 读写锁的完整并发安全解决方案。
在 Go 中，结构体方法的接收器类型（值接收器 vs 指针接收器）直接影响状态是否可被修改并被调用方感知。原始代码中 Inner.Run() 使用值接收器 func (c Inner) Run(...)，导致每次调用都操作 Inner 的独立副本——对 c.Value 的赋值仅影响该副本，原始 Outer.In 字段的 Value 始终保持为零值（0），因此主 goroutine 中打印 c.In 始终输出 {0}。
✅ 步骤一：改用指针接收器
首先将 Inner.Run 改为指针接收器，确保修改作用于原始实例：
func (c *Inner) Run(value int) {
c.Value = value // 现在修改的是原始 Inner 实例的字段
for {
fmt.Println(c.Value)
time.Sleep(time.Second * 2)
}
}
同时需调整调用方式：go c.In.Run(42) 要求 c.In 可取地址，因此 Outer.Run() 应使用指针接收器或确保 c.In 是地址可寻址的。更稳妥的做法是让 Outer.Run() 也使用指针接收器，并在 main 中使用 &Outer{} 初始化：
func (c *Outer) Run() {
go c.In.Run(42) // c.In 是 Inner 类型，但 Run 需 *Inner → Go 会自动取地址（因 In 是嵌入字段且可寻址）
for {
time.Sleep(time.Second)
fmt.Println(c.In) // 注意：此处仍存在竞态！见下文
}
}
func main() {
o := &Outer{} // 使用地址字面量，确保内部字段可寻址
o.Run()
}
⚠️ 步骤二：解决并发竞态（Race Condition）
即使修复了接收器，Inner.Value 仍被两个 goroutine 同时读写：
- Inner.Run() goroutine 写入 c.Value
- Outer.Run() goroutine 读取 c.In.Value（通过 fmt.Println(c.In)）
这属于典型的竞态条件（data race），Go 编译器启用 -race 标志时会明确报错。必须引入同步机制。
推荐使用 sync.RWMutex —— 它允许多个 reader 并发读取，但 writer 独占写入，兼顾性能与安全性：
import "sync"
type Inner struct {
mu sync.RWMutex // 注意：此处定义为值类型字段（非指针），RWMutex 不可复制
Value int
}
func (c *Inner) Run(value int) {
c.mu.Lock()
c.Value = value
c.mu.Unlock()
for {
c.mu.RLock()
fmt.Println(c.Value)
c.mu.RUnlock()
time.Sleep(time.Second * 2)
}
}
func (c *Outer) Run() {
go c.In.Run(42)
for {
time.Sleep(time.Second)
c.In.mu.RLock()
fmt.Println(c.In) // 注意：Println(c.In) 会读取整个结构体，包括 Value 字段
c.In.mu.RUnlock()
}
}
? 关键细节：sync.RWMutex 必须定义为结构体的值字段（mu sync.RWMutex），而非指针（*sync.RWMutex）。因为 RWMutex 本身设计为值类型，其零值即为未锁定状态；若用指针，需手动初始化且易引发 nil panic。
? 补充说明与最佳实践
- 初始化无需显式 new() 或 &sync.RWMutex{}：sync.RWMutex 零值有效，直接声明即可。
- 避免过度加锁：本例中 Value 仅初始化一次，若业务逻辑确定“写后只读”，可改用 sync.Once + atomic 或 channel 通知机制替代循环锁，提升性能。
- 始终启用竞态检测：开发阶段务必运行 go run -race main.go，及时发现潜在 data race。
- 结构体嵌套时注意可寻址性：Outer 方法中 c.In 是嵌入字段，当 c 为指针时 c.In 可寻址，&c.In 合法；若 c 为值接收器，则 c.In 不可取地址，会导致编译错误。
综上，正确初始化结构体并保障并发安全，核心在于两点：选择指针接收器以共享状态，对共享字段的读写施加恰当同步。忽略任一环节，都将导致不可预测的行为或程序崩溃。
