这篇文章探讨了我喜欢的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 16

http://play.golang.org/p/4mzdOKW6uQ

数组类型的width是它的元素类型的倍数:

var a [3]uint32
fmt.Println(unsafe.Sizeof(a)) // prints 12

http://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 0

http://play.golang.org/p/PyGYFmPmMt

我们可以用空类型做什么

适用于Go语言的正交性,空类型和其他类型一样,是一个结构类型。你所使用的正常的结构体的所有的属性适用于空的结构。

你可以声明一个结构体数组struct{}s,但是他们当然不会占用存储空间:

var x [1000000000]struct{}
fmt.Println(unsafe.Sizeof(x)) // prints 0

http://play.golang.org/p/0lWjhSQmkc

struct{}s的切片仅仅消耗他们的slice头的空间。就像上面演示的那样,他们的后端数组不消耗空间:

var x = make([]struct{}, 1000000000)
fmt.Println(unsafe.Sizeof(x)) // prints 12 in the playground

http://play.golang.org/p/vBKP8VQpd8

当然,正常的子切片,内置的len和cap和预期一样工作:

var x = make([]struct{}, 100)
var y = x[:50]
fmt.Println(len(y), cap(y)) // prints 50 100

http://play.golang.org/p/8cO4SbrWVP

你可以获取struct{}值的地址,当它的可以地址化,就像其他值一样:

var a struct{}
var b = &a

有意思的是,两个struct{}值的地址可能是相同的:

var a, b struct{}
fmt.Println(&a == &b) // true

http://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 same

http://play.golang.org/p/oehdExdd96

为什么是这样?如果你考虑一下,空结构体不包含成员,所以可以不包含数据。如果空结构体不包含数据,不能决定是否两个struct{}值是否是相同的。它们在效果上,是可替代的。

a := struct{}{} // not the zero value, a real new struct{} instance
b := struct{}{}
fmt.Println(a == b) // true

http://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的深远影响的贡献。

相关文章

1. Struct composition with Go
2. Friday pop quiz: the smallest buffer
3. Constant errors
4. Stupid Go declaration tricks

英文原文

本文来自:GITHUB

感谢作者:itfanr

查看原文:空结构体

• 编辑
• 预览