是的，struct{} 在 Go 中大小为 0 字节，但有地址、可取址、可用作 map value 和 channel 元素；仅适用于“存在性”场景，如集合去重、信号通知、接口占位，不可赋值或比较（除与自身或 nil），加字段即失效。
空结构体 struct{} 真的不占内存吗？
是的，struct{} 在 Go 中大小为 0 字节，unsafe.Sizeof(struct{}{}) == 0。但它不是“不存在”——它有地址、能取地址、能做 map 的 value、能当 channel 元素。关键在于：编译器对它的特殊优化只在**零字段结构体**上生效，一旦加个字段（哪怕 byte），立刻变成 1 字节起。
常见误用：以为 struct{} 能代替 bool 或 int 做标记位——不行，它没有值语义，不能赋值、不能比较（除了和自身或 nil 比），只能用于存在性表达。
什么时候该用 struct{} 而不是 bool 或 int
核心判断标准：你只关心“有没有”，不关心“是什么”或“多少”。典型场景是信号、占位、集合去重。
- map 做集合（set）：
seen := make(map[string]struct{})，比map[string]bool更明确语义，且省内存（虽然 bool 也只占 1 字节，但struct{}是 0） - channel 传递信号：
done := make(chan struct{})，接收方只等关闭，不读数据；用chan bool会让人疑惑要不要读true还是false - 接口实现占位：某个类型只需满足接口，但不需要任何字段承载状态，就用
struct{}作为匿名字段或方法接收者
struct{} 当 map value 时的坑
看似省空间，但实际 map 底层仍要存储 value 的指针或内联值——Go 运行时对 struct{} value 做了特殊处理，不会分配额外内存，但 map 的 bucket 结构本身仍有固定开销。所以“节省”主要体现在大量 key 对应同一个空值时。
立即学习“go语言免费学习笔记（深入）”；
容易踩的坑：
- 不能直接写
m["key"] = struct{}{}后再用_, ok := m["key"]判断存在——必须先初始化 map，否则 panic - 不要试图从 map 中取
struct{}值并赋给变量：v := m["key"]是合法的，但v是不可寻址的临时值，无法取地址（&v报错） - 如果 map 的 value 是
struct{}，用range遍历时，value 是每次迭代新构造的空结构体，不是复用同一个实例（但这不影响使用）
替代方案对比：struct{} vs interface{} vs *struct{}
别用 interface{} 存空结构体——它有 16 字节开销（2 个 word），完全违背初衷；也别用 *struct{}，因为指针本身 8 字节（64 位系统），且需要堆分配。
真正轻量的组合只有两个：
-
map[string]struct{}：集合场景首选 -
chan struct{}：信号通知首选 - 如果需要多个信号区分类型，那就不是“空”的问题了，得换方案（比如定义带字段的 struct 或用 int 枚举）
空结构体不是万能胶，它只解决一类问题：你只需要一个“存在”的标记，且这个标记本身没有任何携带信息的需求。一加字段，就不再是它了。
