空结构体struct{}解析
本篇文章转自David的"The empty struct"一文,原文地址链接是http://dave.cheney.net/2014/03/25/the-empty-struct。
Introduction
这篇文章详细介绍了我最喜欢的Go数据类型,空结构体--struct{}。
空结构体是没有位段的结构体,以下是空结构体的一些例子:
type Q struct{}var q struct{}
但是如果一个就结构体没有位段,不包含任何数据,那么他的用处是什么?我们能够利用空结构体完成什么任务?
Width
在深入研究空结构体之前,我想先简短的介绍一下关于结构体宽度的知识。
术语宽度来自于gc编译器,但是他的词源可以追溯到几十年以前。
宽度描述了存储一个数据类型实例需要占用的字节数,由于进程的内存空间是一维的,我更倾向于将宽度理解为Size(这个词实在不知道怎么翻译了,请谅解)。
宽度是数据类型的一个属性。Go程序中所有的实例都是一种数据类型,一个实例的宽度是由他的数据类型决定的,通常是8bit的整数倍。
我们可以通过unsafe.Sizeof()函数获取任何实例的宽度:
var s stringvar c complex128
fmt.Println(unsafe.Sizeof(s)) // prints 8fmt.Println(unsafe.Sizeof(c)) // prints 16
http://play.golang.org/p/4mzdOKW6uQ
数组的宽度是他元素宽度的整数倍。
var a [3]uint32
fmt.Println(unsafe.Sizeof(a)) // prints 12
http://play.golang.org/p/YC97xsGG73
结构体提供了定义组合类型的灵活方式,组合类型的宽度是字段宽度的和,然后再加上填充宽度。
type S struct {
a uint16
b uint32}var s S
fmt.Println(unsafe.Sizeof(s)) // prints 8, not 6
An empty struct
现在我们清楚的认识到空结构体的宽度是0,他占用了0字节的内存空间。
var s struct{}
fmt.Println(unsafe.Sizeof(s)) // prints 0
由于空结构体占用0字节,那么空结构体也不需要填充字节。所以空结构体组成的组合数据类型也不会占用内存空间。
type S struct { A struct{} B struct{}
}var s Sfmt.Println(unsafe.Sizeof(s)) // prints 0
http://play.golang.org/p/PyGYFmPmMt
What can you do with an empty struct
由于Go的正交性,空结构体可以像其他结构体一样正常使用。正常结构体拥有的属性,空结构体一样具有。
你可以定义一个空结构体组成的数组,当然这个切片不占用内存空间。
var x [1000000000]struct{}
fmt.Println(unsafe.Sizeof(x)) // prints 0
http://play.golang.org/p/0lWjhSQmkc
空结构体组成的切片的宽度只是他的头部数据的长度,就像上例展示的那样,切片元素不占用内存空间。
var x = make([]struct{}, 1000000000)
fmt.Println(unsafe.Sizeof(x)) // prints 12 in the playground
http://play.golang.org/p/vBKP8VQpd8
当然切片的内置子切片、长度和容量等属性依旧可以工作。
var x = make([]struct{}, 100)var y = x[:50]
fmt.Println(len(y), cap(y)) // prints 50 100
http://play.golang.org/p/8cO4SbrWVP
你甚至可以寻址一个空结构体,空结构体是可寻址的,就像其他类型的实例一样。
var a struct{}var b = &a
有意思的是两个空结构体的地址可以相等。
var a, b struct{}
fmt.Println(&a == &b) // true
http://play.golang.org/p/uMjQpOOkX1
空结构体的元素也具有一样的属性。
a := make([]struct{}, 10)
b := make([]struct{}, 20)
fmt.Println(&a == &b) // false, a and b are different slicesfmt.Println(&a[0] == &b[0]) // true, their backing arrays are the same
http://play.golang.org/p/oehdExdd96
为什么会这样?因为空结构体不包含位段,所以不存储数据。如果空结构体不包含数据,那么就没有办法说两个空结构体的值不相等,所以空结构体的值就这样相等了。
a := struct{}{} // not the zero value, a real new struct{} instanceb := struct{}{}
fmt.Println(a == b) // true
http://play.golang.org/p/K9qjnPiwM8
有兴趣可以参考这篇文章" Two distinct zero-size variables may have the same address in memory"。
struct{} as a method receiver
现在让我们展示一下空结构体如何像其他结构体工作,空结构体可以作为方法的接收者。
type S struct{}func (s *S) addr() { fmt.Printf("%pn", s) }func main() { var a, b S
a.addr() // 0x1beeb0
b.addr() // 0x1beeb0}
http://play.golang.org/p/YSQCczP-Pt
在这篇文章中空结构体的地址是0x1beeb0,但是这个值可能随着Go版本的不同而发生变化。
- JavaScript 教程
- JavaScript 编辑工具
- JavaScript 与HTML
- JavaScript 与Java
- JavaScript 数据结构
- JavaScript 基本数据类型
- JavaScript 特殊数据类型
- JavaScript 运算符
- JavaScript typeof 运算符
- JavaScript 表达式
- JavaScript 类型转换
- JavaScript 基本语法
- JavaScript 注释
- Javascript 基本处理流程
- Javascript 选择结构
- Javascript if 语句
- Javascript if 语句的嵌套
- Javascript switch 语句
- Javascript 循环结构
- Javascript 循环结构实例
- Javascript 跳转语句
- Javascript 控制语句总结
- Javascript 函数介绍
- Javascript 函数的定义
- Javascript 函数调用
- Javascript 几种特殊的函数
- JavaScript 内置函数简介
- Javascript eval() 函数
- Javascript isFinite() 函数
- Javascript isNaN() 函数
- parseInt() 与 parseFloat()
- escape() 与 unescape()
- Javascript 字符串介绍
- Javascript length属性
- javascript 字符串函数
- Javascript 日期对象简介
- Javascript 日期对象用途
- Date 对象属性和方法
- Javascript 数组是什么
- Javascript 创建数组
- Javascript 数组赋值与取值
- Javascript 数组属性和方法
- MySQL 百万级数据量分页查询方法及其优化
- 教你设计一个超牛逼的本地缓存!
- Flutter延时任务、Flutter通过Future与Timer实现延时任务
- DDIA 笔记
- 工作流和状态机
- CentOS 6.x 搭建:Headless Chrome + ChromeDriver + Selenium的爬虫环境系统
- 聊聊dubbo-go的registryAwareCluster
- 同样是空值,null和undefined有什么异同?
- 强大到没朋友的mysql-shell及插件
- android JavaPoet记录
- JavaScript里的分号,你加还是不加?
- 技术干货 | Docker 容器逃逸案例汇集
- 一张千万级别数据的表想做分页,如何优化?
- 一文学会爬虫技巧
- 为什么机器学习应用交易那么难(中)