Go 中的空结构体 struct{} 用途
写在前面
在 Go 语言中，你可能会遇到一种看似“空洞”的类型——struct{}。它没有任何字段，也不携带数据，却频繁出现在标准库和大量底层项目的代码中。很多初学者第一次看到 chan struct{} 或 map[string]struct{} 时会感到困惑：一个“空”结构体到底能做什么？
这篇教程将带你深入理解空结构体的设计理念、内存特性以及最典型的实战用途。读完你会发现，这种“什么都没有”的类型，恰恰是表达信号、占位与集合时最优雅的选择。
什么是空结构体
空结构体的定义非常直白：
type Empty struct{}
// 或者直接使用
var _ struct{}
它就是一个不包含任何字段的结构体。从语义上讲，它代表一个“零信息”的值。但它的特殊性远不止于此——它在 Go 运行时中不占用任何内存空间。
我们可以用一个简单的程序验证：
var a struct{}
var b [100]struct{}
fmt.Println(unsafe.Sizeof(a)) // 输出：0
fmt.Println(unsafe.Sizeof(b)) // 输出：0
无论创建多少个 struct{} 类型的变量，其大小始终是 0。同时，所有空结构体变量的地址都相同（runtime.zerobase），因为它们在内存中共享同一个零值表示。
正是因为这种零内存开销的特性，它成为传递信号和构建高效数据结构的理想选择。
为什么需要空结构体
在很多场景中，我们只关心某个事件是否发生、某个元素是否存在，而不需要携带具体的数据。此时如果使用 bool、int 或普通的 struct{} 会不必要地占用内存。空结构体能让代码语义更清晰，并消除任何内存浪费。
使用空结构体可以传达一个强烈的意图：“这里没有数据，只有一个标记。”
五大经典用途
1. 作为通道的信号量
当你需要通过通道通知某个 goroutine 发生了事件，而不需要传递数据时，使用 chan struct{} 是最佳实践。
done := make(chan struct{})
go func() {
// 执行某些工作
time.Sleep(1 * time.Second)
close(done) // 发送完成信号
}()
<-done // 等待完成
fmt.Println("任务完成")
使用 close(done) 而不是 done <- struct{}{} 有一个好处：它可以一次性通知所有等待该通道的 goroutine。这种模式常被用于一对多广播。
另一个常见用法是限制并发数（令牌桶）。创建一个缓冲通道，其中元素类型为 struct{}，每个元素代表一个令牌：
sem := make(chan struct{}, 5) // 最多 5 个并发
for i := 0; i < 20; i++ {
go func(id int) {
sem <- struct{}{} // 获取令牌
defer func() { <-sem }() // 释放令牌
// 执行任务
}(i)
}
这里不需要关心令牌的值，仅仅用通道的缓冲容量来限制并发数。
2. 实现集合（Set）
Go 语言没有内置的集合类型，但可以用 map[KeyType]struct{} 来高效模拟。与 map[KeyType]bool 相比，空结构体不占用额外存储空间（map 的值类型为零长度），语义也更加准确：我们只关心键是否存在。
// 创建一个集合
set := make(map[string]struct{})
// 添加元素
set["apple"] = struct{}{}
set["banana"] = struct{}{}
// 检查元素是否存在
if _, ok := set["apple"]; ok {
fmt.Println("apple 在集合中")
}
// 删除元素
delete(set, "cherry")
如果你尝试使用 map[string]bool，每个条目会额外占用至少 1 个字节。虽然看起来很小，但在海量数据场景下，struct{} 可以节省可观的内存，同时清晰表达布尔值用途的缺失——我们只关心键的存在性。
3. 只关心方法的结构体
有时你可能需要一个类型来承载方法，但不需要在其内部存储任何状态。此时定义一个空结构体，并为其绑定方法，就形成一个无状态的函数集合。
type Logger struct{}
func (l Logger) Info(msg string) {
fmt.Println("[INFO]", msg)
}
func (l Logger) Error(msg string) {
fmt.Println("[ERROR]", msg)
}
// 使用
var log Logger
log.Info("服务器启动")
你甚至可以用一个全局变量 var Log Logger 来提供包级别的功能。这种方式比直接写包级函数更灵活，因为可以轻松替换为接口实现，方便单元测试。空结构体保证了零内存占用，即使创建多个实例也毫无负担。
4. 向管道发送“只是信号”的结构体字段
在更复杂的组件中，你可能有一个结构体需要提供一个信号通道。使用 chan struct{} 作为结构体字段，能让外部接收者只等待信号，而不会误读任何有效载荷。
type Worker struct {
done chan struct{}
}
func NewWorker() *Worker {
return &Worker{done: make(chan struct{})}
}
func (w *Worker) Stop() {
close(w.done)
}
func (w *Worker) Run() {
<-w.done
fmt.Println("worker exit cleanly")
}
这种模式比使用 chan bool 更加自文档化——阅读代码的人一看就知道通道仅用于通知。
5. 嵌入空结构体以避免内存开销
有时候为了满足某个接口，我们需要结构体包含某些方法，但本身不需要额外字段。将空结构体嵌入到其他结构体中，可以继承方法而不增加内存占用。
type Protocol struct{}
func (p Protocol) Parse([]byte) error { return nil }
// 嵌入空结构体，只引入方法，不引入字段
type Server struct {
Protocol // 嵌入，零内存开销
port int
}
func main() {
s := Server{port: 8080}
s.Parse([]byte("data")) // 直接使用 Protocol 的方法
}
相比于嵌入一个带有大量字段的类型，空结构体确保组合后的内存布局不会膨胀。虽然实践中并不总是需要纠结这几个字节，但对于需要大量实例的结构体，这种优化非常有意义。
性能与内存特性深入
- 零大小：
unsafe.Sizeof(struct{}{})永远为 0。 - 相同地址：所有
struct{}变量的地址都指向runtime.zerobase，这意味着两个变量&a == &b的比较结果为 true。 - map 值优化：当 map 的值类型为
struct{}时，Go 编译器和运行时会进行特殊优化，不会给值分配独立的存储空间。这使得map[Key]struct{}成为最节省内存的集合实现。 - 通道令牌效率：
chan struct{}缓冲通道只占用与容量有关的指针数组，元素本身不占空间。
不过要注意，零大小字段在某些结构体中对齐时可能产生额外填充。一般不需要担心，除非你正在设计极度紧凑的内存布局。
常见误区
-
用
chan bool代替chan struct{}
bool会占用 1 个字节，并且会诱使接收者读取它。如果仅仅用于同步，用chan struct{}更清晰、更省内存。 -
用
map[string]bool代替集合
当你只关心键是否存在时，map[string]bool不仅浪费内存（且 true/false 的语义不明确），还可能让代码阅读者误以为你需要那个布尔值。 -
担心构造
struct{}{}麻烦
空结构体的字面量是struct{}{}，写起来似乎有点啰嗦。很多项目会定义一个别名：type void struct{}或直接复用标准库中定义的私有类型（如struct{}{}）。但为了代码清晰，直接写struct{}{}最通用，也无需额外解释。
实战建议
- 当需要信号通知时，首选
chan struct{}。 - 当构建唯一元素集合时，用
map[Key]struct{}。 - 当为无状态方法创建接收者类型时，考虑使用空结构体。
- 阅读标准库源码（如
context.Done()返回<-chan struct{}），巩固理解。 - 不要过早优化：如果代码只涉及少量元素，
map[string]bool也完全可读。但对于核心数据结构或高频调用路径，空结构体的优势会非常明显。
总结
Go 中的空结构体 struct{} 是“零成本抽象”的绝佳体现：它不占用任何内存，却能够完美承载信号、占位符和集合语义。理解并合理运用 struct{}，可以让你的 Go 代码更高效、更清晰，也更符合惯用风格。
下次当你需要发送完成信号、构建集合或设计无状态组件时，不妨想一想：这里是否只需要一个 struct{}？