struct{}{} 是唯一合法的空结构体值写法，因为 struct{} 是类型，必须用 struct{}{} 表示其零值；少一个 {} 会导致编译失败，如误写为 done 会报错。
为什么 struct{}{} 是唯一合法的空结构体值写法
Go 里 struct{} 是类型，struct{}{} 才是值——少一个 {} 就编译失败。常见错误是写成 done 或 <code>map[string]struct{}{"k": {}}，Go 解析器会报 missing type in composite literal 或类似语法错误。
根本原因是：Go 要求复合字面量必须显式写出类型和字段初始化（哪怕字段为空）。struct{}{} 中第一个 {} 表示“空结构体类型”，第二个 {} 表示“该类型的零值实例”。二者缺一不可。
-
var s struct{}合法：声明变量，类型明确 -
s = struct{}{}合法：赋值，用字面量构造值 -
make(map[string]struct{})合法：类型已由泛型参数指定 -
map[string]struct{}{"k": struct{}{}}合法：显式提供键值对中的值
用 map[string]struct{} 实现 set 时别踩内存陷阱
当只关心 key 是否存在，又不想浪费 value 空间时，map[string]struct{} 是标准解法。但它不是“零成本”——底层仍需 bucket、hash 表、指针等结构，只是每个 value 不占额外字节。
容易忽略的点：
-
len(m)返回的是 key 数量，但 map 实际内存占用主要取决于 bucket 数量，和 key 数量非线性相关 - 大量插入后删掉大部分 key，map 不会自动收缩；若长期运行且 key 波动大，应考虑重建新 map
- 别用
reflect.DeepEqual比较两个map[string]struct{}：虽然值都为空，但 Go 反射对struct{}的处理可能不一致，建议用len(a) == len(b)加遍历判断存在性
chan struct{} 发送信号时缓冲区大小没意义
make(chan struct{}, N) 中的 N 看似表示容量，但因为 struct{} 占 0 字节，N=1 和 N=1000 的内存开销几乎一样。真正影响行为的是逻辑语义：
-
make(chan struct{})（无缓冲）：发送即阻塞，适合“事件通知+等待响应”场景 -
make(chan struct{}, 1)：可缓存 1 次信号，适合“发了就走，不等接收方就绪” -
make(chan struct{}, 0)和无缓冲等价；make(chan struct{}, 1000)并不意味着能“积压 1000 个事件”，而只是允许最多 1000 次非阻塞发送——一旦超限，后续发送仍会阻塞
所以别靠增大缓冲来“防丢信号”，而应结合业务判断是否需要重试、超时或日志告警。
struct{} 不能替代 bool 或 error 做语义表达
struct{} 只表达“发生了”，不表达“成功/失败”或“是/否”。滥用会导致逻辑模糊：
- 别用
chan struct{}替代chan error：接收方无法区分是“完成”还是“出错退出” - 别在接口方法返回
struct{}来代替error：调用方失去错误上下文，调试困难 - ORM 或 JSON 序列化库（如
gorm、encoding/json）可能跳过struct{}字段，导致数据丢失——它不是通用“空值占位符”
它的定位非常清晰：仅用于“存在性标记”或“同步信号”，不承载任何业务语义。越想让它干更多事，越容易在反射、序列化、调试时翻车。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
