这篇文章探讨了我喜欢的Go数据类型，空结构体。
空结构体是一个没有field的结构体类型。这里有几个例子，有命名和匿名形式：
type Q struct{}
var q struct{}所以，如果空结构体没有成员，我们该怎么使用它？
width
在深入研究空结构体本身前，我想简要讨论下width。
术语width来自于gc编译器，尽管它的词源可能追溯到几十年年。
width描述了类型实例占用的字节数目。因为一个进程的地址空间是一维的，我认为witdh比size更合适。
width一个类型的属性。因为Go程序的每个值都有一个类型，值类型定义了它的witdh，一般是8比特的倍数。
我们可以发现任何值的宽度，它的类型的width使用unsafe.Sizeof()函数：
var s string
var c complex128
fmt.Println(unsafe.Sizeof(s)) // prints 8
fmt.Println(unsafe.Sizeof(c)) // prints 16http://play.golang.org/p/4mzdOKW6uQ
数组类型的width是它的元素类型的倍数：
var a [3]uint32
fmt.Println(unsafe.Sizeof(a)) // prints 12http://play.golang.org/p/YC97xsGG73
结构体提供了更灵活的方式来定义组合类型，它的width是所有组成类型的width的总和，加上padding：
type S struct {
a uint16
b uint32
}
var s S
fmt.Println(unsafe.Sizeof(s)) // prints 8, not 6上面的例子演示了padding的一方面，值必须在内存中对齐为它的width的倍数。在这个场景中，在a和b中间被编译器加入了2个字节的padding。
更新：Russ Cox已经解释了width和对齐无关。你可以阅读下面的评论。
空类型
现在，我们已经探讨了width，很明显空类型的width是零。它占用了零字节的存储空间：
var s struct{}
fmt.Println(unsafe.Sizeof(s)) // prints 0因为空类型占用了零字节，所以它不需要填充。这样，空结构体组成的一个结构体也不占用存储空间：
type S struct {
A struct{}
B struct{}
}
var s S
fmt.Println(unsafe.Sizeof(s)) // prints 0http://play.golang.org/p/PyGYFmPmMt
我们可以用空类型做什么
适用于Go语言的正交性，空类型和其他类型一样，是一个结构类型。你所使用的正常的结构体的所有的属性适用于空的结构。
你可以声明一个结构体数组struct{}s，但是他们当然不会占用存储空间：
var x [1000000000]struct{}
fmt.Println(unsafe.Sizeof(x)) // prints 0http://play.golang.org/p/0lWjhSQmkc
struct{}s的切片仅仅消耗他们的slice头的空间。就像上面演示的那样，他们的后端数组不消耗空间：
var x = make([]struct{}, 1000000000)
fmt.Println(unsafe.Sizeof(x)) // prints 12 in the playgroundhttp://play.golang.org/p/vBKP8VQpd8
当然，正常的子切片，内置的len和cap和预期一样工作：
var x = make([]struct{}, 100)
var y = x[:50]
fmt.Println(len(y), cap(y)) // prints 50 100http://play.golang.org/p/8cO4SbrWVP
你可以获取struct{}值的地址，当它的可以地址化，就像其他值一样：
var a struct{}
var b = &a有意思的是，两个struct{}值的地址可能是相同的：
var a, b struct{}
fmt.Println(&a == &b) // truehttp://play.golang.org/p/uMjQpOOkX1
对于[]struct{}s，这个属性也是可见的：
a := make([]struct{}, 10)
b := make([]struct{}, 20)
fmt.Println(&a == &b) // false, a and b are different slices
fmt.Println(&a[0] == &b[0]) // true, their backing arrays are the samehttp://play.golang.org/p/oehdExdd96
为什么是这样？如果你考虑一下，空结构体不包含成员，所以可以不包含数据。如果空结构体不包含数据，不能决定是否两个struct{}值是否是相同的。它们在效果上,是可替代的。
a := struct{}{} // not the zero value, a real new struct{} instance
b := struct{}{}
fmt.Println(a == b) // truehttp://play.golang.org/p/K9qjnPiwM8
注意：这个属性不是spec所需要的，但是注意：Two distinct zero-size variables may have the same address in memory.
struct{} 作为 method receiver
现在，我们已经演示了空结构体有任何其他类型一样的行为，因此，我们可以把它们作为函数接收者来使用：
type S struct{}
func (s *S) addr() { fmt.Printf("%p\n", s) }
func main() {
var a, b S
a.addr() // 0x1beeb0
b.addr() // 0x1beeb0
}http://play.golang.org/p/YSQCczP-Pt
在这个例子中，展示了all zero sized值的地址为0x1beeb0。精确的地址可能因Go的版本而不同。
封装
谢谢你的阅读。本文已接近800字，比预期更多，我还有更多的计划。
尽管本文关注于语言黑盒，有一个空结构体重要的实际用途。chan struct{}用来在不同的go routine之间发送信号。
翻译
更新：Damian Gryski指出我忽略了 Brad Fitzpatrick的iter包。我留下它作为读者的练习来探索Brad的深远影响的贡献。
相关文章
- Struct composition with Go
- Friday pop quiz: the smallest buffer
- Constant errors
- Stupid Go declaration tricks
有疑问加站长微信联系（非本文作者）
