Golang标准库揭秘系列 | Reflect 反射

简介: Golang Reflect


theme: smartblue
highlight: vs2015


🔰 全文字数 : 8K+
🕒 阅读时长 : 10min
📋 关键词汇 : golang / reflect
👉 欢迎关注 : 大摩羯先生


什么是反射


  这篇主要聊聊Golang中的Reflect,也就是反射Golang是一种强类型、静态类型的语言,在编译期就已经确定好每个变量的类型,反射提供的是程序在运行时可以访问、检测、修改自身状态或行为的一种能力,使得编程语言能够有一定的动态能力


  众所周知,编程语言都是依靠一定的组织结构来构建的,比如代码块、类、方法、字段等,而这里面最原子的表达单位就是承载一个个数据传递的变量,变量又会按照特定的数据格式表示为字符串数值型布尔型等各种类型,我们可以用字符串描述一段话,用数值来实现数学运算,用布尔表示是或否,在利用编程语言提供的不同类型构建编码时,其实都是对现实世界的一种抽象和映射,而且这一切都是建立在明确的意图表达上的,这种明确的意图表达能否让我们选择编程语言提供的具体的某一个数据类型来匹配。


  特别的是,现实世界里的诉求是复杂的,有很多时候我们并不能提前明确意图,比如我们要实现一个收集用户信息的方法,最开始我们只定义允许用户传入一个字符串来传递姓名即可,如下:


func CollectUserInfoV1(name string) {

  fmt.Println("姓名:", name)

}


随着需求的丰富,我们还要收集用户的年龄、住址、电话等信息,于是我们可以把这些信息封装到一个结构体中,直接传递这个结构体,如下:


func CollectUserInfoV2(user *User) {

  fmt.Println("姓名:", user.Name)

  fmt.Println("年龄:", user.Age)

  fmt.Println("住址:", user.Address)

  fmt.Println("电话:", user.Phone)

}


现在用户信息丰富了,之后还会有批量诉求,要支持传入批量,于是改造如下:


func CollectUserInfoV3(users []*User) {

  for _, user := range users {

     fmt.Println("姓名:", user.Name)

     fmt.Println("年龄:", user.Age)

     fmt.Println("住址:", user.Address)

     fmt.Println("电话:", user.Phone)

  }

}


  如上,我们已经拥有了3个版本的方法来支持各种不同差异化的参数了,未来还有扩容的可能性,比如为了检索的便利性,可能需要一个以用户ID为Key,用户信息为ValueMap<userId,*UserInfo>样式的数据结构。


 至此,我们遇到的问题就是不能预先确定参数类型,需要动态的执行不同参数类型行为,这便是反射要做的事情,下面我们引入Reflect包来识别不同类型参数,动态的路由到不同的处理单元中解析参数然后执行对应的逻辑,如下:


func CollectUserInfo(param interface{}) {

  val := reflect.ValueOf(param)

  switch val.Kind() {

  case reflect.String:

     fmt.Println("姓名:", val.String())

  case reflect.Struct:

     fmt.Println("姓名:", val.FieldByName("Name"))

     fmt.Println("年龄:", val.FieldByName("Age"))

     fmt.Println("住址:", val.FieldByName("Address"))

     fmt.Println("电话:", val.FieldByName("Phone"))

  case reflect.Ptr:

     fmt.Println("姓名:", val.Elem().FieldByName("Name"))

     fmt.Println("年龄:", val.Elem().FieldByName("Age"))

     fmt.Println("住址:", val.Elem().FieldByName("Address"))

     fmt.Println("电话:", val.Elem().FieldByName("Phone"))

  case reflect.Array, reflect.Slice:

     for i := 0; i < val.Len(); i++ {

        fmt.Println("姓名:", val.Index(i).FieldByName("Name"))

        fmt.Println("年龄:", val.Index(i).FieldByName("Age"))

        fmt.Println("住址:", val.Index(i).FieldByName("Address"))

        fmt.Println("电话:", val.Index(i).FieldByName("Phone"))

     }

  case reflect.Map:

     itr := val.MapRange()

     for itr.Next() {

        fmt.Println("用户ID:", itr.Key())

        fmt.Println("姓名:", itr.Value().Elem().FieldByName("Name"))

        fmt.Println("年龄:", itr.Value().Elem().FieldByName("Age"))

        fmt.Println("住址:", itr.Value().Elem().FieldByName("Address"))

        fmt.Println("电话:", itr.Value().Elem().FieldByName("Phone"))

     }

  default:

     panic("unsupport type !!!")

  }

}


func TestCollectUserInfo(t *testing.T) {

  //string

  CollectUserInfo("张三")

  // 姓名: 张三


  //Struct

  CollectUserInfo(User{

     Name:    "张三",

     Age:     20,

     Address: "北京市海淀区",

     Phone:   1234567,

  })

  //姓名: 张三

  //年龄: 20

  //住址: 北京市海淀区

  //电话: 1234567


  //Ptr

  CollectUserInfo(&User{

     Name:    "张三",

     Age:     20,

     Address: "北京市海淀区",

     Phone:   1234567,

  })

  //姓名: 张三

  //年龄: 20

  //住址: 北京市海淀区

  //电话: 1234567


  //Slice

  CollectUserInfo([]User{

     {

        Name:    "张三",

        Age:     20,

        Address: "北京市海淀区",

        Phone:   1234567,

     },

     {

        Name:    "李四",

        Age:     30,

        Address: "北京市朝阳区",

        Phone:   7654321,

     },

  })

  //姓名: 张三

  //年龄: 20

  //住址: 北京市海淀区

  //电话: 1234567

  //姓名: 李四

  //年龄: 30

  //住址: 北京市朝阳区

  //电话: 7654321


  //Array

  CollectUserInfo([2]User{

     {

        Name:    "张三",

        Age:     20,

        Address: "北京市海淀区",

        Phone:   1234567,

     },

     {

        Name:    "李四",

        Age:     30,

        Address: "北京市朝阳区",

        Phone:   7654321,

     },

  })

  //姓名: 张三

  //年龄: 20

  //住址: 北京市海淀区

  //电话: 1234567

  //姓名: 李四

  //年龄: 30

  //住址: 北京市朝阳区

  //电话: 7654321


  CollectUserInfo(map[int]*User{

     1: {

        Name:    "张三",

        Age:     20,

        Address: "北京市海淀区",

        Phone:   1234567,

     },

     2: {

        Name:    "李四",

        Age:     30,

        Address: "北京市朝阳区",

        Phone:   7654321,

     },

  })

  //用户ID: 1

  //姓名: 张三

  //年龄: 20

  //住址: 北京市海淀区

  //电话: 1234567

  //用户ID: 2

  //姓名: 李四

  //年龄: 30

  //住址: 北京市朝阳区

  //电话: 7654321

}


  这样,我们把所有类型的参数都封装到一个函数方法中,未来的变化,扩展化外部是不需要感知的,有没有体会到反射功能的强大呢!


Reflect源码构成


  源码之下无秘密。这里基于Go1.16深入源码之中结合注释内容进行层层剖析!reflect包下内容可以大体分为三部分:测试文件编译文件反射核心代码,这里主要围绕核心代码展开。


网络异常,图片无法展示
|


  按照reflect的介绍,这个包主要是实现了运行时反射,允许程序操作任意类型的对象。典型用法是:


  • 用静态类型interface{}保存一个值,通过调用TypeOf获取其动态类型信息,该函数返回一个Type类型值。
  • 调用ValueOf函数返回一个Value类型值,该值代表运行时的数据。


  也就是说,通过interface{},调用对应方法可以获取到TypeValue,在Golanginterface{}可以代表所有类型,那么数据类型与反射之间的关系可以简单总结如下:


网络异常,图片无法展示
|


type.go


网络异常,图片无法展示
|


  在type.go中最核心内容由Type方法定义、rtype元数据定义两部分构成。


定义

描述

角色

可见性

功能

Type

类型能力定义,类型方法的抽象;Method

Kind

ChanDir

StructField

等属于表达Type能力定义的一部分

行为,功能映射

可导出,供外部使用

提供支持所有类型的通用方法、只支持具体类型的方法

rtype

元数据定义,类型数据的组织结构,衍生出arrayType

chanType

mapType

sliceType

等常见聚合结构的类型结构定义

元数据,内存映射

不可导出,内部使用

作为具体类型方法的基础数据,具体衍生的类型结构也是不可导出的,内部使用


Type


Type接口定义的源码及注释翻译如下:


// Type类型值是可比较的,例如使用==运算符,因此它们可以用作映射键。

// 如果两个类型值表示相同的类型,则它们相等。

type Type interface {

  // 适用于所有类型的方法.


  // Align在内存中分配时返回此类型值的字节对齐方式

  Align() int


  // FieldAlign在结构中用作字段时,返回此类型值的字节对齐方式

  FieldAlign() int


  // 方法返回类型的方法集中的第i个方法。如果不在范围[0,NumMethod())内,会导致panic.

  // 对于非接口类型T或*T,返回的方法的type和Func字段描述其第一个参数为接收器的函数,并且只有导出的方法才可访问

  // 对于接口类型,返回方法的类型字段给出了方法签名,没有接收器,而Func字段为零

  // 方法按字典顺序排序

  Method(int) Method


  // MethodByName返回在类型的方法集中具有该名称的方法,并返回一个布尔值,指示是否找到该方法

  // 对于非接口类型T或*T,返回方法的type和Func字段描述其第一个参数为接收器的函数

  // 对于接口类型,返回的方法的类型字段给出了方法签名,没有接收器,而Func字段为零

  MethodByName(string) (Method, bool)


  // NumMethod返回使用方法可访问的方法数

  // 注意,NumMethod仅对接口类型统计未导出的方法

  NumMethod() int


  // Name返回定义类型的包中的类型名称

  // 对于其他(未定义)类型,它返回空字符串

  Name() string


  // PkgPath返回定义类型的包路径,即唯一标识包的导入路径,例如“encoding/base64”

  // 如果类型已预先声明(字符串、错误)或未定义(*T、struct{}、[]int或A,其中A是未定义类型的别名),则包路径将为空字符串

  PkgPath() string


  // Size返回存储给定类型的值所需的字节数;这类似于unsafe.Sizeof()的功能

  Size() uintptr


  // String返回类型的字符串表示形式。

  // 字符串表示可以使用缩短的包名(例如,base64而不是“encoding/base64”),并且不能保证在类型中是唯一的。要测试类型标识,请直接比较类型。

  String() string


  // Kind返回此类型的特定种类

  Kind() Kind


  // 报告类型是否实现接口类型u

  Implements(u Type) bool


  // 报告类型的值是否可分配给类型u

  AssignableTo(u Type) bool


  // 报告类型的值是否可转换为u类型

  ConvertibleTo(u Type) bool


  // 报告此类型的值是否可比较

  Comparable() bool


  // 仅适用于某些类型的Method取决于Kind

  // 每个Kind类型允许的方法如下:

  // Int*, Uint*, Float*, Complex*: Bits

  // Array: Elem, Len

  // Chan: ChanDir, Elem

  // Func: In, NumIn, Out, NumOut, IsVariadic.

  // Map: Key, Elem

  // Ptr: Elem

  // Slice: Elem

  // Struct: Field, FieldByIndex, FieldByName, FieldByNameFunc, NumField


  // Bits返回类型的大小(以位为单位)

  // 如果类型的种类不是大小为或未大小为Int、Uint、Float或Complex的种类之一,则会导致panic。

  Bits() int


  // ChanDir返回通道类型的方向

  // 如果类型不是Chan,它会panic.

  ChanDir() ChanDir


  // IsVariadic报告函数类型的最终输入参数是否为“…”参数如果是,t.In(t.NumIn()-1)返回参数的隐式实际类型[]T

  // 具体举例,如果t表示func(x int,y…float64),则

  // t.NumIn() == 2

  // t.In(0) is the reflect.Type for "int"

  // t.In(1) is the reflect.Type for "[]float64"

  // t.IsVariadic() == true

 

  // 如果类型的种类不是Func会panic

  IsVariadic() bool


  // Elem返回类型的元素类型

  // 如果类型的种类不是Array、Chan、Map、Ptr或Slice,会出现panic

  Elem() Type


  // 字段返回结构类型的第i个字段

  // 如果类型的种类不是Struct,它就会panic

  // 如果不在范围[0,NumField())内,它就会panic

  Field(i int) StructField


  // FieldByIndex返回与索引序列对应的嵌套字段。它相当于为每个索引i依次调用字段

  // 如果类型的种类不是Struct,它就会panic

  FieldByIndex(index []int) StructField


  // FieldByName返回具有给定名称和布尔值的结构字段,该布尔值指示是否找到该字段

  FieldByName(name string) (StructField, bool)


  // FieldByNameFunc返回结构字段,其名称满足匹配函数,布尔值指示是否找到该字段

  // FieldByNameFunc首先考虑结构本身中的字段,然后考虑任何嵌入结构中的字段,按广度优先顺序,在包含一个或多个满足匹配函数的字段的最浅嵌套深度处停止

  // 如果该深度的多个字段满足match函数,则它们会相互抵消,FieldByNameFunc不会返回匹配

  // 此行为反映了Go在包含嵌入字段的结构中处理名称查找的方式

  FieldByNameFunc(match func(string) bool) (StructField, bool)


  // In返回函数类型的第i个输入参数的类型

  // 如果类型的种类不是Func,它就会panic

  // 如果不在范围[0,NumIn())内,它就会panic

  In(i int) Type


  // Key返回映射类型的键类型

  // 如果类型的类型不是Map,它会感到panic

  Key() Type


  // Len返回数组类型的长度

  // 如果类型的种类不是数组,它就会panic

  Len() int


  // NumField返回结构类型的字段计数

  // 如果类型的种类不是Struct,它就会panic

  NumField() int


  // NumIn返回函数类型的输入参数计数

  // 如果类型的种类不是Func,它就会panic

  NumIn() int


  // NumOut返回函数类型的输出参数计数

  // 如果类型的种类不是Func,它就会panic

  NumOut() int


  // Out返回函数类型的第i个输出参数的类型

  // 如果类型的种类不是Func,它就会panic

  // 如果不在范围[0,NumOut())内,它就会panic

  Out(i int) Type


  common() *rtype

  uncommon() *uncommonType

}


在此接口的定义前注释给出了Type的一些使用姿势:


  • 并非所有方法都适用于所有类型,Type定义方法都有其限制条件
  • 在调用特定于种类的方法之前,请使用Kind() 方法找出类型的种类
  • 调用不适合该类型的方法会导致运行时Panic


消化下核心要点,Type的接口定义并不适合所有类型,那么我们来看下Kind() 都定义了哪些类型呢?答案就在type Kind uint中,对Golang中支持的类型进行了统一定义,如下:


type Kind uint


const (

 Invalid Kind = iota

 Bool

 Int

 Int8

 Int16

 Int32

 Int64

 Uint

 Uint8

 Uint16

 Uint32

 Uint64

 Uintptr

 Float32

 Float64

 Complex64

 Complex128

 Array

 Chan

 Func

 Interface

 Map

 Ptr

 Slice

 String

 Struct

 UnsafePointer

)


  此外,不同类型Type支持不同的方法或行为,需要按照Kind列表中具体类型来进行合理调用支持的方法,错误地调用会产生panic


  整理下Type给不同类型定义提供了哪些通用化差异化的能力定义支持:


Type定义方法

适用类型

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

Int , Uint , Float , Complex

Elem() Type

Array , Chan , Map , Ptr , Slice

Len() int

Array

ChanDir() ChanDir

Chan

In(i int) Type

Func

NumIn() int

Func

Out(i int) Type

Func

NumOut() int

Func

IsVariadic() bool

Func

Key() Type

Map

Field(i int) StructField

Struct

FieldByIndex(index []int) StructField

Struct

FieldByName(name string) (StructField, bool)

Struct

FieldByNameFunc(match func(string) bool) (StructField, bool)

Struct

NumField() int

Struct


rtype


再来看下rtype元数据定义结构:


type rtype struct {

  size       uintptr

  ptrdata    uintptr // rtype可以包含指针的字节数

  hash       uint32  // rtype哈希值;避免哈希表中的计算

  tflag      tflag   // 额外的类型信息标识

  align      uint8   // 当前具体类型变量的内存对齐

  fieldAlign uint8   // 当前具体类型结构体字段的内存对齐

  kind       uint8   // 具体Kind的枚举值

  // 当前具体类型使用的对比方法

  // (ptr to object A, ptr to object B) -> ==?

  equal     func(unsafe.Pointer, unsafe.Pointer) bool

  gcdata    *byte   // 垃圾回收数据

  str       nameOff // 字符串格式

  ptrToThis typeOff // 指向此类型的指针的类型,可以为零

}


value.go


type.go类似,在value.go中最核心的是type Value struct,它对Value进行了抽象定义,这个文件内的其他代码也围绕此来构建做能力支持。Value结构体定义的源码及注释翻译如下:


// Value是Go值的反射.


// 并非所有方法都适用于所有类型的值。每种方法的文档中都注明了限制条件(如有)。

// 在调用特定于种类的方法之前,请使用种类方法找出值的种类。调用不适合该类型的方法会导致运行时panic


// 零值代表未赋值、空值

// 零值的IsValid方法返回false,其Kind方法返回Invalid,其String方法返回“<Invalid Value>”,所有其他方法都无法使用

// 大多数函数和方法从不返回无效值

// 如果有,其文档将明确说明这些条件


// 一个值可以由多个goroutine同时使用,前提是基础Go值可以同时用于等效的直接操作


// 要比较两个值,请比较接口方法的结果。在两个值上使用==不会比较它们表示的基础值

type Value struct {

  // typ保存由值表示的值的类型。

  typ *rtype


  // 指针值数据,或者,如果设置了flagIndir,则为指向数据的指针

  // 设置flagIndir或typ.pointers()为true

  // 这是非常核心的数据,可以把它理解为具体数据的内存位置所在,数据的类型表达依赖它来转换

  ptr unsafe.Pointer


  // flag是一个标志位,通过二进制的方式保存了关于值的元数据

  // 最低位是标志位!最低的五位给出了值的类型,代表Kind的枚举的二进制,一共是27个,用5位表示,其余依次如下:

  // - flagStickyRO: 代表不能导出的非嵌入字段获取,因此为只读

  // - flagEmbedRO: 代表不能导出的嵌入字段获取,因此为只读

  // - flagIndir: 代表持有指向数据的指针

  // - flagAddr: 代表CanAddr方法的返回值标记

  // - flagMethod: 代表是否为一个方法的标记

  // 剩余的高23位给出了方法值的方法编号。

  // 如果flag.Kind()!=Func,代码可以假设flagMethod未设置。

  // 如果ifaceIndir(typ)为真,则代码可以假设设置了flagIndir。

  flag


  // 方法值表示当前的方法调用,就像接收者r调用r.Read方法。typ+val+flag的标志位描述r的话,但flag的Kind标志位表示Func(方法是函数),flag的高位表示r类型的方法列表中的方法编号

}


可以看到,Value主要由typ(*rtype)ptr(unsafe.Pointer)flag(uintptr)构成。


组成

功能

typ(*rtype)

数据存储,内存映射

ptr(unsafe.Pointer)

指针

flag(uintptr)

二进制标记


来看下flag的枚举定义以及标志位的二进制占位分布情况:


网络异常,图片无法展示
|


type flag uintptr


const (

  flagKindWidth        = 5 // 有27个Kind类型,5位可以容纳2^5可以表示32个类型

  flagKindMask    flag = 1<<flagKindWidth - 1

  flagStickyRO    flag = 1 << 5

  flagEmbedRO     flag = 1 << 6

  flagIndir       flag = 1 << 7

  flagAddr        flag = 1 << 8

  flagMethod      flag = 1 << 9

  flagMethodShift      = 10

  flagRO          flag = flagStickyRO | flagEmbedRO

)


类似地,Value也提供了通用化差异化的能力定义支持:

Value定义方法

适用类型

Addr() Value

全部

Bool() bool

Bool

Bytes() []byte

Slice

CanAddr() bool

全部

CanSet() bool

全部

Call(in []Value) []Value

Func

CallSlice(in []Value) []Value

Func

Cap() int

Array , Chan , Slice

Close()

Chan

Complex() complex128

Complex64 , Complex128

Elem() Value

Interface , Ptr

Field(i int) Value

Struct

FieldByIndex(index []int) Value

Struct

FieldByName(name string) Value

Struct

FieldByNameFunc(match func(string) bool) Value

Struct

Float() float64

Float32 , Float64

Index(i int) Value

Array , Slice , String

Int() int64

Int*

CanInterface() bool

全部

Interface() (i interface{})

Interface

InterfaceData() [2]uintptr

Interface

IsNil() bool

Chan , Func , Map , Ptr , UnsafePointer , Interface , Slice

IsValid() bool

全部

IsZero() bool

全部

Kind() Kind

全部

Len() int

Array , Chan , Map , Slice , String

MapIndex(key Value) Value

Map

MapKeys() []Value

Map

MapRange() *MapIter

Map

Method(i int) Value

全部

NumMethod() int

全部

MethodByName(name string) Value

全部

NumField() int

Struct

OverflowComplex(x complex128) bool

Complex64 , Complex128

OverflowFloat(x float64) bool

Float32 , Float64

OverflowInt(x int64) bool

Int*

OverflowUint(x uint64) bool

Uint*

Pointer() uintptr

Ptr , Chan , Map , UnsafePointer , Func , Slice

Recv() (x Value, ok bool)

Chan

Send(x Value)

Chan

Set(x Value)

全部

SetBool(x bool)

Bool

SetBytes(x []byte)

Slice

SetComplex(x complex128)

Complex64 , Complex128

SetFloat(x float64)

Float32 , Float64

SetInt(x int64)

Int*

SetLen(n int)

Slice

SetCap(n int)

Slice

SetMapIndex(key Value, elem Value)

Map

SetUint(x uint64)

Uint*

SetPointer(x unsafe.Pointer)

UnsafePointer

SetString(x string)

String

Slice(i int, j int) Value

Array , Slice , String

Slice3(i int, j int, k int) Value

Array , Slice , String

String() string

String , Invalid

TryRecv() (x Value, ok bool)

Chan

TrySend(x Value) bool

Chan

Type() Type

全部

Uint() uint64

Uint*

UnsafeAddr() uintptr

全部

Convert(t Type) Value

全部


makefunc.go


makefunc提供了函数反射调用的能力:


// MakeFunc返回一个给定类型的新函数,该函数封装了函数fn。调用时,该新函数执行以下操作:

// - 将其参数转换为一个切片Slice的值。

// - 运行结果:=fn(args)。

// - 将结果作为一个切片Slice的值返回,每个正式结果一个值。


// 实现fn可以假设参数值切片具有typ给定的参数数量和类型。

// 如果typ描述可变函数,则最终值本身是表示可变参数的切片,如在可变函数体中。

// fn返回的结果值切片必须具有typ给定的结果数量和类型。


// Value.Call方法允许调用方根据值调用类型化函数;相反,MakeFunc允许调用方根据值实现类型化函数。


// 文档的示例部分演示了如何使用MakeFunc为不同类型构建交换函数

func MakeFunc(typ Type, fn func(args []Value) (results []Value)) Value {

  if typ.Kind() != Func {

     panic("reflect: call of MakeFunc with non-Func type")

  }


  t := typ.common()

  ftyp := (*funcType)(unsafe.Pointer(t))


  // Go func的间接值(虚拟)以获取实际代码地址。

  // Go func值是指向C函数指针的指针。https://golang.org/s/go11func

  dummy := makeFuncStub

  code := **(**uintptr)(unsafe.Pointer(&dummy))


  // makeFuncImpl包含一个堆栈映射,供运行时使用

  _, argLen, _, stack, _ := funcLayout(ftyp, nil)


  impl := &makeFuncImpl{code: code, stack: stack, argLen: argLen, ftyp: ftyp, fn: fn}


  return Value{t, unsafe.Pointer(impl), flag(Func)}

}


swapper.go


  标准库实现了一个支持Slice切片元素按照索引进行交换的方法,它的底层完全是由Reflect包能力来支持的,可以把它作为一个Reflect使用范例来学习!


func TestSwapper(t *testing.T) {

  s := []int{1,2,3,4,5} // 声明一个切片,元素排列为 [1 2 3 4 5]

  f := reflect.Swapper(s) // 调用reflect.Swapper()方法,出参是一个方法

  f(0,1)          // 调用方法,将索引位 0、1的元素互换

  fmt.Println(s) // 结果为[2 1 3 4 5]

}


deepequal.go


  标准库还实现了一个支持深度比较相等的方法,它的底层也完全是由Reflect包能力来支持的,同样可以把它作为一个Reflect使用范例来学习!


func TestDeepEqual(t *testing.T) {

  x := &User{Name: "zhangsan", Age: 10}

  y := &User{Name: "zhangsan", Age: 10}

  fmt.Println(reflect.DeepEqual(x, y)) // true


  x1 := &User{Name: "zhangsan", Age: 10}

  y1 := &User{Name: "zhangsan", Age: 0}

  fmt.Println(reflect.DeepEqual(x1, y1)) // false


  x2 := map[string]int{"zhangsan": 10}

  y2 := map[string]int{"zhangsan": 10}

  fmt.Println(reflect.DeepEqual(x2, y2)) // true


  x3 := map[string]int{"zhangsan": 10}

  y3 := map[string]int{"lisi": 10}

  fmt.Println(reflect.DeepEqual(x3, y3)) // false

}


反射三大定律


源码中提到了Rob Pike写的关于Go中反射介绍的文章,里面提到使用反射机制的一些规则,可以作为范本规约来从更高视角理解反射。 The Laws of Reflection


Reflection goes from interface value to reflection object


反射可以将 “接口类型变量” 转换为 “反射类型对象”


func TypeOf(i interface{}) Type


func ValueOf(i interface{}) Value


func TestInterface2ReflectionObj(t *testing.T) {

  f := float32(3.14)

  // Interface 转换为 Type

  typ := reflect.TypeOf(f)

  // Interface 转换为 Value

  val := reflect.ValueOf(f)

  fmt.Println(typ) // float32

  fmt.Println(val) // 3.14

}


  反射只是一种检查存储在接口变量中的类型和值对的机制。首先,我们需要了解反射包中的两种类型: 类型。这两种类型可以访问接口变量的内容,以及两个简单的函数,分别是reflect.TypeOfand reflect.ValueOf


Reflection goes from reflection object to interface value


反射可以将 “反射类型对象” 转换为 “接口类型变量”


func (v Value) Interface() (i interface{})


func TestReflectionObj2Interface(t *testing.T) {

  f := float32(3.14)

  // 通过Reflect对象转换Interface

  val := reflect.ValueOf(f)

  // 转换指定的Interface

  fmt.Printf("%T %f \n",val.Interface().(float32),val.Interface().(float32)) // float32 3.140000

}


To modify a reflection object, the value must be settable


想要修改反射对象,它的值必须是可赋值的(可写的)


  什么是可赋值?它依赖Value.CanSet()方法提供判断,其内部是根据flagAddr进行判断的,这里参考反射定律的描述进行了一些可赋值的测试代码:


func TestSettable(t *testing.T) {

  //****可赋值****

  //声明一个对象,并初始化赋值

  user := &User{Name: "zhangsan",Age: 10}

  // 判断是否可赋值

  fmt.Println(reflect.ValueOf(user).CanSet())        // false

  fmt.Println(reflect.ValueOf(user).Elem().CanSet()) // true

  // 获取对象user中Name字段的值

  fmt.Println(reflect.ValueOf(user).Elem().FieldByName("Name")) // zhangsan

  // 获取对象user中Age字段的值

  fmt.Println(reflect.ValueOf(user).Elem().FieldByName("Age")) // 10

  reflect.ValueOf(user).Elem().Field(0).SetString("lisi")

  reflect.ValueOf(user).Elem().Field(1).SetInt(20)

  fmt.Println(user) // &{lisi 20}


  //****不可赋值****

  f := float32(3.14)

  // 这里的f是一个临时变量声明,由于安全性和变更的未知性带来的潜在问题,这里是不可寻址的

  fmt.Println(reflect.ValueOf(f), reflect.ValueOf(f).CanSet()) // 3.14 false

  // &f是指向变量f的指针变量,对于此和f的变量的不可寻址本质是一样的

  fmt.Println(reflect.ValueOf(&f), reflect.ValueOf(&f).CanSet()) // 0xc0000182e8 false

  //****可赋值****

  //这里调用Elem主要是复制了&f地址空间,并使返回的Elem(&f)变为可赋值!

  fmt.Println(reflect.ValueOf(&f).Elem(), reflect.ValueOf(&f).Elem().CanSet()) // 3.14 true

}


  不难发现,都是通过调用Value.Elem()进行了可赋值操作,该方法内部重新拷贝了原Value结构,并给标志位flagAddr打标,使其变为可赋值。这样做的好处是可以通过该属性flagAddr来灵活控制是否可赋值,而不是作为一种默认功能来支持,避免在变量赋值、拷贝等处理过程中产生歧义和问题,具体可以参考反射定律中对该问题的阐述。


反射的应用


  反射在Golang的应用非常广泛,这里展示一段标准库中encoding/json的片段,大量使用到Reflect包来进行类型映射和动态处理


// newTypeEncoder constructs an encoderFunc for a type.

// The returned encoder only checks CanAddr when allowAddr is true.

func newTypeEncoder(t reflect.Type, allowAddr bool) encoderFunc {

  // If we have a non-pointer value whose type implements

  // Marshaler with a value receiver, then we're better off taking

  // the address of the value - otherwise we end up with an

  // allocation as we cast the value to an interface.

  if t.Kind() != reflect.Ptr && allowAddr && reflect.PtrTo(t).Implements(marshalerType) {

     return newCondAddrEncoder(addrMarshalerEncoder, newTypeEncoder(t, false))

  }

  if t.Implements(marshalerType) {

     return marshalerEncoder

  }

  if t.Kind() != reflect.Ptr && allowAddr && reflect.PtrTo(t).Implements(textMarshalerType) {

     return newCondAddrEncoder(addrTextMarshalerEncoder, newTypeEncoder(t, false))

  }

  if t.Implements(textMarshalerType) {

     return textMarshalerEncoder

  }


  switch t.Kind() {

  case reflect.Bool:

     return boolEncoder

  case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:

     return intEncoder

  case reflect.Uint, reflect.Uint8, reflect.Uint16, reflect.Uint32, reflect.Uint64, reflect.Uintptr:

     return uintEncoder

  case reflect.Float32:

     return float32Encoder

  case reflect.Float64:

     return float64Encoder

  case reflect.String:

     return stringEncoder

  case reflect.Interface:

     return interfaceEncoder

  case reflect.Struct:

     return newStructEncoder(t)

  case reflect.Map:

     return newMapEncoder(t)

  case reflect.Slice:

     return newSliceEncoder(t)

  case reflect.Array:

     return newArrayEncoder(t)

  case reflect.Ptr:

     return newPtrEncoder(t)

  default:

     return unsupportedTypeEncoder

  }

}


总结


网络异常,图片无法展示
|


  可以从三层视角来理解反射在Golang中发挥的作用:


  • 业务代码
      业务代码的数据组织方式完全交由开发者决定,基于Golang提供的数据类型构建出丰富的业务功能,这是现实业务与编程语言的抽象映射。
  • 标准库
      Golang中数据类型是多样、复杂的,它通过定义通用的数据结构和组织方式将复杂类型从朴素的内存空间的存储单元中抽象、拼装出来,具体存储的位置和数据类型是无关的,只关乎于数据是否匹配预先设置的格式空间要求,一旦满足即可完成内存到丰富数据表现的转换能力!
      interface{}更面向对象角度便于开发者使用和操作,更偏向于上层,无需关心字符串、数值、布尔这些数据类型是如何存储和内存转换的,直接操作这些”成品“即可;而reflect更面向数据存储、内存映射便于裸数据到具体上游数据类型的转换,更偏向于底层,这些数据组织方式更像是半成品,还有很多可塑和操作空间。reflect提供了TypeOf、ValueOf方法与interface{}进行转换和数据交互。
  • 内存空间
      内存空间是程序在运行时客观驻留的物理空间,无论在Golang中是字符串、数值、布尔这种简单的数据类型,还是Map、结构体、数组、切片等复杂的数据类型,在内存空间的表现都可以统一表示为偏移量


优点


  • 避免硬编码,提供灵活性和通用性
  • 可以作为第一类对象发现并修改源码结构(代码块、类、方法、协议等)


缺点


  • 可读性差 反射不同于一般的业务代码那样容易理解和通用,需要一定的背景知识才可以读懂它
  • 错误风险 在Go语言中,interface的定义类型是不确定的,带来便利性的同时也伴随着panic风险
  • 性能开销 反射需要进行动态地类型匹配和寻址操作,存在一定性能损耗


参考


Golang标准库文档
Go夜谈 #108 Golang 反射应用及源码分析
Go官方反射介绍
《Go语言圣经》反射章节 手摸手Go 接口与反射

相关文章
|
4天前
|
存储 Cloud Native Shell
go库介绍:Golang中的Viper库
Viper 是 Golang 中的一个强大配置管理库,支持环境变量、命令行参数、远程配置等多种配置来源。本文详细介绍了 Viper 的核心特点、应用场景及使用方法,并通过示例展示了其强大功能。无论是简单的 CLI 工具还是复杂的分布式系统,Viper 都能提供优雅的配置管理方案。
|
2月前
|
Unix Go
Golang语言标准库time之日期和时间相关函数
这篇文章是关于Go语言日期和时间处理的文章,介绍了如何使用Go标准库中的time包来处理日期和时间。
45 3
|
3月前
|
JSON Go API
一文搞懂 Golang 高性能日志库 - Zap
一文搞懂 Golang 高性能日志库 - Zap
178 2
|
3月前
|
存储 JSON Go
一文搞懂 Golang 高性能日志库 Zerolog
一文搞懂 Golang 高性能日志库 Zerolog
282 0
|
3月前
|
存储 人工智能 Go
golang 反射基本原理及用法
golang 反射基本原理及用法
27 0
|
3月前
|
JSON Go 数据格式
[golang]标准库-json
[golang]标准库-json
|
5月前
|
SQL NoSQL Go
技术经验分享:Golang标准库:errors包应用
技术经验分享:Golang标准库:errors包应用
40 0
|
6月前
|
Go
Golang标准库sync的使用
Golang标准库sync的使用
55 2
|
6月前
|
存储 网络协议 Go
7天玩转 Golang 标准库之 http/net
7天玩转 Golang 标准库之 http/net
59 2
|
6月前
|
Go 开发工具 git
7天玩转 Golang 标准库之 flag
7天玩转 Golang 标准库之 flag
45 2