【Go专家编程——反射】

反射

反射是运行时检查自身结构的机制。反射特性与interface紧密相关，同时它也与Go类型系统关系密切。

1.接口

1.1 类型

Go是静态类型语言，比如int、float32、byte[]，等。每个变量都有一个静态类型，在编译时就确定了。

type Myint int

var i int
var j Myint

i和j不是相同的类型，尽管底层都是int，但在没有类型转换的情况下是不可以互相赋值的。

• 基础类型
  • bool
  • 数值类型
  • 字符串类型
• 复合类型
  • 数组
  • 结构体
  • 指针
  • 切片
  • map
  • channel
  • interface

1.2 interface

• interface类型代表一个特定的方法集，方法集中的方法称为接口。
• 任何类型只要实现了interface类型的所有方法，就可以声称该类型实现了这个接口。
• interface变量可以存储任意实现了该接口类型的变量
• 任意类型都可以声明实现了空interface

为什么interface接口可以存储任意实现了该接口类型的变量？
因为interface类型的变量在存储某个变量时会同时保存变量类型和变量值。

type iface struct{
	tab		*itab	//保存变量类型(以及方法集)
	data	unsafe.Pointer		//变量值位于堆栈的指针
}

2.反射定律

interface类型有一个(value,type)对，而反射就上操纵interface的这个(value,type)对的机制。具体来说，就是Go提供一组方法来获取interface的value和type。

reflect包提供了两个方法来获取interface的value和类型

func ValueOf(i interface{})Value
func TypeOf(i interface{})Type

我们称reflect.Type和reflect.Value为interface的反射对象。

• 第一定律：反射可以将interface类型转换成反射对象

func main() {
	var x float64 = 3.4
	t := reflect.TypeOf(x)
	v := reflect.ValueOf(x)
	fmt.Println(t)//float64
	fmt.Println(v)//3.4
}

• 第二定律：反射可以将反射对象还原成interface对象

func main() {
	var A interface{}
	A = 100

	v := reflect.ValueOf(A)
	B := v.Interface()

	if A == B {
		fmt.Println("They are same!\n")
	}
}

• 第三定律：反射对象可修改，value值必须是可设置的
  • 反射对象是否可以修改取决于其所存储的值，对于函数传参时是传值还是传址就可以理解了

func main(){
	var x float64 = 3.4
	v := reflect.ValueOf(x)
	v.SetFloat(7.1)// Error:will panic
}

报错的原因在于传入reflect.ValueOf()函数的是x的值，而不是x本身，即通过v修改无法影响到x，是无效的修改，所以会报错。

reflect.Value提供了Elem方法，可以获得指向value的指针。
修正后的代码如下：

func main(){
	var x float64 = 3.4
	v := reflect.ValueOf(&x)
	v.Elem().SetFloat(6.4)//修改成功
}