重新校对11.10, 11.11

This commit is contained in:
dake
2015-10-29 14:48:40 +08:00
parent a2419ebbf1
commit 0c9e7b90db
2 changed files with 30 additions and 29 deletions

View File

@@ -1,11 +1,12 @@
# 11.10 反射包
## 11.10.1 方法和类型的反射
在10.4节我们看到可以通过反射来分析一个结构体。本节我们进一步探讨强大的反射功能。反射是用程序检查其所拥有的结构,尤其是类型的一种能力;这是元编程的一种形式。反射可以在运行时检查类型和变量,例如它的大小、方法和`动态`的调用这些方法。这对于没有源代码的包尤其有用。这是一个强大的工具,除非真得有必要,否则应当避免使用或小心使用。
10.4 节我们看到可以通过反射来分析一个结构体。本节我们进一步探讨强大的反射功能。反射是用程序检查其所拥有的结构,尤其是类型的一种能力;这是元编程的一种形式。反射可以在运行时检查类型和变量,例如它的大小、方法和 `动态`
的调用这些方法。这对于没有源代码的包尤其有用。这是一个强大的工具,除非真得有必要,否则应当避免使用或小心使用。
变量的最基本信息就是类型和值:反射包的`Type`用来表示一个Go类型反射包的`Value`Go值提供了反射接口。
变量的最基本信息就是类型和值:反射包的 `Type` 用来表示一个 Go 类型,反射包的 `Value`Go 值提供了反射接口。
两个简单的函数,`reflect.TypeOf``reflect.ValueOf`返回被检查对象的类型和值。例如x被定义为`var x float64 = 3.4`,那么`reflect.TypeOf(x)`返回`float64``reflect.ValueOf(x)`返回`<float64 Value>`
两个简单的函数`reflect.TypeOf``reflect.ValueOf`返回被检查对象的类型和值。例如x 被定义为:`var x float64 = 3.4`那么 `reflect.TypeOf(x)` 返回 `float64``reflect.ValueOf(x)` 返回 `<float64 Value>`
实际上,反射是通过检查一个接口的值,变量首先被转换成空接口。这从下面两个函数签名能够很明显的看出来:
@@ -14,7 +15,7 @@ func TypeOf(i interface{}) Type
func ValueOf(i interface{}) Value
```
接口的值包含一个typevalue.
接口的值包含一个 typevalue
反射可以从接口值反射到对象,也可以从对象反射回接口值。
@@ -52,10 +53,10 @@ const (
)
```
对于变量 x如果`v:=reflect.ValueOf(x)`,那么`v.Kind()`返回 float64 ,所以下面的表达式是`true`
对于变量 x如果 `v:=reflect.ValueOf(x)`,那么 `v.Kind()` 返回 float64 ,所以下面的表达式是 `true`
`v.Kind() == reflect.Float64`
Kind 总是返回底层类型:
Kind 总是返回底层类型
```go
type MyInt int
@@ -63,14 +64,14 @@ var m MyInt = 5
v := reflect.ValueOf(m)
```
`v.Kind()`返回`reflect.Int`
`v.Kind()` 返回 `reflect.Int`
值 v 的`Interface()`方法可以得到还原(接口)值,所以可以这样打印 v 的值:`fmt.Println(v.Interface())`
值 v 的 `Interface()` 方法可以得到还原(接口)值,所以可以这样打印 v 的值:`fmt.Println(v.Interface())`
尝试运行下面的代码:
示例 11.11 [reflect1.go](examples/chapter_11/reflect1.go):
示例 11.11 [reflect1.go](examples/chapter_11/reflect1.go)
```go
// blog: Laws of Reflection
@@ -107,27 +108,27 @@ value is 3.40e+00
*/
```
x 是一个 float64 类型的值,`reflect.ValueOf(x).Float()`返回这个 float64 类型的实际值;同样的适用于`Int(), Bool(), Complex() ,String()`
x 是一个 float64 类型的值,`reflect.ValueOf(x).Float()` 返回这个 float64 类型的实际值;同样的适用于 `Int(), Bool(), Complex(), String()`
## 11.10.2 通过反射修改(设置)值
继续前面的例子(参阅11.9 [reflect2.go](examples/chapter_11/reflect2.go)),假设我们要把 x 的值改为3.1415。Value 有一些方法可以完成这个任务,但是必须小心使用:`v.SetFloat(3.1415)`
继续前面的例子参阅 11.9 [reflect2.go](examples/chapter_11/reflect2.go)假设我们要把 x 的值改为 3.1415。Value 有一些方法可以完成这个任务,但是必须小心使用:`v.SetFloat(3.1415)`
这将产生一个错误: `will panic: reflect.Value.SetFloat using unaddressable value`
为什么会这样呢?问题的原因是 v 不是可设置的(这里并不是说值不可寻址)。是否可设置是Value的一个属性并且不是所有的反设值都有这个属性可以使用`CanSet()`方法测试是否可设置。
为什么会这样呢?问题的原因是 v 不是可设置的这里并不是说值不可寻址。是否可设置是 Value 的一个属性,并且不是所有的反设值都有这个属性:可以使用 `CanSet()` 方法测试是否可设置。
在例子中我们看到`v.CanSet()`返回 false: `settability of v: false`
在例子中我们看到 `v.CanSet()` 返回 false `settability of v: false`
`v := reflect.ValueOf(x) `函数通过传递一个 x 拷贝创建了 v那么 v 的改变并不能更改原始的x。要想 v 的更改能作用到 x,那就必须传递 x 的地址`v = reflect.ValueOf(&x)`
`v := reflect.ValueOf(x)` 函数通过传递一个 x 拷贝创建了 v那么 v 的改变并不能更改原始的 x。要想 v 的更改能作用到 x那就必须传递 x 的地址 `v = reflect.ValueOf(&x)`
通过 Type() 我们看到 v 现在的类型是 `*float64` 并且仍然是不可设置的。
要想让其可设置我们需要使用`Elem()`函数,这间接的使用指针:`v = v.Elem()`
要想让其可设置我们需要使用 `Elem()` 函数,这间接的使用指针`v = v.Elem()`
现在`v.CanSet()`返回true并且`v.SetFloat(3.1415)`设置成功了!
现在 `v.CanSet()` 返回 true 并且 `v.SetFloat(3.1415)` 设置成功了!
示例 11.12 [reflect2.go](examples/chapter_11/reflect2.go):
示例 11.12 [reflect2.go](examples/chapter_11/reflect2.go)
```go
// reflect2.go
@@ -169,11 +170,11 @@ settability of v: true
反射中有些内容是需要用地址去改变它的状态的。
## 11.10.3 反射结构
有些时候需要反射一个结构类型。`NumField()` 方法返回结构内的字段数量;通过一个 for 循环用索引取得每个字段的值`Field(i)`
有些时候需要反射一个结构类型。`NumField()` 方法返回结构内的字段数量;通过一个 for 循环用索引取得每个字段的值 `Field(i)`
我们同样能够调用签名在结构上的方法,例如,使用索引n来调用:`Method(n).Call(nil)`
我们同样能够调用签名在结构上的方法,例如,使用索引 n 来调用`Method(n).Call(nil)`
示例 11.13 [reflect_struct.go](examples/chapter_11/reflect_struct.go):
示例 11.13 [reflect_struct.go](examples/chapter_11/reflect_struct.go)
```go
// reflect.go
@@ -229,12 +230,12 @@ Field 2: Oberon
但是如果尝试更改一个值,会得到一个错:
```
panic: reflect.Value.SetString using value obtained using unexported field
panic: reflect.Value.SetString using value obtained using unexported field
```
这是因为结构中只有被导出字段(首字母大写)才是可设置的;来看下面的例子:
这是因为结构中只有被导出字段(首字母大写)才是可设置的;来看下面的例子
示例 11.14 [reflect_struct2.go](examples/chapter_11/reflect_struct2.go):
示例 11.14 [reflect_struct2.go](examples/chapter_11/reflect_struct2.go)
```go
// reflect_struct2.go
@@ -271,7 +272,7 @@ t is now {77 Sunset Strip}
*/
```
附录37深入阐述了反射概念。
附录 37 深入阐述了反射概念。
## 链接

View File

@@ -1,6 +1,6 @@
# 11.11 Printf 和反射
在 Go 语言的标准库中前几节所述的反射的功能被大量地使用。举个例子fmt 包中的Printf以及其他格式化输出函数都会使用反射来分析它的`...`参数。
在 Go 语言的标准库中前几节所述的反射的功能被大量地使用。举个例子fmt 包中的 Printf以及其他格式化输出函数都会使用反射来分析它的 `...` 参数。
Printf 的函数声明为:
@@ -8,11 +8,11 @@ Printf 的函数声明为:
func Printf(format string, args ... interface{}) (n int, err error)
```
Printf 中的`...`参数为空接口类型。Printf 使用反射包来解析这个参数列表。所以Printf 能够知道它每个参数的类型。因此格式化字符串中只有%d而没有 %u 和 %ld因为它知道这个参数是 unsigned 还是 long。这也是为什么 Print 和 Println 在没有格式字符串的情况下还能如此漂亮地输出。
Printf 中的 `...` 参数为空接口类型。Printf 使用反射包来解析这个参数列表。所以Printf 能够知道它每个参数的类型。因此格式化字符串中只有%d而没有 %u 和 %ld因为它知道这个参数是 unsigned 还是 long。这也是为什么 Print 和 Println 在没有格式字符串的情况下还能如此漂亮地输出。
为了让大家更加具体地了解 Printf 中的反射,我们实现了一个简单的通用输出函数。其中使用了 type-switch 来推导参数类型并根据类型来输出每个参数的值这里用了10.7节中练习10.13的部分代码)
为了让大家更加具体地了解 Printf 中的反射,我们实现了一个简单的通用输出函数。其中使用了 type-switch 来推导参数类型,并根据类型来输出每个参数的值(这里用了 10.7 节中练习 10.13 的部分代码)
示例 11.15 [print.go](examples/chapter_11/print.go):
示例 11.15 [print.go](examples/chapter_11/print.go)
```go
// print.go
package main
@@ -59,7 +59,7 @@ func main() {
// Tuesday was 18.4 °C
```
在12.8节中我们将阐释`fmt.Fprintf()`是怎么运用同样的反射原则的。
12.8 节中我们将阐释 `fmt.Fprintf()` 是怎么运用同样的反射原则的。
## 链接