go语言反射机制 go 反射

golang reflect反射（一）：interface接口的入门（大白话）

这是它的优点，因为编译器在编译时不去确定你传的到底是什么类型，你传一个string，它能接收，你传一个对象struct，它也能接收，它只有一个要求，实现我要求实现的方法！

既然interface是不限定类型，是通用类型，这是一种开放表现，这种开放怎么实现的呢？方法就是不去检验你的类型，既然不检验那也不去记录你的类型！！！！注意interface不记录你的类型，所以不管你是string，struct，int，我都不管，我都不记录，我只记录你的地址，结果是编译器在编译时也不知道你是什么类型，你有什么字段！

但是现在有一个问题，编译器也没办法确定一个interface以前是什么类型！（编译时）这就是因果关系：为了达到通用，interface不做确定工作，结果就是interface也不知道以前的类型。

一个类型转接口的过程，就是放弃自我类型的过程，变成了没有类型。

这样做有什么好处呢，很显然是：通用，如果把一个函数的传入参数设置为空接口(interface{})，那么任何类型当做参数都能够调用该接口，最好的例子就是：

它就是一个很标准的例子，println传入参数可以是任何类型，都能打印出它的值。

当然你可以说你记得，因为是你把它转换成interface，你理所当然的记得，可编译器不知道啊，interface不包含类型，也就是说你没有让它去记录，所以它不知道。

针对这个问题，go语言给了一个解决方案，断言，当将一个interface转换成它原来类型的时候，在它后面指明它的原来类型，这样编译器就知道该按照什么类型去解析了。（其实说白了，这就是通过人的记忆，编译器不知道是什么类型，你告诉编译器就可以了）

断言其实是先获取interface的动态类型，然后与你指定的类型做判断，如果一致，将它转换成你指定的类型。如果不知道动态类型，可以看这篇文章：

从报错可以看出， 不能直接转换，需要对接口先进行断言

通常情况下，一个变量在确定类型的情况下编译器知道他有哪些功能（注意，这里是针对编译时），比如一个int类型，编译器在编译时知道能对他加减int，不能加减float，如果你这么做我就给你报错。一个struct包含哪些字段，不包含哪些字段，我定义一个user结构体，里面只有name和age两个字段，那么你只能取我这两字段的值，你如果取height，我就给你报错。

这些都是正常情况下的，但是对于一个接口呢，编译器会变成瞎子！在编译的时候它不知道你原来是什么类型，所以它也没法确定你包含什么字段，同样是之前那个user结构体，当把它转换成接口以后，编译器就对它的类型一无所知了，你获取name字段，这有接口有没有呢？编译器不知道！你请求height字段，这个泛型有没有呢？编译器仍然不知道。所以你编译时不能修改接口里的数据，既然编译时 不能修改，那就只能在运行时修改了。

这个时候就该反射登场了，它能够在运行时修改接口的数据，通过追根溯源，获取接口底层的实际数据和类型，让你能够对接口的源数据进行操作。

换一种大白话的说法，反射就是刨根问底，获取这个接口究竟是怎么产生的，因为哪怕一个类型转变成接口时放弃了自己的类型，但是它的本质不会变的，就像赵本山的小品里所说：小样，别以为你脱掉马甲我就不认识你了！对，它的底层里仍然存储了它的数据类型，只是藏的比较深，一般手段拿不到，但我们仍然能够通过反射（这个包根问底的工具）来确定你究竟包含哪些字段和值，确定你究竟是蛇还是脱了马甲的乌龟！

相关问答

Q1: go语言的reflect（反射）

1、反射可以在运行时 动态获取变量的各种信息 ，比如变量的类型、类别；

2、如果是结构体变量，还可以获取到结构体本身的信息（包括结构体的字段、方法）；

3、通过反射，可以修改 变量的值 ，可以调用关联的方法；

4、使用反射，需要import " reflect ".

5、示意图：

1、不知道接口调用哪个函数，根据传入参数在运行时确定调用的具体接口，这种需要对函数或方法反射。

例如以下这种桥接模式：

示例第一个参数funcPtr以接口的形式传入函数指针，函数参数args以可变参数的形式传入，bridge函数中可以用反射来动态执行funcPtr函数。

1、reflect.TypeOf(变量名)，获取变量的类型，返回reflect.Type类型。

2、reflect.ValueOf(变量名)，获取变量的值，返回reflect.Value类型reflect.Value是一个结构体类型。

3、变量、interface{}和reflect.Value是可以互相转换的，这点在实际开发中，会经常使用到。

1、reflect.Value.Kind，获取变量的 类别（Kind） ，返回的是一个 常量 。在go语言文档中：

示例如下所示：

输出如下：

Kind的范畴要比Type大。比如有Student和Consumer两个结构体，他们的 Type 分别是 Student 和 Consumer ，但是它们的 Kind 都是 struct 。

2、Type是类型，Kind是类别，Type和Kind可能是相同的，也可能是不同的。

3、通过反射可以在让 变量 在 interface{} 和 Reflect.Value 之间相互转换，这点在前面画过示意图。

4、使用反射的方式来获取变量的值（并返回对应的类型），要求数据类型匹配，比如x是int，那么久应该使用reflect.Value(x).Int()，而不能使用其它的，否则报panic。

如果是x是float类型的话，也是要用reflect.Value(x).Float()。但是如果是struct类型的话，由于type并不确定，所以没有相应的方法，只能 断言。

5、通过反射的来修改变量，注意当使用SetXxx方法来设置需要通过对应的指针类型来完成，这样才能改变传入的变量的值，同时需要使用到reflect.Value.Elem()方法。

输出num=20，即成功使用反射来修改传进来变量的值。

6、reflect.Value.Elem()应该如何理解？

Q2: 关于反射

在计算机科学领域，反射是指一类应用，它们能够自描述和自控制。也就是说，这类应用通过采用某种机制来实现对自己行为的描述（self-representation）和监测（examination），并能根据自身行为的状态和结果，调整或修改应用所描述行为的状态和相关的语义。

每种语言的反射模型都不同，并且有些语言根本不支持反射。Golang语言实现了反射，反射机制就是在运行时动态的调用对象的方法和属性，官方自带的reflect包就是反射相关的，只要包含这个包就可以使用。

多插一句，Golang的gRPC也是通过反射实现的。

在讲反射之前，先来看看Golang关于类型设计的一些原则

接下来要讲的反射，就是建立在类型之上的，Golang的指定类型的变量的类型是静态的（也就是指定int、string这些的变量，它的type是static type），在创建变量的时候就已经确定，反射主要与Golang的interface类型相关（它的type是concrete type），只有interface类型才有反射一说。

在Golang的实现中，每个interface变量都有一个对应pair，pair中记录了实际变量的值和类型:

value是实际变量值，type是实际变量的类型。一个interface{}类型的变量包含了2个指针，一个指针指向值的类型【对应concrete type】，另外一个指针指向实际的值【对应value】。

例如，创建类型为*os.File的变量，然后将其赋给一个接口变量r：

接口变量r的pair中将记录如下信息：(tty, *os.File)，这个pair在接口变量的连续赋值过程中是不变的，将接口变量r赋给另一个接口变量w:

接口变量w的pair与r的pair相同，都是:(tty, *os.File)，即使w是空接口类型，pair也是不变的。

interface及其pair的存在，是Golang中实现反射的前提，理解了pair，就更容易理解反射。反射就是用来检测存储在接口变量内部(值value；类型concrete type) pair对的一种机制。

既然反射就是用来检测存储在接口变量内部(值value；类型concrete type) pair对的一种机制。那么在Golang的reflect反射包中有什么样的方式可以让我们直接获取到变量内部的信息呢？ 它提供了两种类型（或者说两个方法）让我们可以很容易的访问接口变量内容，分别是reflect.ValueOf() 和 reflect.TypeOf()，看看官方的解释

reflect.TypeOf()是获取pair中的type，reflect.ValueOf()获取pair中的value，示例如下：

当执行reflect.ValueOf(interface)之后，就得到了一个类型为”relfect.Value”变量，可以通过它本身的Interface()方法获得接口变量的真实内容，然后可以通过类型判断进行转换，转换为原有真实类型。不过，我们可能是已知原有类型，也有可能是未知原有类型，因此，下面分两种情况进行说明。

已知类型后转换为其对应的类型的做法如下，直接通过Interface方法然后强制转换，如下：

示例如下：

很多情况下，我们可能并不知道其具体类型，那么这个时候，该如何做呢？需要我们进行遍历探测其Filed来得知，示例如下:

通过运行结果可以得知获取未知类型的interface的具体变量及其类型的步骤为：

通过运行结果可以得知获取未知类型的interface的所属方法（函数）的步骤为：

reflect.Value是通过reflect.ValueOf(X)获得的，只有当X是指针的时候，才可以通过reflec.Value修改实际变量X的值，即：要修改反射类型的对象就一定要保证其值是“addressable”的。

示例如下：

这算是一个高级用法了，前面我们只说到对类型、变量的几种反射的用法，包括如何获取其值、其类型、如果重新设置新值。但是在工程应用中，另外一个常用并且属于高级的用法，就是通过reflect来进行方法【函数】的调用。比如我们要做框架工程的时候，需要可以随意扩展方法，或者说用户可以自定义方法，那么我们通过什么手段来扩展让用户能够自定义呢？关键点在于用户的自定义方法是未可知的，因此我们可以通过reflect来搞定

示例如下：

Golang的反射很慢，这个和它的API设计有关。在 java 里面，我们一般使用反射都是这样来弄的。

这个取得的反射对象类型是 java.lang.reflect.Field。它是可以复用的。只要传入不同的obj，就可以取得这个obj上对应的 field。

但是Golang的反射不是这样设计的:

这里取出来的 field 对象是 reflect.StructField 类型，但是它没有办法用来取得对应对象上的值。如果要取值，得用另外一套对object，而不是type的反射

这里取出来的 fieldValue 类型是 reflect.Value，它是一个具体的值，而不是一个可复用的反射对象了，每次反射都需要malloc这个reflect.Value结构体，并且还涉及到GC。

Golang reflect慢主要有两个原因

上述详细说明了Golang的反射reflect的各种功能和用法，都附带有相应的示例，相信能够在工程应用中进行相应实践，总结一下就是：

Q3: 为什么golang不能通过字符串来创建对象实例

是说给个类的字符串名字，创建出一个类的对象？如果是这种，golang可以做到的。

先把字符串和类的reflect.Typeof关联

好，然后根据字符串找到对应的类型，用reflect.New构造对象就可以了。在rpc框架里经常要这么干，根据网络上传过来的数据，构造相应的对象，

然后回调。可以参考下这个文件里面的dispatchRequest方法：

Q4: go语言中的反射

import (

"fmt"

"reflect"

)

func reflecType(x interface{}){

v := reflect.TypeOf(x)

fmt.Println("type:%v\n", v)

fmt.Println("type name:%v , rtpe kind:%v \n", v.getName(), v.getType())

}

type Cat struct{}

//通过反射设置变量的值

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 float32 = 3.14

reflectType(a) //type name:float32 type kind:float32

var b int64 = 100

reflectType(b) // type name :int64 type kind :int64

var c = Cat{}

reflectType(c) // type name :Cat type kind :struct

reflectSetValue1(b)

fmt.Println(b) //依然为100

reflectSetValue2(b)

}

Q5: 没有类，C语言有结构体，那么Go的结构体有什么特别之处？

Go语言中没有“类”的概念，也不支持“类”的继承等面向对象的概念。Go语言中通过结构体的内嵌再配合接口比面向对象具有更高的扩展性和灵活性。

自定义类型

在Go语言中有一些基本的数据类型，如string、整型、浮点型、布尔等数据类型， Go语言中可以使用type关键字来定义自定义类型。

自定义类型是定义了一个全新的类型。我们可以基于内置的基本类型定义，也可以通过struct定义。例如：

通过Type关键字的定义，MyInt就是一种新的类型，它具有int的特性。

类型别名

类型别名是Go1.9版本添加的新功能。

类型别名规定：TypeAlias只是Type的别名，本质上TypeAlias与Type是同一个类型。就像一个孩子小时候有小名、乳名，上学后用学名，英语老师又会给他起英文名，但这些名字都指的是他本人。

type TypeAlias = Type

我们之前见过的rune和byte就是类型别名，他们的定义如下：

类型定义和类型别名的区别

类型别名与类型定义表面上看只有一个等号的差异，我们通过下面的这段代码来理解它们之间的区别。

结果显示a的类型是main.NewInt，表示main包下定义的NewInt类型。b的类型是int。MyInt类型只会在代码中存在，编译完成时并不会有MyInt类型。

Go语言中的基础数据类型可以表示一些事物的基本属性，但是当我们想表达一个事物的全部或部分属性时，这时候再用单一的基本数据类型明显就无法满足需求了，Go语言提供了一种自定义数据类型，可以封装多个基本数据类型，这种数据类型叫结构体，英文名称struct。 也就是我们可以通过struct来定义自己的类型了。

Go语言中通过struct来实现面向对象。

结构体的定义

使用type和struct关键字来定义结构体，具体代码格式如下：

其中：

举个例子，我们定义一个Person（人）结构体，代码如下：

同样类型的字段也可以写在一行，

这样我们就拥有了一个person的自定义类型，它有name、city、age三个字段，分别表示姓名、城市和年龄。这样我们使用这个person结构体就能够很方便的在程序中表示和存储人信息了。

语言内置的基础数据类型是用来描述一个值的，而结构体是用来描述一组值的。比如一个人有名字、年龄和居住城市等，本质上是一种聚合型的数据类型

结构体实例化

只有当结构体实例化时，才会真正地分配内存。也就是必须实例化后才能使用结构体的字段。

基本实例化

举个例子：

我们通过.来访问结构体的字段（成员变量）,例如p1.name和p1.age等。

匿名结构体

在定义一些临时数据结构等场景下还可以使用匿名结构体。

创建指针类型结构体

我们还可以通过使用new关键字对结构体进行实例化，得到的是结构体的地址。 格式如下：

从打印的结果中我们可以看出p2是一个结构体指针。

需要注意的是在Go语言中支持对结构体指针直接使用.来访问结构体的成员。

取结构体的地址实例化

使用对结构体进行取地址操作相当于对该结构体类型进行了一次new实例化操作。

p3.name = "七米"其实在底层是(*p3).name = "七米"，这是Go语言帮我们实现的语法糖。

结构体初始化

没有初始化的结构体，其成员变量都是对应其类型的零值。

使用键值对初始化

使用键值对对结构体进行初始化时，键对应结构体的字段，值对应该字段的初始值。

也可以对结构体指针进行键值对初始化，例如：

当某些字段没有初始值的时候，该字段可以不写。此时，没有指定初始值的字段的值就是该字段类型的零值。

使用值的列表初始化

初始化结构体的时候可以简写，也就是初始化的时候不写键，直接写值：

使用这种格式初始化时，需要注意：

结构体内存布局

结构体占用一块连续的内存。

输出：

【进阶知识点】关于Go语言中的内存对齐推荐阅读:在 Go 中恰到好处的内存对齐

面试题

请问下面代码的执行结果是什么go语言反射机制？

构造函数

Go语言的结构体没有构造函数，我们可以自己实现。 例如，下方的代码就实现了一个person的构造函数。 因为struct是值类型，如果结构体比较复杂的话，值拷贝性能开销会比较大，所以该构造函数返回的是结构体指针类型。

调用构造函数

方法和接收者

Go语言中的方法（Method）是一种作用于特定类型变量的函数。这种特定类型变量叫做接收者（Receiver）。接收者的概念就类似于其他语言中的this或者 self。

方法的定义格式如下：

其中，

举个例子：

方法与函数的区别是，函数不属于任何类型，方法属于特定的类型。

指针类型的接收者

指针类型的接收者由一个结构体的指针组成，由于指针的特性，调用方法时修改接收者指针的任意成员变量，在方法结束后，修改都是有效的。这种方式就十分接近于其他语言中面向对象中的this或者self。 例如我们为Person添加一个SetAge方法，来修改实例变量的年龄。

调用该方法：

值类型的接收者

当方法作用于值类型接收者时，Go语言会在代码运行时将接收者的值复制一份。在值类型接收者的方法中可以获取接收者的成员值，但修改操作只是针对副本，无法修改接收者变量本身。

什么时候应该使用指针类型接收者

任意类型添加方法

在Go语言中，接收者的类型可以是任何类型，不仅仅是结构体，任何类型都可以拥有方法。 举个例子，我们基于内置的int类型使用type关键字可以定义新的自定义类型，然后为我们的自定义类型添加方法。

注意事项： 非本地类型不能定义方法，也就是说我们不能给别的包的类型定义方法。

结构体的匿名字段

匿名字段默认采用类型名作为字段名，结构体要求字段名称必须唯一，因此一个结构体中同种类型的匿名字段只能有一个。

嵌套结构体

一个结构体中可以嵌套包含另一个结构体或结构体指针。

嵌套匿名结构体

当访问结构体成员时会先在结构体中查找该字段，找不到再去匿名结构体中查找。

嵌套结构体的字段名冲突

嵌套结构体内部可能存在相同的字段名。这个时候为了避免歧义需要指定具体的内嵌结构体的字段。

结构体的“继承”

Go语言中使用结构体也可以实现其他编程语言中面向对象的继承。

结构体字段的可见性

结构体中字段大写开头表示可公开访问，小写表示私有（仅在定义当前结构体的包中可访问）。

结构体与JSON序列化

JSON(JavaScript Object Notation) 是一种轻量级的数据交换格式。易于人阅读和编写。同时也易于机器解析和生成。JSON键值对是用来保存JS对象的一种方式，键/值对组合中的键名写在前面并用双引号""包裹，使用冒号:分隔，然后紧接着值go语言反射机制；多个键值之间使用英文,分隔。

结构体标签（Tag）

Tag是结构体的元信息，可以在运行的时候通过反射的机制读取出来。 Tag在结构体字段的后方定义，由一对反引号包裹起来，具体的格式如下：

`key1:"value1" key2:"value2"`

结构体标签由一个或多个键值对组成。键与值使用冒号分隔，值用双引号括起来。键值对之间使用一个空格分隔。 注意事项： 为结构体编写Tag时，必须严格遵守键值对的规则。结构体标签的解析代码的容错能力很差，一旦格式写错，编译和运行时都不会提示任何错误，通过反射也无法正确取值。例如不要在key和value之间添加空格。

例如我们为Student结构体的每个字段定义json序列化时使用的Tag：

go语言反射机制的介绍就聊到这里吧，感谢你花时间阅读本站内容，更多关于go 反射、go语言反射机制的信息别忘了在本站进行查找喔。