修正半角标点符号

This commit is contained in:
kimw
2018-05-27 16:51:15 -04:00
parent fb3359fb4e
commit 0ab7557665
39 changed files with 85 additions and 86 deletions

View File

@@ -1,8 +1,8 @@
## 12.2. reflect.Typereflect.Value
## 12.2. reflect.Typereflect.Value
反射是由 reflect 包提供的。 它定义了两个重要的类型, Type 和 Value. 一个 Type 表示一个Go类型. 它是一个接口, 有许多方法来区分类型以及检查它们的组成部分, 例如一个结构体的成员或一个函数的参数等. 唯一能反映 reflect.Type 实现的是接口的类型描述信息(§7.5), 也正是这个实体标识了接口值的动态类型.
反射是由 reflect 包提供的。它定义了两个重要的类型Type 和 Value一个 Type 表示一个Go类型它是一个接口有许多方法来区分类型以及检查它们的组成部分例如一个结构体的成员或一个函数的参数等唯一能反映 reflect.Type 实现的是接口的类型描述信息(§7.5)也正是这个实体标识了接口值的动态类型
函数 reflect.TypeOf 接受任意的 interface{} 类型, 并以reflect.Type形式返回其动态类型:
函数 reflect.TypeOf 接受任意的 interface{} 类型并以 reflect.Type 形式返回其动态类型
```Go
t := reflect.TypeOf(3) // a reflect.Type
@@ -10,22 +10,22 @@ fmt.Println(t.String()) // "int"
fmt.Println(t) // "int"
```
其中 TypeOf(3) 调用将值 3 传给 interface{} 参数. 回到 7.5节 的将一个具体的值转为接口类型会有一个隐式的接口转换操作, 它会创建一个包含两个信息的接口值: 操作数的动态类型(这里是int)和它的动态的值(这里是3).
其中 TypeOf(3) 调用将值 3 传给 interface{} 参数回到 7.5节 的将一个具体的值转为接口类型会有一个隐式的接口转换操作它会创建一个包含两个信息的接口值操作数的动态类型这里是 int和它的动态的值这里是 3
因为 reflect.TypeOf 返回的是一个动态类型的接口值, 它总是返回具体的类型. 因此, 下面的代码将打印 "*os.File" 而不是 "io.Writer". 稍后, 我们将看到能够表达接口类型的 reflect.Type.
因为 reflect.TypeOf 返回的是一个动态类型的接口值它总是返回具体的类型。因此,下面的代码将打印 "*os.File" 而不是 "io.Writer"。稍后,我们将看到能够表达接口类型的 reflect.Type
```Go
var w io.Writer = os.Stdout
fmt.Println(reflect.TypeOf(w)) // "*os.File"
```
要注意的是 reflect.Type 接口是满足 fmt.Stringer 接口的. 因为打印一个接口的动态类型对于调试和日志是有帮助的, fmt.Printf 提供了一个缩写 %T 参数, 内部使用 reflect.TypeOf 来输出:
要注意的是 reflect.Type 接口是满足 fmt.Stringer 接口的因为打印一个接口的动态类型对于调试和日志是有帮助的 fmt.Printf 提供了一个缩写 %T 参数内部使用 reflect.TypeOf 来输出
```Go
fmt.Printf("%T\n", 3) // "int"
```
reflect 包中另一个重要的类型是 Value. 一个 reflect.Value 可以装载任意类型的值. 函数 reflect.ValueOf 接受任意的 interface{} 类型, 并返回一个装载着其动态值的 reflect.Value. 和 reflect.TypeOf 类似, reflect.ValueOf 返回的结果也是具体的类型, 但是 reflect.Value 也可以持有一个接口值.
reflect 包中另一个重要的类型是 Value一个 reflect.Value 可以装载任意类型的值函数 reflect.ValueOf 接受任意的 interface{} 类型并返回一个装载着其动态值的 reflect.Value和 reflect.TypeOf 类似reflect.ValueOf 返回的结果也是具体的类型但是 reflect.Value 也可以持有一个接口值
```Go
v := reflect.ValueOf(3) // a reflect.Value
@@ -34,16 +34,16 @@ fmt.Printf("%v\n", v) // "3"
fmt.Println(v.String()) // NOTE: "<int Value>"
```
和 reflect.Type 类似, reflect.Value 也满足 fmt.Stringer 接口, 但是除非 Value 持有的是字符串, 否则 String 方法只返回其类型. 而使用 fmt 包的 %v 标志参数会对 reflect.Values 特殊处理.
和 reflect.Type 类似reflect.Value 也满足 fmt.Stringer 接口但是除非 Value 持有的是字符串否则 String 方法只返回其类型而使用 fmt 包的 %v 标志参数会对 reflect.Values 特殊处理
对 Value 调用 Type 方法将返回具体类型所对应的 reflect.Type:
对 Value 调用 Type 方法将返回具体类型所对应的 reflect.Type
```Go
t := v.Type() // a reflect.Type
fmt.Println(t.String()) // "int"
```
reflect.ValueOf 的逆操作是 reflect.Value.Interface 方法. 它返回一个 interface{} 类型,装载着与 reflect.Value 相同的具体值:
reflect.ValueOf 的逆操作是 reflect.Value.Interface 方法它返回一个 interface{} 类型,装载着与 reflect.Value 相同的具体值
```Go
v := reflect.ValueOf(3) // a reflect.Value
@@ -52,9 +52,9 @@ i := x.(int) // an int
fmt.Printf("%d\n", i) // "3"
```
reflect.Value 和 interface{} 都能装载任意的值. 所不同的是, 一个空的接口隐藏了值内部的表示方式和所有方法, 因此只有我们知道具体的动态类型才能使用类型断言来访问内部的值(就像上面那样), 内部值我们没法访问. 相比之下, 一个 Value 则有很多方法来检查其内容, 无论它的具体类型是什么. 让我们再次尝试实现我们的格式化函数 format.Any.
reflect.Value 和 interface{} 都能装载任意的值所不同的是一个空的接口隐藏了值内部的表示方式和所有方法因此只有我们知道具体的动态类型才能使用类型断言来访问内部的值就像上面那样内部值我们没法访问相比之下一个 Value 则有很多方法来检查其内容无论它的具体类型是什么让我们再次尝试实现我们的格式化函数 format.Any
我们使用 reflect.Value 的 Kind 方法来替代之前的类型 switch. 虽然还是有无穷多的类型, 但是它们的kinds类型却是有限的: Bool, String 和 所有数字类型的基础类型; Array 和 Struct 对应的聚合类型; Chan, Func, Ptr, Slice, 和 Map 对应的引用类型; interface 类型; 还有表示空值的 Invalid 类型. (空的 reflect.Value 的 kind 即为 Invalid.)
我们使用 reflect.Value 的 Kind 方法来替代之前的类型 switch虽然还是有无穷多的类型但是它们的 kinds 类型却是有限的BoolString 和 所有数字类型的基础类型Array 和 Struct 对应的聚合类型ChanFuncPtrSlice 和 Map 对应的引用类型interface 类型还有表示空值的 Invalid 类型。(空的 reflect.Value 的 kind 即为 Invalid。)
<u><i>gopl.io/ch12/format</i></u>
```Go
@@ -95,7 +95,7 @@ func formatAtom(v reflect.Value) string {
}
```
到目前为止, 我们的函数将每个值视作一个不可分割没有内部结构的物品, 因此它叫 formatAtom. 对于聚合类型(结构体和数组)和接口,只是打印值的类型, 对于引用类型(channels, functions, pointers, slices, 和 maps), 打印类型和十六进制的引用地址. 虽然还不够理想, 但是依然是一个重大的进步, 并且 Kind 只关心底层表示, format.Any 也支持具名类型. 例如:
到目前为止我们的函数将每个值视作一个不可分割没有内部结构的物品因此它叫 formatAtom对于聚合类型结构体和数组和接口,只是打印值的类型对于引用类型channelsfunctionspointersslices 和 maps打印类型和十六进制的引用地址虽然还不够理想但是依然是一个重大的进步并且 Kind 只关心底层表示format.Any 也支持具名类型例如
```Go
var x int64 = 1

View File

@@ -157,7 +157,7 @@ Display("os.Stderr", os.Stderr)
// (*(*os.Stderr).file).nepipe = 0
```
可以看出反射能够访问到结构体中未导出的成员。需要当心的是这个例子的输出在不同操作系统上可能是不同的并且随着标准库的发展也可能导致结果不同。这也是将这些成员定义为私有成员的原因之一我们甚至可以用Display函数来显示reflect.Value 的内部构造(在这里设置为`*os.File`的类型描述体)。`Display("rV", reflect.ValueOf(os.Stderr))`调用的输出如下,当然不同环境得到的结果可能有差异:
可以看出反射能够访问到结构体中未导出的成员。需要当心的是这个例子的输出在不同操作系统上可能是不同的并且随着标准库的发展也可能导致结果不同。这也是将这些成员定义为私有成员的原因之一我们甚至可以用Display函数来显示reflect.Value 的内部构造(在这里设置为`*os.File`的类型描述体)。`Display("rV", reflect.ValueOf(os.Stderr))`调用的输出如下,当然不同环境得到的结果可能有差异:
```Go
Display rV (reflect.Value):

View File

@@ -37,4 +37,4 @@ methods.Print(new(strings.Replacer))
// type *strings.Replacer
// func (*strings.Replacer) Replace(string) string
// func (*strings.Replacer) WriteString(io.Writer, string) (int, error)
````
```