这个是为了接上之前的语法篇的。按照我的学习计划,这里此时应该有一个小项目来做一个统合。但是吧,突然觉得,似乎也没必要。能学go的大部分肯定都是有其他语言的基础的。
接下来说反射
文章目录
- 反射介绍
- reflect包
- TypeOf
- type name和type kind
- type kind
- type name
- ValueOf
- 通过反射设置变量的值
- isNil()和isValid()
- 结构体反射
- StructField类型
- 例子
- 双刃剑
反射介绍
变量机制
Go语言中的变量是分为两部分的:
类型信息
:预先定义好的元信息。值信息
:程序运行过程中可动态变化的。
程序运行
反射
是指在程序运行
期间对程序本身
进行访问
和修改
的能力。
程序在编译
时,变量
被转换为内存地址
,变量名
不会被编译器写入
到可执行部分。
在运行程序时,程序无法获取自身的信息。
解决这个问题
支持反射的语言
可以在程序编译期间
将变量的反射信息
,如字段名称、类型信息、结构体信息等整合到可执行文件
中,并给程序提供接口访问反射信息,这样就可以在程序运行期间
获取类型的反射信息
,并且有能力修改它们
。
Go程序在运行期间使用reflect包
访问程序的反射信息.
reflect包
空接口可以存储任意类型的变量,那我们如何知道这个空接口保存的数据是什么呢?
反射就是在运行时动态的
获取一个变量的类型信息
和值信息
。
在接口那一章说,任何接口值都由是一个具体类型
和具体类型的值
两部分组成的。而这个接口值是在Go语言的反射机制中。
在Go语言中反射的相关功能由内置的reflect
包提供,任意接口值在反射中都可以理解为由reflect.Type
和reflect.Value
两部分组成,并且reflect
包提供了reflect.TypeOf
和reflect.ValueOf
两个函数来获取任意对象的Value
和Type
。
TypeOf
在Go语言中,使用reflect.TypeOf()
函数可以获得任意值的类型对象(reflect.Type
),程序通过类型对象可以访问任意值的类型信息
import (
"fmt"
"reflect"
)
func reflectType(x interface{}) {
v := reflect.TypeOf(x)
fmt.Printf("type:%v\n", v)
}
func main() {
var a float32 = 3.14
reflectType(a) // type:float32
var b int64 = 100
reflectType(b) // type:int64
}
type name和type kind
type kind
在反射中关于类型还划分为两种:类型(Type)
和 种类(Kind)
在Go语言中可以使用type关键字
构造很多自定义类型
,而种类(Kind)就是指底层的类型,但在反射中,当需要区分指针、结构体等大品种的类型时,就会用到种类(Kind)
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: "天气正好"}
reflectType(d) // type:person kind:struct
reflectType(e) // type:book kind:struct
}
简单而言就是,我们需要函数名的时候用type,需要定义的指针还是结构体就用kind
type name
Go语言的反射中像数组、切片、Map、指针等类型的变量,它们的.Name()
都是返回空。
ValueOf
reflect.ValueOf()
返回的是reflect.Value
类型,其中包含了原始值的值信息。reflect.Value
与原始值之间可以互相转换。
reflect.Value类型提供的获取原始值的方法:
func reflectValue(x interface{}) {
v := reflect.ValueOf(x)
k := v.Kind()
switch k {
case reflect.Int64:
// v.Int()从反射中获取整型的原始值,然后通过int64()强制类型转换
fmt.Printf("type is int64, value is %d\n", int64(v.Int()))
case reflect.Float32:
// v.Float()从反射中获取浮点型的原始值,然后通过float32()强制类型转换
fmt.Printf("type is float32, value is %f\n", float32(v.Float()))
case reflect.Float64:
// v.Float()从反射中获取浮点型的原始值,然后通过float64()强制类型转换
fmt.Printf("type is float64, value is %f\n", float64(v.Float()))
}
}
func main() {
var a float32 = 3.14
var b int64 = 100
reflectValue(a) // type is float32, value is 3.140000
reflectValue(b) // type is int64, value is 100
// 将int类型的原始值转换为reflect.Value类型
c := reflect.ValueOf(10)
fmt.Printf("type c :%T\n", c) // type c :reflect.Value
}
通过反射设置变量的值
在函数中通过反射修改变量的值,需要注意函数参数传递的是值拷贝
,必须传递变量地址
才能修改变量值。而反射中使用专有的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)
}
isNil()和isValid()
isNil()
func (v Value) IsNil() bool
注意:IsNil()
报告v持有的值是否为nil。v持有的值的分类必须是通道、函数、接口、映射、指针、切片之一;否则IsNil函数会导致panic
。
isValid()
func (v Value) IsValid() bool
注意:IsValid()
返回v是否持有一个值。如果v是Value零值
会返回假,此时v除了IsValid
、String
、Kind
之外的方法都会导致panic
。
- IsNil()常被用于判断指针是否为空
- IsValid()常被用于判定返回值是否有效。
结构体反射
任意值通过reflect.TypeOf()
获得反射对象信息后,如果它的类型是结构体,可以通过反射值对象(reflect.Type)
的NumField()
和Field()
方法获得结构体成员的详细信息
reflect.Type
中与获取结构体成员相关的的方法。
StructField类型
StructField类型用来描述结构体中的一个字段的信息
type StructField struct {
// Name是字段的名字。PkgPath是非导出字段的包路径,对导出字段该字段为""。
//
Name string
PkgPath string
Type Type // 字段的类型
Tag StructTag // 字段的标签
Offset uintptr // 字段在结构体中的字节偏移量
Index []int // 用于Type.FieldByIndex时的索引切片
Anonymous bool // 是否匿名字段
}
参见http://golang.org/ref/spec#Uniqueness_of_identifiers
例子
当我们使用反射得到一个结构体数据之后可以通过索引依次获取其字段信息,也可以通过字段名去获取指定的字段信息。
type student struct {
Name string `json:"name"`
Score int `json:"score"`
}
func main() {
stu1 := student{
Name: "小王子",
Score: 90,
}
t := reflect.TypeOf(stu1)
fmt.Println(t.Name(), t.Kind()) // student struct
// 通过for循环遍历结构体的所有字段信息
for i := 0; i < t.NumField(); i++ {
field := t.Field(i)
fmt.Printf("name:%s index:%d type:%v json tag:%v\n", field.Name, field.Index, field.Type, field.Tag.Get("json"))
}
// 通过字段名获取指定结构体字段信息
if scoreField, ok := t.FieldByName("Score"); ok {
fmt.Printf("name:%s index:%d type:%v json tag:%v\n", scoreField.Name, scoreField.Index, scoreField.Type, scoreField.Tag.Get("json"))
}
}
编写一个函数printMethod(s interface{})来遍历打印s包含的方法
/ 给student添加两个方法 Study和Sleep(注意首字母大写)
func (s student) Study() string {
msg := "好好学习,天天向上。"
fmt.Println(msg)
return msg
}
func (s student) Sleep() string {
msg := "好好睡觉,快快长大。"
fmt.Println(msg)
return msg
}
func printMethod(x interface{}) {
t := reflect.TypeOf(x)
v := reflect.ValueOf(x)
fmt.Println(t.NumMethod())
for i := 0; i < v.NumMethod(); i++ {
methodType := v.Method(i).Type()
fmt.Printf("method name:%s\n", t.Method(i).Name)
fmt.Printf("method:%s\n", methodType)
// 通过反射调用方法传递的参数必须是 []reflect.Value 类型
var args = []reflect.Value{}
v.Method(i).Call(args)
}
}
双刃剑
反射是一个强大并富有表现力的工具,能让我们写出更灵活的代码。但是反射不应该被滥用,原因有以下三个。
- 基于反射的代码是极其脆弱的,反射中的类型错误会在真正运行的时候才会引发panic,那很可能是在代码写完的很长时间之后。
- 大量使用反射的代码通常难以理解。
- 反射的性能低下,基于反射实现的代码通常比正常代码运行速度慢一到两个数量级。