Go语言之反射

灰常出色 · · 465 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

来自本人公众号:灰子学技术

原文链接:https://mp.weixin.qq.com/s/SBqx0theCm-GWzV6CPIAYA

笔者原本是C++开发人员,之前对于反射没太大概念,学了GO之后,才开始接触,在研究了一段时间之后,有了些认识,便整理一个帖子,希望对大家有所帮助。

在学习反射的时候,笔者一直在问自己,反射是什么?为什么要用到反射?它是怎么实现的?笔者觉得,在知道这些问题的答案之后,才算是真正了解反射。下面笔者便从这些问题来着手整理反射。

一、反射是什么?

维基百科上的定义:

在计算机科学中,反射是指计算机程序在运行时(Run time)可以访问、检测和修改它本身状态或行为的一种能力。用比喻来说,反射就是程序在运行的时候能够“观察”并且“修改”自己的行为。

《Go 语言圣经》中是这样定义反射的:

Go 语言提供了一种机制在运行时更新变量和检查它们的值、调用它们的方法,但是在编译时并不知道这些变量的具体类型,这称为反射机制。

通过上面的描述,我们能看出来,反射是“元编程”的一种实现手段,它表现在运行阶段,是对运行代码的一种再编译。

二、反射能干什么?

这里只是针对GO语言的反射来描述,反射主要用在下面两种情况下:

场景一:

参数的入参是空的interface,也就是说参数的入参需要在该函数被执行的时候,才能知道这个入参到底是什么类型。

这种情况产生的原因: 往往是函数定义的时候,希望该入参可以支持很多的数据类型,或者说定义该函数的时候,并没有想好这个入参应该是什么数据类型。

例如: json的序列化操作。

场景二:

程序在执行到一处代码的时候,它到底要调用哪一个函数,取决于当前传递的数据是什么规则,而不同的规则需要调用不同的函数,这种情况下也需要用到反射。

例如:webserver在接收到不同的uri的时候,需要使用不同的函数来处理,这就是很典型的一个例子。

所有的事情都有正反两面,反射也不例外,引入反射之后,会有下面的一些不好的地方

1.代码可读性变低,对开发人员不是那么友好,阅读代码的难度上升一个层级。

2.反射使用后,会避过了编译阶段的类型检查,导致原本有可能在编译阶段发现的问题被隐藏掉。

3.反射对性能影响还是比较大的,比正常代码运行速度慢一到两个数量级,如果系统对性能要求很高,就需要慎用反射。

三、反射是怎么使用的?

在此之前,我们需要先看下,反射的三个定律,如下所示:

1.Reflection goes from interface value to reflection object.(反射能够将 interface 中的类型和值转换成真实的反射对象。)

2.Reflection goes from reflection object to interface value.(反射能够将真实的反射对象转变成真实类型。)

3.To modify a reflection object, the value must be settable.(如果像修改反射生成的反射对象,这个数值必须是可修改的。)

定律一:将空接口转换成反射对象

我们通过reflect.Typeof()来显示,真实的对象类型,例子如下:

func TypeOf(i interface{}) Type  //  Typeof()的定义可以看出参数是一个空的interface

我们通过reflect.ValueOf()来显示真实对象存储的数值,例子如下所示:

type Value struct {// contains filtered or unexported fields}

func ValueOf(i interface{})Value // ValueOf的入参也是一个空接口

通过MethodByName来获取对应名称的函数,并调用

备注:GetName()原本只是一个返回值,但是输出结果却是[Hello]数组的原因是,Value.Call()函数的返回值是一个[]reflect.Value的数组。

定律二:将反射对象转换成原类型

reflect.ValueOf转换成的反射类型,可以通过Interface方法把它恢复成一个接口值,当然我们可以直接将这个接口值转换成对应的原数据,例子如下所示:

定律三:修改反射对象的值

reflect.ValueOf函数返回的是一份值的拷贝,所以直接对这个值进行修改是无意义的,因为它不会更改原来的那个值。

要想修改原来的数值,需要借用指针的特性,进行修改,这里也就是定律三中提到的可设置性,通过Elem()来找到对应的原数据值。

例子如下所示:

四、反射的原理是什么?

反射的实现是以空接口作为基础的,可以说空的接口是反射实现的基石。空接口类似于C语言中的void*,它可以转换成任何类型的数值。

当我们使用反射特性时,实际上用到的就是存储在 interface 变量中的和类型相关的信息,也就是常说的 <type, value>。

主要涉及到的数据结构和函数如下所示:

五、参考文档:

Go语言三大反射定律:https://blog.golang.org/laws-of-reflection

Go接口详解:https://zhuanlan.zhihu.com/p/27055513

深度解密Go语言之反射:https://zhuanlan.zhihu.com/p/64884660


灰子学技术:


有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:灰常出色

查看原文:Go语言之反射

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

465 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传