gopl-zh.github.com/ch12/ch12-05.md

104 lines
5.8 KiB
Markdown
Raw Normal View History

2016-02-15 03:06:34 +00:00
## 12.5. 通过reflect.Value修改值
2015-12-09 07:45:11 +00:00
2016-02-15 03:06:34 +00:00
到目前为止,反射还只是程序中变量的另一种访问方式。然而,在本节中我们将重点讨论如果通过反射机制来修改变量。
2016-01-01 06:48:07 +00:00
2016-02-15 03:06:34 +00:00
回想一下Go语言中类似x、x.f[1]和*p形式的表达式都可以表示变量但是其它如x + 1和f(2)则不是变量。一个变量就是一个可寻址的内存空间,里面存储了一个值,并且存储的值可以通过内存地址来更新。
2016-01-01 06:48:07 +00:00
2016-02-15 03:06:34 +00:00
对于reflect.Values也有类似的区别。有一些reflect.Values是可取地址的其它一些则不可以。考虑以下的声明语句
2016-01-01 06:48:07 +00:00
```Go
x := 2 // value type variable?
a := reflect.ValueOf(2) // 2 int no
b := reflect.ValueOf(x) // 2 int no
c := reflect.ValueOf(&x) // &x *int no
d := c.Elem() // 2 int yes (x)
```
2016-02-15 03:06:34 +00:00
其中a对应的变量则不可取地址。因为a中的值仅仅是整数2的拷贝副本。b中的值也同样不可取地址。c中的值还是不可取地址它只是一个指针`&x`的拷贝。实际上所有通过reflect.ValueOf(x)返回的reflect.Value都是不可取地址的。但是对于d它是c的解引用方式生成的指向另一个变量因此是可取地址的。我们可以通过调用reflect.ValueOf(&x).Elem()来获取任意变量x对应的可取地址的Value。
2016-01-01 06:48:07 +00:00
2016-02-15 03:06:34 +00:00
我们可以通过调用reflect.Value的CanAddr方法来判断其是否可以被取地址
2016-01-01 06:48:07 +00:00
```Go
fmt.Println(a.CanAddr()) // "false"
fmt.Println(b.CanAddr()) // "false"
fmt.Println(c.CanAddr()) // "false"
fmt.Println(d.CanAddr()) // "true"
```
2016-02-15 03:06:34 +00:00
每当我们通过指针间接地获取的reflect.Value都是可取地址的即使开始的是一个不可取地址的Value。在反射机制中所有关于是否支持取地址的规则都是类似的。例如slice的索引表达式e[i]将隐式地包含一个指针它就是可取地址的即使开始的e表达式不支持也没有关系。以此类推reflect.ValueOf(e).Index(i)对于的值也是可取地址的即使原始的reflect.ValueOf(e)不支持也没有关系。
2016-01-01 06:48:07 +00:00
2016-02-15 03:06:34 +00:00
要从变量对应的可取地址的reflect.Value来访问变量需要三个步骤。第一步是调用Addr()方法它返回一个Value里面保存了指向变量的指针。然后是在Value上调用Interface()方法也就是返回一个interface{}里面通用包含指向变量的指针。最后如果我们知道变量的类型我们可以使用类型的断言机制将得到的interface{}类型的接口强制环为普通的类型指针。这样我们就可以通过这个普通指针来更新变量了:
2016-01-01 06:48:07 +00:00
```Go
x := 2
d := reflect.ValueOf(&x).Elem() // d refers to the variable x
px := d.Addr().Interface().(*int) // px := &x
*px = 3 // x = 3
fmt.Println(x) // "3"
```
2016-02-15 03:06:34 +00:00
或者不使用指针而是通过调用可取地址的reflect.Value的reflect.Value.Set方法来更新对于的值
2016-01-01 06:48:07 +00:00
```Go
d.Set(reflect.ValueOf(4))
fmt.Println(x) // "4"
```
2016-02-15 03:06:34 +00:00
Set方法将在运行时执行和编译时类似的可赋值性约束的检查。以上代码变量和值都是int类型但是如果变量是int64类型那么程序将抛出一个panic异常所以关键问题是要确保改类型的变量可以接受对应的值
2016-01-01 06:48:07 +00:00
```Go
d.Set(reflect.ValueOf(int64(5))) // panic: int64 is not assignable to int
```
2016-02-15 03:06:34 +00:00
通用对一个不可取地址的reflect.Value调用Set方法也会导致panic异常
2016-01-01 06:48:07 +00:00
```Go
x := 2
b := reflect.ValueOf(x)
b.Set(reflect.ValueOf(3)) // panic: Set using unaddressable value
```
2016-02-15 03:06:34 +00:00
这里有很多用于基本数据类型的Set方法SetInt、SetUint、SetString和SetFloat等。
2016-01-01 06:48:07 +00:00
```Go
d := reflect.ValueOf(&x).Elem()
d.SetInt(3)
fmt.Println(x) // "3"
```
2016-02-15 03:06:34 +00:00
从某种程度上说这些Set方法总是尽可能地完成任务。以SetInt为例只要变量是某种类型的有符号整数就可以工作即使是一些命名的类型只要底层数据类型是有符号整数就可以而且如果对于变量类型值太大的话会被自动截断。但需要谨慎的是对于一个引用interface{}类型的reflect.Value调用SetInt会导致panic异常即使那个interface{}变量对于整数类型也不行。
2016-01-01 06:48:07 +00:00
```Go
x := 1
rx := reflect.ValueOf(&x).Elem()
rx.SetInt(2) // OK, x = 2
rx.Set(reflect.ValueOf(3)) // OK, x = 3
rx.SetString("hello") // panic: string is not assignable to int
rx.Set(reflect.ValueOf("hello")) // panic: string is not assignable to int
var y interface{}
ry := reflect.ValueOf(&y).Elem()
ry.SetInt(2) // panic: SetInt called on interface Value
ry.Set(reflect.ValueOf(3)) // OK, y = int(3)
ry.SetString("hello") // panic: SetString called on interface Value
ry.Set(reflect.ValueOf("hello")) // OK, y = "hello"
```
2016-02-15 03:06:34 +00:00
当我们用Display显示os.Stdout结构时我们发现反射可以越过Go语言的导出规则的限制读取结构体中未导出的成员比如在类Unix系统上os.File结构体中的fd int成员。然而利用反射机制并不能修改这些未导出的成员
2016-01-01 06:48:07 +00:00
```Go
stdout := reflect.ValueOf(os.Stdout).Elem() // *os.Stdout, an os.File var
fmt.Println(stdout.Type()) // "os.File"
fd := stdout.FieldByName("fd")
fmt.Println(fd.Int()) // "1"
fd.SetInt(2) // panic: unexported field
```
2016-02-15 03:06:34 +00:00
一个可取地址的reflect.Value会记录一个结构体成员是否是未导出成员如果是的话则拒绝修改操作。因此CanAddr方法并不能正确反映一个变量是否是可以被修改的。另一个相关的方法CanSet是用于检查对应的reflect.Value是否是可取地址并可被修改的
2016-01-01 06:48:07 +00:00
```Go
fmt.Println(fd.CanAddr(), fd.CanSet()) // "true false"
```