go 中匿名嵌入类型（如 sync.rwmutex）的零值本身即有效，因此可跳过显式初始化；只需为需要非零值的字段（如 map）提供初始值，利用字段名指定赋值即可实现安全、简洁的部分初始化。

go 中匿名嵌入类型（如 sync.rwmutex）的零值本身即有效，因此可跳过显式初始化；只需为需要非零值的字段（如 map）提供初始值，利用字段名指定赋值即可实现安全、简洁的部分初始化。

在 Go 中，定义一个包含嵌入同步原语（如 sync.RWMutex）和需手动初始化字段（如 map[string]statsEntry）的匿名结构体时，无需为所有字段显式赋值。关键在于理解：嵌入类型的零值是合法且可用的 —— 例如 sync.RWMutex{} 的零值已完全可用，无需额外初始化。

因此，以下写法是正确且推荐的：

var stats = struct {
    sync.RWMutex
    m map[string]statsEntry
}{
    m: make(map[string]statsEntry),
}

这里仅通过字段名 m: 显式初始化 map，而 sync.RWMutex 字段自动使用其零值（即未加锁、未被污染的空互斥锁），完全符合并发安全要求。

Stitch

Stitch是一款AI图像与设计工具，Google Labs 推出的 AI 原生设计工具。

下载

⚠️ 注意事项：

• ❌ 不要写 sync.RWMutex{} 手动构造（虽语法合法，但冗余且易误导）；
• ❌ 避免位置式初始化（如 {sync.RWMutex{}, make(...)}），一旦字段顺序变动或新增字段，极易引发编译错误或逻辑错位；
• ✅ 始终优先使用命名字段初始化（field-name syntax），提升可读性与健壮性；
• ✅ 若结构体复用频繁，建议转为具名类型，增强可维护性与类型安全性：

type statsHolder struct {
    sync.RWMutex
    m map[string]statsEntry
}

var stats = statsHolder{
    m: make(map[string]statsEntry),
}

这种模式既保持了嵌入锁的便捷性，又避免了 map 未初始化导致的 panic，是 Go 中构建线程安全全局状态的惯用实践。