变量的内在机制
Go 语言中的变量是分为两部分的:
类型信息:预先定义好的元信息
值信息:程序运行过程中可动态变化的
反射介绍
反射是指在程序运行期对程序本身进行访问和修改的能力。
程序在编译的时候,变量被转换为内存地址,变量名不会被编译器写入到可执行部分。在运行程序时,程序无法获取自身的信息?(自身的信息包括哪些?)
支持反射的语言可以在程序编译期将变量的反射信息,如字段名称、类型信息、结构体信息等整合到可执行文件中,并给程序提供接口访问反射信息,这样就可以在程序运行期获取类型的的反射信息,并且有能力去修改它们。
Go语言在运行期间使用reflect包访问程序的反射信息。
我们知道空接口可以存储任意类型的变量,那么我们如何知道这个空接口保存的数据是什么呢?反射就是在运行时动态的获取一个变量的类型信息和值信息
reflect包
在Go语言的反射机制中,任何接口值都是由一个具体类型和具体类型的值两部分组成的(在接口的博客中有介绍相关概念)。在Go语言中反射的相关功能
是由内置的reflect包提供,任意接口值在反射中都可以理解为由reflect.Type和reflect.Value两部分组成,并且reflect.Typeof 和 reflect.Valueof两个函数来获取任意对象的Value和Type。
TypeOf
在Go语言中,使用reflect.TypeOf() 函数可以获得任意值的类型对象(reflect.Type),程序通过类型对象可以访问任意值的类型信息。
package main
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)(type.name)和种类(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 // 底层指针
)```