mirror of
https://github.com/unknwon/the-way-to-go_ZH_CN.git
synced 2025-08-12 05:33:04 +08:00
校对 11.12
This commit is contained in:
@@ -2,19 +2,19 @@
|
|||||||
|
|
||||||
## 11.12.1 Go的动态类型
|
## 11.12.1 Go的动态类型
|
||||||
|
|
||||||
在经典的 OO 语言(像 C++,Java 和 C#)中数据和方法被封装为 `类的概念`:类包含它们全部,并且不能分开。
|
在经典的 OO 语言(像 C++,Java 和 C#)中数据和方法被封装为 `类的概念`:类包含它们两者,并且不能剥离。
|
||||||
|
|
||||||
Go 没有类:数据(结构体或更一般的类型)和方法是正交关系,一种松耦合。
|
Go 没有类:数据(结构体或更一般的类型)和方法是一种松耦合的正交关系。
|
||||||
|
|
||||||
Go 中的接口跟 Java/C# 类似:都是必须提供一个指定方法集的实现。但是更灵活通用:任何提供了接口方法实现代码的类型都隐式地实现了该接口,而不用显式地声明。
|
Go 中的接口跟 Java/C# 类似:都是必须提供一个指定方法集的实现。但是更加灵活通用:任何提供了接口方法实现代码的类型都隐式地实现了该接口,而不用显式地声明。
|
||||||
|
|
||||||
和其它语言相比,Go 是唯一结合了接口值,静态类型检查(是否该类型实现了某个接口),运行时动态转换的语言,并且不需要显式地声明类型是否满足某个接口。该特性允许我们定义和使用新接口,而不用改变已有的代码。
|
和其它语言相比,Go 是唯一结合了接口值,静态类型检查(是否该类型实现了某个接口),运行时动态转换的语言,并且不需要显式地声明类型是否满足某个接口。该特性允许我们在不改变已有的代码的情况下定义和使用新接口。
|
||||||
|
|
||||||
以一个(或多个)接口类型作为参数的函数,可以被实现了该接口的类型的实例调用。`实现了某个接口的类型可以被传给任何以此接口为参数的函数`。
|
接收一个(或多个)接口类型作为参数的函数,可以被实现了该接口的类型实例调用。`实现了某个接口的类型可以被传给任何以此接口为参数的函数`。
|
||||||
|
|
||||||
类似于 Python 和 Ruby 这类动态语言中的 `动态类型(duck typing)`;这意味着对象可以根据提供的方法被处理(例如,作为参数传递给函数),而忽略它们的实际类型:它们能做什么比它们是什么更重要。
|
类似于 Python 和 Ruby 这类动态语言中的 `动态类型(duck typing)`;这意味着对象可以根据提供的方法被处理(例如,作为参数传递给函数),而忽略它们的实际类型:它们能做什么比它们是什么更重要。
|
||||||
|
|
||||||
这在程序 duck_dance.go 中得以阐明,函数 DuckDance 接受一个 IDuck 的接口类型变量。仅当 DuckDance 是被实现了 IDuck 接口的类型调用时程序才能通过编译。
|
这在程序 duck_dance.go 中得以阐明,函数 DuckDance 接受一个 IDuck 接口类型变量。仅当 DuckDance 被实现了 IDuck 接口的类型调用时程序才能编译通过。
|
||||||
|
|
||||||
示例 11.16 [duck_dance.go](examples/chapter_11/duck_dance.go):
|
示例 11.16 [duck_dance.go](examples/chapter_11/duck_dance.go):
|
||||||
|
|
||||||
@@ -67,18 +67,17 @@ func main() {
|
|||||||
```
|
```
|
||||||
cannot use b (type *Bird) as type IDuck in function argument:
|
cannot use b (type *Bird) as type IDuck in function argument:
|
||||||
*Bird does not implement IDuck (missing Walk method)
|
*Bird does not implement IDuck (missing Walk method)
|
||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
如果对 `cat` 调用函数 `DuckDance()`,Go 会提示编译错误,但是 Python 和 Ruby 会以运行时错误结束。
|
如果对 `cat` 调用函数 `DuckDance()`,Go 会提示编译错误,但是 Python 和 Ruby 会以运行时错误结束。
|
||||||
|
|
||||||
## 11.12.2 动态方法调用
|
## 11.12.2 动态方法调用
|
||||||
|
|
||||||
像 Python,Ruby 这类语言,动态类型是延迟绑定的(在运行时进行):方法只是用参数和变量简单地调用,然后在运行时才解析(它们很可能有像 `responds_to` 这样的方法来检查对象是否可以响应某个方法,但是这也意味着更大的编码量和更多的测试)
|
像 Python,Ruby 这类语言,动态类型是延迟绑定的(在运行时进行):方法只是用参数和变量简单地调用,然后在运行时才解析(它们很可能有像 `responds_to` 这样的方法来检查对象是否可以响应某个方法,但是这也意味着更大的编码量和更多的测试工作)
|
||||||
|
|
||||||
Go 的实现与此相反,通常需要编译器静态检查的支持:当变量被赋值给一个接口类型的变量时,编译器会检查其是否实现了该接口的所有函数。如果方法调用作用于像 `interface{}` 这样的“泛型”上,你可以通过类型断言(参见 11.3 节)来检查变量是否实现了相应接口。
|
Go 的实现与此相反,通常需要编译器静态检查的支持:当变量被赋值给一个接口类型的变量时,编译器会检查其是否实现了该接口的所有函数。如果方法调用作用于像 `interface{}` 这样的“泛型”上,你可以通过类型断言(参见 11.3 节)来检查变量是否实现了相应接口。
|
||||||
|
|
||||||
例如,假设你用不同的类型表示 XML 输出流中的不同实体。然后我们为 XML 定义一个如下的“写”接口(甚至可以把它定义为私有接口):
|
例如,你用不同的类型表示 XML 输出流中的不同实体。然后我们为 XML 定义一个如下的“写”接口(甚至可以把它定义为私有接口):
|
||||||
|
|
||||||
```go
|
```go
|
||||||
type xmlWriter interface {
|
type xmlWriter interface {
|
||||||
@@ -87,7 +86,7 @@ type xmlWriter interface {
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
现在我们可以实现适用于流类型的任何变量的 `StreamXML` 函数,并用类型断言检查传入的变量是否实现了该接口;如果没有,我们就调用内建的 `encodeToXML` 来完成相应工作:
|
现在我们可以实现适用于该流类型的任何变量的 `StreamXML` 函数,并用类型断言检查传入的变量是否实现了该接口;如果没有,我们就调用内建的 `encodeToXML` 来完成相应工作:
|
||||||
|
|
||||||
```go
|
```go
|
||||||
// Exported XML streaming function.
|
// Exported XML streaming function.
|
||||||
@@ -107,7 +106,7 @@ func encodeToXML(v interface{}, w io.Writer) error {
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
Go 在这里用了和 `gob` 相同的机制:定义了两个接口 `GobEncoder` 和 `GobDecoder`。这样就允许类型自己实现从流编解码的方式;如果没有就使用标准的反射方式。
|
Go 在这里用了和 `gob` 相同的机制:定义了两个接口 `GobEncoder` 和 `GobDecoder`。这样就允许类型自己实现从流编解码的具体方式;如果没有实现就使用标准的反射方式。
|
||||||
|
|
||||||
因此 Go 提供了动态语言的优点,却没有其他动态语言在运行时可能发生错误的缺点。
|
因此 Go 提供了动态语言的优点,却没有其他动态语言在运行时可能发生错误的缺点。
|
||||||
|
|
||||||
@@ -120,7 +119,7 @@ Go 的接口提高了代码的分离度,改善了代码的复用性,使得
|
|||||||
`提取接口` 是非常有用的设计模式,可以减少需要的类型和方法数量,而且不需要像传统的基于类的 OO 语言那样维护整个的类层次结构。
|
`提取接口` 是非常有用的设计模式,可以减少需要的类型和方法数量,而且不需要像传统的基于类的 OO 语言那样维护整个的类层次结构。
|
||||||
|
|
||||||
Go 接口可以让开发者找出自己写的程序中的类型。假设有一些拥有共同行为的对象,并且开发者想要抽象出这些行为,这时就可以创建一个接口来使用。
|
Go 接口可以让开发者找出自己写的程序中的类型。假设有一些拥有共同行为的对象,并且开发者想要抽象出这些行为,这时就可以创建一个接口来使用。
|
||||||
我们来扩展 11.1 节的示例 11.2 interfaces_poly.go,假设我们发现我们需要一个新的接口 `TopologicalGenus`,用来给 shape 排序(这里简单地实现为返回 int)。我们需要做的是给想要满足接口的类型实现 `Rank()` 方法:
|
我们来扩展 11.1 节的示例 11.2 interfaces_poly.go,假设我们需要一个新的接口 `TopologicalGenus`,用来给 shape 排序(这里简单地实现为返回 int)。我们需要做的是给想要满足接口的类型实现 `Rank()` 方法:
|
||||||
|
|
||||||
示例 11.17 [multi_interfaces_poly.go](examples/chapter_11/multi_interfaces_poly.go):
|
示例 11.17 [multi_interfaces_poly.go](examples/chapter_11/multi_interfaces_poly.go):
|
||||||
|
|
||||||
@@ -193,7 +192,7 @@ Topological Genus of this shape is: 1
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
所以你不用提前设计出所有的接口;`整个设计可以持续演进,而不用废弃之前的决定`。当类型要实现一个接口,它本身不用改变,你只需要在这个类型上实现新的方法。
|
所以你不用提前设计出所有的接口;`整个设计可以持续演进,而不用废弃之前的决定`。类型要实现某个接口,它本身不用改变,你只需要在这个类型上实现新的方法。
|
||||||
|
|
||||||
## 11.12.4 显式地指明类型实现了某个接口
|
## 11.12.4 显式地指明类型实现了某个接口
|
||||||
|
|
||||||
@@ -221,7 +220,7 @@ func (b Bar) ImplementsFooer() {} func (b Bar) Foo() {}
|
|||||||
|
|
||||||
## 11.12.5 空接口和函数重载
|
## 11.12.5 空接口和函数重载
|
||||||
|
|
||||||
在 6.1 节中, 我们看到函数重载是不被允许的。在 Go 语言中函数重载可以用可变参数 `...T` 作为函数最后一个参数来实现(参见 6.3 节)。如果我们把 T 换为空接口,那么可以知道任何类型的变量都是满足 T (空接口)类型的,这样就允许我们传递任何数据任何类型的参数给函数,即重载的实际含义。
|
在 6.1 节中, 我们看到函数重载是不被允许的。在 Go 语言中函数重载可以用可变参数 `...T` 作为函数最后一个参数来实现(参见 6.3 节)。如果我们把 T 换为空接口,那么可以知道任何类型的变量都是满足 T (空接口)类型的,这样就允许我们传递任何数量任何类型的参数给函数,即重载的实际含义。
|
||||||
|
|
||||||
函数 `fmt.Printf` 就是这样做的:
|
函数 `fmt.Printf` 就是这样做的:
|
||||||
|
|
||||||
@@ -230,7 +229,7 @@ fmt.Printf(format string, a ...interface{}) (n int, errno error)
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
这个函数通过枚举 `slice` 类型的实参动态确定所有参数的类型。并查看每个类型是否实现了 `String()` 方法,如果是就用于产生输出信息。我们可以返回 11.10 节查看这些细节。
|
这个函数通过枚举 `slice` 类型的实参动态确定所有参数的类型。并查看每个类型是否实现了 `String()` 方法,如果是就用于产生输出信息。我们可以回到 11.10 节查看这些细节。
|
||||||
|
|
||||||
## 11.12.6 接口的继承
|
## 11.12.6 接口的继承
|
||||||
|
|
||||||
@@ -272,7 +271,7 @@ type ReaderWriter struct {
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
上面概述的原理被应用于整个 Go 包,多态用得越多,代码就相对越少(参见 12.8 节)。这被认为是 Go 编程的一种重要的最佳实践。
|
上面概述的原理被应用于整个 Go 包,多态用得越多,代码就相对越少(参见 12.8 节)。这被认为是 Go 编程中的重要的最佳实践。
|
||||||
|
|
||||||
有用的接口可以在开发的过程中被归纳出来。添加新接口非常容易,因为已有的类型不用变动(仅仅需要实现新接口的方法)。已有的函数可以扩展为使用接口类型的约束性参数:通常只有函数签名需要改变。对比基于类的 OO 类型的语言在这种情况下则需要适应整个类层次结构的变化。
|
有用的接口可以在开发的过程中被归纳出来。添加新接口非常容易,因为已有的类型不用变动(仅仅需要实现新接口的方法)。已有的函数可以扩展为使用接口类型的约束性参数:通常只有函数签名需要改变。对比基于类的 OO 类型的语言在这种情况下则需要适应整个类层次结构的变化。
|
||||||
|
|
||||||
@@ -302,7 +301,7 @@ Pop() (x interface{}, error)
|
|||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
写一个 `Pop()` 改变栈并返回最顶部的元素;并写一个 `Top()` 只返回最顶部元素。
|
`Pop()` 改变栈并返回最顶部的元素;`Top()` 只返回最顶部元素。
|
||||||
|
|
||||||
在主程序中构建一个充满不同类型元素的栈,然后弹出并打印所有元素的值。
|
在主程序中构建一个充满不同类型元素的栈,然后弹出并打印所有元素的值。
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user