反射是指在程序运行期对程序本身进行访问和修改的能力。程序在编译时,变量被转换为内存地址,变量名不会被编译器写入到可执行部分。在运行程序时,程序无法获取自身的信息。
支持反射的语言可以在程序编译期将变量的反射信息,如字段名称、类型信息、结构体信息等整合到可执行文件中,并给程序提供接口访问反射信息,这样就可以在程序运行期获取类型的反射信息,并且有能力修改它们。
为什么需要反射
当我们需要去处理一个未知类型参数的时候,为了不繁琐的去写更多的测试用例,我们可以借助反射来获取他的动态信息
反射三定律
反射可以将接口类型变量 转换为“反射类型对象”;
反射可以将 “反射类型对象”转换为 接口类型变量;
如果要修改 “反射类型对象” 其类型必须是 可写的;
reflect.Type和reflect.Value
reflect.TypeOf函数接收任何interface{}类型,并以reflect.Type的形式返回动态类型
t := reflect.TypeOf(3)
fmt.Println(t) //"int"
reflect.Type接口是满足fmt.Stringer接口的,fmt.Printf提供了一个缩写%T的参数,内部使用的就是reflect.TypeOf来输出
fmt.Printf("%T",3) //"int"
reflect.Value可以装载任意类型的值,函数reflect.YalueOf接受任何的interface{}类型,并返回一个装载其动态值的reflect.Value
v := reflect.ValueOf(3)
fmt.Printlan(v) //"3"
和reflect.TyoeOf类似,reflect.Value也实现fmt.Stringer接口
fmt.Printf("%v\n",v) //"3"
对Value调用Type方法返回其类型对应的rflect.Type
t := v.Type()
fmt.Println(t) //"int"
调用Interface方法,可以返回一个interface{}类型,承载着相同的值,一个空接口隐藏了值内部的表示方式和所有方法
v := reflect.ValueOf(3)
x := v.Interface() // 类型为interface
i := x.(int) // 类型为int
type name和type kind
参考:Go语言基础之反射 | 李文周的博客 (liwenzhou.com)
在反射中关于类型还划分为两种:类型(Type)
和种类(Kind)
。因为在Go语言中我们可以使用type关键字构造很多自定义类型,而种类(Kind)
就是指底层的类型,但在反射中,当需要区分指针、结构体等大品种的类型时,就会用到种类(Kind)
。 举个例子,我们定义了两个指针类型和两个结构体类型,通过反射查看它们的类型和种类。
package main
import (
"fmt"
"reflect"
)
type myInt int64
func reflectType(x interface{}) {
t := reflect.TypeOf(x)
fmt.Printf("type:%v kind:%v\n", t.Name(), t.Kind())
}
func main() {
var a *float32 // 指针
var b myInt // 自定义类型
var c rune // 类型别名
reflectType(a) // type: kind:ptr
reflectType(b) // type:myInt kind:int64
reflectType(c) // type:int32 kind:int32
type person struct {
name string
age int
}
type book struct{ title string }
var d = person{
name: "沙河小王子",
age: 18,
}
var e = book{title: "《跟小王子学Go语言》"}
reflectType(d) // type:person kind:struct
reflectType(e) // type:book kind:struct
}
Go语言的反射中像数组、切片、Map、指针等类型的变量,它们的.Name()
都是返回空
。
在reflect
包中定义的Kind类型如下:
type Kind uint
const (
Invalid Kind = iota // 非法类型
Bool // 布尔型
Int // 有符号整型
Int8 // 有符号8位整型
Int16 // 有符号16位整型
Int32 // 有符号32位整型
Int64 // 有符号64位整型
Uint // 无符号整型
Uint8 // 无符号8位整型
Uint16 // 无符号16位整型
Uint32 // 无符号32位整型
Uint64 // 无符号64位整型
Uintptr // 指针
Float32 // 单精度浮点数
Float64 // 双精度浮点数
Complex64 // 64位复数类型
Complex128 // 128位复数类型
Array // 数组
Chan // 通道
Func // 函数
Interface // 接口
Map // 映射
Ptr // 指针
Slice // 切片
String // 字符串
Struct // 结构体
UnsafePointer // 底层指针
)
想要在函数中通过反射修改变量的值,需要注意函数参数传递的是值拷贝,必须传递变量地址才能修改变量值。而反射中使用专有的Elem()
方法来获取指针对应的值。
package main
import (
"fmt"
"reflect"
)
func reflectSetValue1(x interface{}) {
v := reflect.ValueOf(x)
if v.Kind() == reflect.Int64 {
v.SetInt(200) //修改的是副本,reflect包会引发panic
}
}
func reflectSetValue2(x interface{}) {
v := reflect.ValueOf(x)
// 反射中使用 Elem()方法获取指针对应的值
if v.Elem().Kind() == reflect.Int64 {
v.Elem().SetInt(200)
}
}
func main() {
var a int64 = 100
// reflectSetValue1(a) //panic: reflect: reflect.Value.SetInt using unaddressable value
reflectSetValue2(&a)
fmt.Println(a)
}
func (Value) SetInt
func (v Value) SetInt(x int64)
设置v的持有值。如果v的Kind不是Int、Int8、Int16、Int32、Int64之一或者v.CanSet()返回假,会panic。
更多设置值的方法详见:Go语言标准库文档中文版 | Go语言中文网 | Golang中文社区 | Golang中国 (studygolang.com)
类型转换
package main
import (
"fmt"
"reflect"
)
func main() {
var age int = 25
v1 := reflect.ValueOf(age)
fmt.Printf("转换前, type: %T, value: %v \n", v1, v1) //reflect.Value
v2 := v1.Int()
fmt.Printf("转换后, type: %T, value: %v \n", v2, v2) //int64
}
Float(),String(),Bool(),Interface(),Pointer()同理,最后一个是转成指针
IsNil()
报告v持有的值是否为nil。v持有的值的分类必须是通道、函数、接口、映射、指针、切片之一;否则IsNil函数会导致panic。
func (v Value) IsNil() bool
IsValid()
返回v是否持有一个值。如果v是Value零值会返回假,此时v除了IsValid、String、Kind之外的方法都会导致panic。
func (v Value) IsValid() bool
与结构体反射相关的方法
任意值通过reflect.TypeOf()
获得反射对象信息后,如果它的类型是结构体,可以通过反射值对象(reflect.Type
)的NumField()
和Field()
方法获得结构体成员的详细信息。
reflect.Type
中与获取结构体成员相关的的方法如下表所示。
方法 | 说明 |
---|---|
Field(i int) StructField | 根据索引,返回索引对应的结构体字段的信息。 |
NumField() int | 返回结构体成员字段数量。 |
FieldByName(name string) (StructField, bool) | 根据给定字符串返回字符串对应的结构体字段的信息。 |
FieldByIndex(index []int) StructField | 多层成员访问时,根据 []int 提供的每个结构体的字段索引,返回字段的信息。 |
FieldByNameFunc(match func(string) bool) (StructField,bool) | 根据传入的匹配函数匹配需要的字段。 |
NumMethod() int | 返回该类型的方法集中方法的数目 |
Method(int) Method | 返回该类型方法集中的第i个方法 |
MethodByName(string)(Method, bool) | 根据方法名返回该类型方法集中的方法 |
以下参考:2.8 学习反射:全面学习反射的函数 — Go编程时光 1.0.0 documentation (iswbm.com)
反射 提供了一些在早期高级语言中难以实现的运行时特性
-
可以在一定程度上避免硬编码,提供灵活性和通用性。
-
可以作为一个第一类对象发现并修改源代码的结构(如代码块、类、方法、协议等)。
-
可以在运行时像对待源代码语句一样动态解析字符串中可执行的代码(类似JavaScript的eval()函数),进而可将跟class或function匹配的字符串转换成class或function的调用或引用。
-
可以创建一个新的语言字节码解释器来给编程结构一个新的意义或用途。
劣势
-
此技术的学习成本高。面向反射的编程需要较多的高级知识,包括框架、关系映射和对象交互,以实现更通用的代码执行。
-
同样因为反射的概念和语法都比较抽象,过多地滥用反射技术会使得代码难以被其他人读懂,不利于合作与交流。
-
由于将部分信息检查工作从编译期推迟到了运行期,此举在提高了代码灵活性的同时,牺牲了一点点运行效率。
通过深入学习反射的特性和技巧,它的劣势可以尽量避免,但这需要许多时间和经验的积累。
几点说明
-
有 reflect 的代码一般都较难理解,使用时请注意适当。
-
Golang 的反射很慢,这个和它的 API 设计有关
-
反射是一个高级知识点,内容很多,不容易掌握,应该小心谨慎的使用它
-
不到不得不用的地步,能避免使用反射就不用。
在开发中,你或许会碰到在有些情况下,你需要获取一个对象的类型,属性及方法,而这个过程其实就是 反射。
通过反射你可以实现一些动态的功能,提高了 Go 作为一门静态语言的灵活性。
注意:
- 基于反射的代码是极其脆弱的,反射中的类型错误会在真正运行的时候才会引发panic,那很可能是在代码写完的很长时间之后。
- 大量使用反射的代码通常难以理解。
- 反射的性能低下,基于反射实现的代码通常比正常代码运行速度慢一到两个数量级