![4bf9d50edf50a249b1ad39d73d19c163.png](https://i-blog.csdnimg.cn/blog_migrate/ad1bd35d0d437a457e950fbb3bb127f5.jpeg)
本文介绍了Go语言反射的意义和基本使用。
变量的内在机制
Go语言中的变量是分为两部分的:
- 类型信息:预先定义好的元信息。
- 值信息:程序运行过程中可动态变化的。
反射介绍
反射是指在程序运行期对程序本身进行访问和修改的能力。程序在编译时,变量被转换为内存地址,变量名不会被编译器写入到可执行部分。在运行程序时,程序无法获取自身的信息。
支持反射的语言可以在程序编译期将变量的反射信息,如字段名称、类型信息、结构体信息等整合到可执行文件中,并给程序提供接口访问反射信息,这样就可以在程序运行期获取类型的反射信息,并且有能力修改它们。
Go程序在运行期使用reflect包访问程序的反射信息。
在上一篇博客中我们介绍了空接口。 空接口可以存储任意类型的变量,那我们如何知道这个空接口保存的数据是什么呢? 反射就是在运行时动态的获取一个变量的类型信息和值信息。
reflect包
在Go语言的反射机制中,任何接口值都由是一个具体类型和具体类型的值两部分组成的(我们在上一篇接口的博客中有介绍相关概念)。 在Go语言中反射的相关功能由内置的reflect包提供,任意接口值在反射中都可以理解为由reflect.Type和reflect.Value两部分组成,并且reflect包提供了reflect.TypeOf和reflect.ValueOf两个函数来获取任意对象的Value和Type。
TypeOf
在Go语言中,使用reflect.TypeOf()函数可以获得任意值的类型对象(reflect.Type),程序通过类型对象可以访问任意值的类型信息。
![0ffc2f4dff37d9516807ded76bda5d74.png](https://i-blog.csdnimg.cn/blog_migrate/b8763bc2ddd8158178b75f4a0c47203b.jpeg)
type name和type kind
在反射中关于类型还划分为两种:类型(Type)和种类(Kind)。因为在Go语言中我们可以使用type关键字构造很多自定义类型,而种类(Kind)就是指底层的类型,但在反射中,当需要区分指针、结构体等大品种的类型时,就会用到种类(Kind)。 举个例子,我们定义了两个指针类型和两个结构体类型,通过反射查看它们的类型和种类。
![3a3d733d92a7153fc9e1ccdd1af7548b.png](https://i-blog.csdnimg.cn/blog_migrate/a420ee2d5b5b13ccb779b29a441c1719.jpeg)
Go语言的反射中像数组、切片、Map、指针等类型的变量,它们的.Name()都是返回空。
在reflect包中定义的Kind类型如下:
![5270fc1cf20f3523ccf762e027ea4945.png](https://i-blog.csdnimg.cn/blog_migrate/4ee67f1d961a35d49918569c7af049df.jpeg)
ValueOf
reflect.ValueOf()返回的是reflect.Value类型,其中包含了原始值的值信息。reflect.Value与原始值之间可以互相转换。
reflect.Value类型提供的获取原始值的方法如下:
![ce1f1a785ecc2282ff45683537cb5899.png](https://i-blog.csdnimg.cn/blog_migrate/c22672ed2cb7b2d0512b519b6e06e2fb.jpeg)
通过反射获取值
![64660013e8e9b6007f9b585004f31e94.png](https://i-blog.csdnimg.cn/blog_migrate/55c6c84aa5d2d3ab76319f52082222f7.jpeg)
通过反射设置变量的值
想要在函数中通过反射修改变量的值,需要注意函数参数传递的是值拷贝,必须传递变量地址才能修改变量值。而反射中使用专有的Elem()方法来获取指针对应的值。
![f1c6cf7e73e480c2c045838eba7b38e0.png](https://i-blog.csdnimg.cn/blog_migrate/b41beeeb93a1b35be9cbc5b5cf855188.jpeg)
isNil()和isValid()
isNil()
![e4faa017185c22b6214855ab6773db66.png](https://i-blog.csdnimg.cn/blog_migrate/e7d9c87c49d4e25c6800297f7f055c57.jpeg)
IsNil()报告v持有的值是否为nil。v持有的值的分类必须是通道、函数、接口、映射、指针、切片之一;否则IsNil函数会导致panic。
isValid()
![465364d747446d8716a9761272f0866f.png](https://i-blog.csdnimg.cn/blog_migrate/420f81645cb2f9eb58d1c7b634a655b9.jpeg)
IsValid()返回v是否持有一个值。如果v是Value零值会返回假,此时v除了IsValid、String、Kind之外的方法都会导致panic。
举个例子
IsNil()常被用于判断指针是否为空;IsValid()常被用于判定返回值是否有效。
![1ace49b89a213b84fac701fa7ef6c36a.png](https://i-blog.csdnimg.cn/blog_migrate/e4c76a87e4694824542a7352f548beb2.jpeg)
结构体反射
与结构体相关的方法
任意值通过reflect.TypeOf()获得反射对象信息后,如果它的类型是结构体,可以通过反射值对象(reflect.Type)的NumField()和Field()方法获得结构体成员的详细信息。
reflect.Type中与获取结构体成员相关的的方法如下表所示。
![437ec62e1393648c25a91eff182b166c.png](https://i-blog.csdnimg.cn/blog_migrate/bfbc80bbe3d59cbcbaa22cb77a007f7c.jpeg)
StructField类型
StructField类型用来描述结构体中的一个字段的信息。
StructField的定义如下:
![bac4ec486dbc9173d7efa8f12b875a7f.png](https://i-blog.csdnimg.cn/blog_migrate/66ed847a8f082127759bff8ab40e0266.jpeg)
结构体反射示例
当我们使用反射得到一个结构体数据之后可以通过索引依次获取其字段信息,也可以通过字段名去获取指定的字段信息。
![21af9424c2a759cc59501dd154fa42c2.png](https://i-blog.csdnimg.cn/blog_migrate/e0d2093985abeb94f43a728e68ed14ce.jpeg)
接下来编写一个函数printMethod(s interface{})来遍历打印s包含的方法。
![684112eb1e102fa17a6e409b5543b045.png](https://i-blog.csdnimg.cn/blog_migrate/cff98ea9dc191a11fa4b9afd41326cea.jpeg)
反射是把双刃剑
反射是一个强大并富有表现力的工具,能让我们写出更灵活的代码。但是反射不应该被滥用,原因有以下三个。
- 基于反射的代码是极其脆弱的,反射中的类型错误会在真正运行的时候才会引发panic,那很可能是在代码写完的很长时间之后。
- 大量使用反射的代码通常难以理解。
- 反射的性能低下,基于反射实现的代码通常比正常代码运行速度慢一到两个数量级。
练习题
- 编写代码利用反射实现一个ini文件的解析器程序。
原文链接:https://www.liwenzhou.com/posts/Go/13_reflect/
本文作者:李文周