图文详解go语言反射实现原理

 更新时间:2020年02月17日 08:35:21   作者:ryogou  
这篇文章主要介绍了图文详解go语言反射实现原理,本文图文并茂给大家介绍的非常详细,具有一定的参考借鉴价值,需要的朋友参考下吧,需要的朋友可以参考下

Go反射的实现和 interfaceunsafe.Pointer 密切相关。如果对golang的 interface 底层实现还没有理解,可以去看我之前的文章: Go语言interface底层实现unsafe.Pointer 会在后续的文章中做介绍。

(本文目前使用的Go环境是Go 1.12.9)

interface回顾

首先我们简单的回顾一下interface的结构,总体上是:

细分下来分为有函数的 iface 和无函数的 eface (就是 interface{} );

无函数的 eface

有函数的 iface

静态类型(static interface type)和动态混合类型(dynamic concrete type)

Go语言中,每个变量都有唯一个 静态类型 ,这个类型是编译阶段就可以确定的。有的变量可能除了静态类型之外,还会有 动态混合类型

例如以下例子:

//带函数的interface
var r io.Reader 
tty, err := os.OpenFile("/dev/tty", os.O_RDWR, 0)
if err != nil {
 return nil, err
}
r = tty
//不带函数的interface
var empty interface{}
empty = tty

有函数的 iface 的例子

我们一句一句来看:第1行, var r io.Reader

第4行至第七行就是简单的赋值,得到一个 *os.File 的实例,暂且不看了。最后一句第十句 r = tty

无函数的 eface 的例子

我们接着往下看, var empty interface{}

最后是 empty = tty

但是记住:虽然有 动态混合类型 ,但是对外”表现”依然是静态类型。

Go反射简介

Go反射有三大法则:

//接口数据  =====》 反射对象
1. Reflection goes from interface value to reflection object.
//反射对象 ===> 接口数据
2. Reflection goes from reflection object to interface value.
// 倘若数据可更改,可通过反射对象来修改它
3. To modify a reflection object, the value must be settable.

Go 的反射就是对以上三项法则的实现。

Go的反射主要由两部分组成: TypeValueTypeValue 是俩结构体:(这俩结构体具体内容可以略过不看,知道有这回事儿就行了)

Type:

type Type interface {
 Align() int
 FieldAlign() int
 Method(int) Method
 MethodByName(string) (Method, bool)
 NumMethod() int
 Name() string
 PkgPath() string
 Size() uintptr
 String() string
 Kind() Kind
 Implements(u Type) bool
 AssignableTo(u Type) bool
 ConvertibleTo(u Type) bool
 Comparable() bool
 Bits() int
 ChanDir() ChanDir
 IsVariadic() bool
 Elem() Type
 Field(i int) StructField
 FieldByIndex(index []int) StructField
 FieldByName(name string) (StructField, bool)
 FieldByNameFunc(match func(string) bool) (StructField, bool)
 In(i int) Type
 Key() Type
 Len() int
 NumField() int
 NumIn() int
 NumOut() int
 Out(i int) Type
 common() *rtype
 uncommon() *uncommonType
}

Value:

type Value struct {
 typ *rtype
 ptr unsafe.Pointer
 flag
}

你会发现反射的实现和interface的组成很相似,都是由“类型”和“数据值”构成,但是值得注意的是:interface的“类型”和“数据值”是在“一起的”,而反射的“类型”和“数据值”是分开的。

TypeValue 提供了非常多的方法:例如获取对象的属性列表、获取和修改某个属性的值、对象所属结构体的名字、对象的底层类型(underlying type)等等

Go中的反射,在使用中最核心的就两个函数:

  • reflect.TypeOf(x)
  • reflect.ValueOf(x)

这两个函数可以分别将给定的数据对象转化为以上的 TypeValue 。这两个都叫做 反射对象

Reflection goes from interface value to reflection object(法则一)

给定一个数据对象,可以将数据对象转化为反射对象 TypeValue

事例代码:

package main

import (
 "fmt"
 "reflect"
)

func main() {
 var x float64 = 3.4

 t := reflect.TypeOf(x)
 v := reflect.ValueOf(x)

 fmt.Println("type:", t) //type: float64

 fmt.Println("value:", v.String()) //value: <float64 Value>
 fmt.Println("type:", v.Type()) // type: float64
 fmt.Println("kind is float64:", v.Kind() == reflect.Float64) //kind is float64: true
 fmt.Println("value:", v.Float()) //value: 3.4

}

由代码17行可以看出: Value 还可以获取到当前数据值的 Type

所以,法则一的图应为:

Reflection goes from reflection object to interface value.(法则二)

给定的反射对象,可以转化为某种类型的数据对象。即法则一的逆向。

注意 Type 是没法逆向转换的,仔细想想也合理,如果可逆类型转化成什么呢?(#^.^#)

承接法则一的代码:

package main
import (
 "fmt"
 "reflect"
)
func main() {
 var x float64 = 3.4
 t := reflect.TypeOf(x)
 v := reflect.ValueOf(x)
 ...
 o := v.Interface().(float64) // 法则2代码
 fmt.Println(o)
}

To modify a reflection object, the value must be settable.(法则三)

法则三是说:通过反射对象,可以修改原数据中的内容。

这里说的反射对象,是指 Value ,毕竟 Type 只是表示原数据的类型相关的内容,而 Value 是对应着原数据对象本身。

在目前以上的所有例子中,反射得到的 Value 对象的修改,都是无法直接修改原数据对象的。

package main
import (
 "fmt"
 "reflect"
)
func main() {
 var x float64 = 3.4
 t := reflect.TypeOf(x)
 v := reflect.ValueOf(&x)
 ....
 o := v.Interface().(float64)
 fmt.Println(o)
 v.SetFloat(5.4) //此行会报错
 fmt.Println(x)
}

这段代码20行会报一个panic

reflect: reflect.Value.SetFloat using unaddressable value

这句话的意思并不是地址不可达,而是:对象 v 不可设置( settable )。

我们可以通过 Value 结构体的 CanSet() 方法来查看是否可以设置修改新值。

通过以下代码可以知道 CanSet() 返回值是false。

fmt.Println(v.CanSet()) // false

如何通过反射对象来修改原数据对象的值呢?

如何才能可以通过反射对象来修改原数据对象的值或者说为什么不能设置呢?

原因简单且纯粹:在Go中,任何函数的参数都是值的拷贝,而非原数据。

反射函数 reflect.ValueOf() 也不例外。我们目前得到的反射对象,都是原对象的copy的反射对象,而非原对象本身,所以不可以修改到原对象;即使可以修改,修改一个传参时候的副本,也毫无意义,不如报错儿。Go反射第三法则中的制定的 settable 属性就由此而来,还延伸出了类似于 CanSet() 的方法。

那如何修改呢?

首先,在Go中要想让函数“有副作用“,传值必须传指针类型的。

...

var x float64 = 3.4
v := reflect.ValueOf(&x)

...

此时还不行,因为这样反射对象对应的是原数据对象的指针类型,必须要拿到当前类型的值类型(*v),如何做?

Go提供了另外一个方法 Elem()

...
var x float64 = 3.4
v := reflect.ValueOf(&x)
p := v.Elem()
fmt.Println(p.CanSet()) // true
p.SetFloat(7.1)
fmt.Println(x) // 7.1

看以上代码,就可以修改原数据了。

反射原理

不难发现,go的反射和interface在结构上是如此的相近!都分为两部分:一部分是 Type 一部分是 value

反射会不会是比着interface来实现的?

反射是什么意思?反射的意思是在运行时,能够动态知道给定数据对象的类型和结构,并有机会修改它!

现在一个数据对象,如何判断它是什么结构?

数据interface中保存有结构数据呀,只要想办法拿到该数据对应的内存地址,然后把该数据转成interface,通过查看interface中的类型结构,就可以知道该数据的结构了呀~

其实以上就是Go反射通俗的原理。

图可以展示为:

图中结构中牵扯到的指针,都是 unsafe.Pointer 指针,具体这是个什么指针,后续的文章中会有介绍,在此,你就姑且认为是可以指向Go系统中任意数据的指针就可以。

源码部分 (以下部分可以忽略,是我在查阅代码时候遇到的一点点坑。)

我们来看看具体的源码:源码在”GO SDK/src/refelct“包中,具体主要是包中的”type.go”和”value.go”这两个文件。

可以简单的认为,反射的核心代码,主要是 reflect.ValueOf()reflect.TypeOf() 这两个函数。

先看类型转换: reflect.TypeOf()

// TypeOf returns the reflection Type that represents the dynamic type of i.
// If i is a nil interface value, TypeOf returns nil.
func TypeOf(i interface{}) Type {
 eface := *(*emptyInterface)(unsafe.Pointer(&i))
 return toType(eface.typ)
}

其中出现了两种数据结构,一个是 Type ,一个是 emptyInterface

分别看看这两者的代码:

emptyInterface 在 ”GO SDK/src/reflect/value.go“文件中

// emptyInterface is the header for an interface{} value.
type emptyInterface struct {
 typ *rtype
 word unsafe.Pointer
}

// nonEmptyInterface is the header for an interface value with methods.
type nonEmptyInterface struct {
 // see ../runtime/iface.go:/Itab
 itab *struct {
  ityp *rtype // static interface type
  typ *rtype // dynamic concrete type
  hash uint32 // copy of typ.hash
  _ [4]byte
  fun [100000]unsafe.Pointer // method table
 }
 word unsafe.Pointer
}

仔细一看,是空接口和包含方法的interface的两个结构体。且和 efaceiface 内容字段一致!不是有 efaceiface 了吗?这两者有什么不同??

经过查阅代码,发现:

interface源码(位于”Go SDK/src/runtime/runtime2.go“)中的 efaceiface 会和 反射源码(位于”GO SDK/src/reflect/value.go“)中的 emptyInterfacenonEmptyInterface 保持数据同步!

总结

以上所述是小编给大家介绍的图文详解go语言反射实现原理,希望对大家有所帮助!

相关文章

  • 浅谈Go中数字转换字符串的正确姿势

    浅谈Go中数字转换字符串的正确姿势

    这篇文章主要介绍了浅谈Go中数字转换字符串的正确姿势,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2019-10-10
  • Windows环境下vscode-go安装笔记(不支持32位)

    Windows环境下vscode-go安装笔记(不支持32位)

    这篇文章主要介绍了Windows环境下vscode-go安装笔记(不支持32位),需要的朋友可以参考下
    2017-02-02
  • golang利用unsafe操作未导出变量-Pointer使用详解

    golang利用unsafe操作未导出变量-Pointer使用详解

    这篇文章主要给大家介绍了关于golang利用unsafe操作未导出变量-Pointer使用的相关资料,文中通过示例代码介绍的非常详细,需要的朋友可以参考借鉴,下面随着小编来一起学习学习吧
    2018-08-08
  • go panic时如何让函数返回数据?

    go panic时如何让函数返回数据?

    今天小编就为大家分享一篇关于go panic时如何让函数返回数据?,小编觉得内容挺不错的,现在分享给大家,具有很好的参考价值,需要的朋友一起跟随小编来看看吧
    2019-04-04
  • Go语言中io.Reader和io.Writer的详解与实现

    Go语言中io.Reader和io.Writer的详解与实现

    在Go语言的实际编程中,几乎所有的数据结构都围绕接口展开,接口是Go语言中所有数据结构的核心。在使用Go语言的过程中,无论你是实现web应用程序,还是控制台输入输出,又或者是网络操作,不可避免的会遇到IO操作,使用到io.Reader和io.Writer接口。下面来详细看看。
    2016-09-09
  • 详解golang consul-grpc 服务注册与发现

    详解golang consul-grpc 服务注册与发现

    这篇文章主要介绍了详解golang consul-grpc 服务注册与发现,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2018-06-06
  • golang image图片处理示例

    golang image图片处理示例

    这篇文章主要介绍了golang image图片处理的方法,结合实例形式分析了Go语言针对图片的打开、读取、转换等相关操作技巧,需要的朋友可以参考下
    2016-07-07
  • golang执行命令获取执行结果状态(推荐)

    golang执行命令获取执行结果状态(推荐)

    这篇文章主要介绍了golang执行命令获取执行结果状态的相关知识,非常不错,具有一定的参考借鉴价值,需要的朋友参考下吧
    2019-11-11
  • 深入Golang之context的用法详解

    深入Golang之context的用法详解

    本篇文章主要介绍了深入Golang之context的用法详解,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2018-03-03
  • go install/build生成的文件命名和路径操作

    go install/build生成的文件命名和路径操作

    这篇文章主要介绍了go install/build生成的文件命名和路径操作,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2020-12-12

最新评论