本文转载自微信公众号「Golang梦工厂」,作者AsongGo。转载本文请联系Golang梦工厂公众号。
创新互联2013年至今,是专业互联网技术服务公司,拥有项目网站设计、网站建设网站策划,项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命,1280元昌邑做网站,已为上家服务,为昌邑各地企业和个人服务,联系电话:18982081108
哈喽,大家好,我是asong,今天这篇文章的目的主要是解答一位读者的疑问,涉及知识点是反射和结构体内存布局。我们先看一下读者的问题:
我们通过两个问题来解决他的疑惑:
结构体是占用一块连续的内存,一个结构体变量的大小是由结构体中的字段决定的,结构体变量的地址等于结构体第一个字段的首地址。示例:
- type User struct {
- Name string
- Age uint64
- Gender bool // true:男 false: 女
- }
- func main(){
- u := User{
- Name: "asong",
- Age: 18,
- Gender: false,
- }
- fmt.Printf("%p\n",&u)
- fmt.Printf("%p\n",&u.Name)
- }
- // 运行结果
- 0xc00000c060
- 0xc00000c060
从运行结果我们可以验证了结构体变量u的存放地址就是字段Name的首地址。
结构体的内存布局其实就是分配一段连续的内存,具体是在栈上分配还是堆上分配取决于编译器的逃逸分析,结构体在内存分配时还要考虑到内存对齐。
对齐的作用和原因:CPU访问内存时,并不是逐个字节访问,而是以字长(word size)单位访问。比如32位的CPU,字长为4字节,那么CPU访问内存的单位也是4字节。这样设计可以减少CPU访问内存的次数,加大CPU访问内存的吞吐量。假设我们需要读取8个字节的数据,一次读取4个字节那么就只需读取2次就可以。内存对齐对实现变量的原子性操作也是有好处的,每次内存访问都是原子的,如果变量的大小不超过字长,那么内存对齐后,对该变量的访问就是原子的,这个特性在并发场景下至关重要。
C语言的内存对齐规则与Go语言一样,所以C语言的对齐规则对Go同样适用:
根据这个规则我们来分析一下上面示例的结构体User,这里我使用的mac,所以是64位CPU,编译器默认对齐参数是8,String、uint64、bool的对齐值分别是8、8、1,根据第一条规则分析:
接下来我们在分析第二个规则:
注意:这里对内存对齐没有说的很细,想要更深了解内存对齐可以看我之前的一篇文章:Go看源码必会知识之unsafe包
Go语言提供了一种机制在运行时更新和检查变量的值、调用变量的方法和变量的内在操作,但是在编译时并不知道这些变量的具体类型,这种机制被称为反射。Go语言提供了 reflect 包来访问程序的反射信息。
我们可以通过调用reflect.TypeOf()获得反射对象信息,如果他的类型是结构体,接着可以通过反射值对象reflect.Type的NumField和Field方法获取结构体成员的详细信息,先看一个例子:
- type User struct {
- Name string
- Age uint64
- Gender bool // true:男 false: 女
- }
- func main() {
- u := User{
- Name: "asong",
- Age: 18,
- Gender: false,
- }
- getType := reflect.TypeOf(u)
- for i:=0; i < getType.NumField(); i++{
- fieldType := getType.Field(i)
- // 输出成员名
- fmt.Printf("name: %v \n", fieldType.Name)
- }
- }
- // 运行结果
- name: Name
- name: Age
- name: Gender
接下来我们就一起来看一看Go语言是如何通过反射来获取结构体成员信息的。
首先我们来看一看reflect.TypeOf()方法是如何获取到类型的:
- func TypeOf(i interface{}) Type {
- eface := *(*emptyInterface)(unsafe.Pointer(&i))
- return toType(eface.typ)
- }
我们知道在Go语言中任何类型都可以转成interface{}类型,当向接口变量赋于一个实体类型的时候,接口会存储实体的类型信息,反射就是通过接口的类型信息实现的。
一个空接口结构如下:
- type eface struct {
- _type *_type
- data unsafe.Pointer
- }
_type 字段,表示空接口所承载的具体的实体类型。data 描述了具体的值,Go 语言里所有的类型都 实现了 空接口。
所以在TypeOf方法中,我们就是通过读取_type字段获取到类型。
现在我们已经知道他是怎么获取到具体的类型了,接下来我们就来看一看NumField()方法是怎么获取到字段的。
- func (t *rtype) Kind() Kind { return Kind(t.kind & kindMask) }
- func (t *rtype) NumField() int {
- if t.Kind() != Struct {
- panic("reflect: NumField of non-struct type " + t.String())
- }
- tt := (*structType)(unsafe.Pointer(t))
- return len(tt.fields)
- }
因为只有struct类型才可以调用,所以在NumFiled()方法中做了类型检查,如果不是struct类型则直接发生panic,然后会rtype类型强制转换成structType,最后返回结构体成员字段的数量。
- // structType represents a struct type.
- type structType struct {
- rtype
- pkgPath name
- fields []structField // sorted by offset
- }
- // Struct field
- type structField struct {
- name name // name is always non-empty
- typ *rtype // type of field
- offsetEmbed uintptr // byte offset of field<<1 | isEmbedded
- }
调用Field()方法会根据索引返回对应的结构体字段的信息,当值不是结构体或索引超界时发生panic。
- func (t *rtype) Field(i int) StructField {
- // 类型检查
- if t.Kind() != Struct {
- panic("reflect: Field of non-struct type " + t.String())
- }
- // 强制转换成structType 类型
- tt := (*structType)(unsafe.Pointer(t))
- return tt.Field(i)
- }
- // Field returns the i'th struct field.
- func (t *structType) Field(i int) (f StructField) {
- // 溢出检查
- if i < 0 || i >= len(t.fields) {
- panic("reflect: Field index out of bounds")
- }
- // 获取之前structType中fields字段的值
- p := &t.fields[i]
- // 转换成StructFiled结构体
- f.Type = toType(p.typ)
- f.Name = p.name.name()
- // 判断是否是匿名结构体
- f.Anonymous = p.embedded()
- if !p.name.isExported() {
- f.PkgPath = t.pkgPath.name()
- }
- if tag := p.name.tag(); tag != "" {
- f.Tag = StructTag(tag)
- }
- // 获取字段的偏移量
- f.Offset = p.offset()
- // 获取索引值
- f.Index = []int{i}
- return
- }
返回StructField结构如下:
- // A StructField describes a single field in a struct.
- type StructField struct {
- Name string // 字段名
- PkgPath string // 字段路径
- Type Type // 字段反射类型对象
- Tag StructTag // 字段的结构体标签
- Offset uintptr // 字段在结构体中的相对偏移
- Index []int // Type.FieldByIndex中的返回的索引值
- Anonymous bool // 是否为匿名字段
- }
到这里整个反射获取结构体成员信息的过程应该很明朗了吧~。
**小结:**因为Go 语言里所有的类型都 实现了 空接口,所以可以根据这个特性获取到数据类型以及存放数据的地址,对于结构体类型,将其转换为structType类型,最后转换成StructField结构获取所有结构体信息。
本文没想详细展开讲解Go语言反射的原理和过程,只是简单介绍了一下反射获取到结构体成员信息的过程,更多关于反射知识的讲解会在后面持续更新,敬请期待~。
文章题目:反射是如何获取结构体成员信息的?
网页链接:http://www.shufengxianlan.com/qtweb/news32/504732.html
网站建设、网络推广公司-创新互联,是专注品牌与效果的网站制作,网络营销seo公司;服务项目有等
声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联