Compare commits

10 Commits

Author SHA1 Message Date
柴树杉
6ecbba5baa Merge pull request #247 from Nyvryl/Nyvryl-patch-1
Some checks failed
mdbook / deploy (push) Has been cancelled
Revise chapter 5.5 on function values in Go
2025-11-16 20:46:39 +08:00
Nyvryl
522457fa25 Revise chapter 5.5 on function values in Go
此处应为 "forEachNode" 而非 ”forEachNoded“,后者在前文中完全没有提及,应为笔误。
2025-11-16 11:13:04 +00:00
柴树杉
c58743acce Merge pull request #245 from lin-snow/patch-2
Some checks failed
mdbook / deploy (push) Has been cancelled
docs: add note about compile-time interface checks
2025-09-03 16:59:51 +08:00
柴树杉
cc738922ed Merge pull request #246 from lin-snow/patch-3
fix(docs): 更正术语“先觉条件”为“先决条件”
2025-09-03 16:59:14 +08:00
L1nSn0w
c080b2ac6d docs: 将“先觉条件”更正为“先决条件”,以符合技术语境 2025-09-03 09:52:02 +08:00
L1nSn0w
1ed9861965 Document conditions for implementing interfaces
Add section on interface implementation conditions
2025-09-03 09:10:55 +08:00
柴树杉
9e504959ee Merge pull request #242 from DormancyWang/master
Some checks failed
mdbook / deploy (push) Has been cancelled
修改:第七章介绍
2025-09-02 16:22:04 +08:00
柴树杉
e13b3dc49a Merge pull request #244 from lin-snow/patch-1
fix: correct typo "而不再试" → "而不再是"
2025-09-02 16:21:15 +08:00
L1nSn0w
a08a8f4162 Revise chapter 5.6 on anonymous functions and closures
This section introduces anonymous functions in Go, explaining their syntax, usage, and implications in terms of closures and lexical environments. It also discusses common pitfalls related to variable capture in loops and provides examples of breadth-first search and topological sorting.
2025-09-02 15:44:42 +08:00
Guo
bdf5fdf226 修改:第七章介绍
接口是go语言中十分重要的一个概念,与其相关的介绍应该逻辑简单,通俗
易懂。原翻译有些生硬,不好理解。反而加重读者的阅读负担。
这里应该用流畅的语言重点介绍想法,而无需刻意追求严谨性。
所以对介绍做了一些修改。有了主要的想法,后续的理解的过程中会更有方
向。
2025-08-06 11:13:47 +08:00
5 changed files with 10 additions and 6 deletions

View File

@@ -119,7 +119,7 @@ $ ./outline2 http://gopl.io
**练习 5.7** 完善startElement和endElement函数使其成为通用的HTML输出器。要求输出注释结点文本结点以及每个元素的属性< a href='...'>)。使用简略格式输出没有孩子结点的元素(即用`<img/>`代替`<img></img>`。编写测试验证程序输出的格式正确。详见11章
**练习 5.8** 修改pre和post函数使其返回布尔类型的返回值。返回false时中止forEachNoded的遍历。使用修改后的代码编写ElementByID函数根据用户输入的id查找第一个拥有该id元素的HTML元素查找成功后停止遍历。
**练习 5.8** 修改pre和post函数使其返回布尔类型的返回值。返回false时中止forEachNode的遍历。使用修改后的代码编写ElementByID函数根据用户输入的id查找第一个拥有该id元素的HTML元素查找成功后停止遍历。
```Go
func ElementByID(doc *html.Node, id string) *html.Node
@@ -130,3 +130,4 @@ func ElementByID(doc *html.Node, id string) *html.Node
```Go
func expand(s string, f func(string) string) string
```

View File

@@ -101,7 +101,7 @@ visitAll := func(items []string) {
}
```
在toposort程序的输出如下所示它的输出顺序是大多人想看到的固定顺序输出但是这需要我们多花点心思才能做到。哈希表prepreqs的value是遍历顺序固定的切片而不再遍历顺序随机的map所以我们对prereqs的key值进行排序保证每次运行toposort程序都以相同的遍历顺序遍历prereqs。
在toposort程序的输出如下所示它的输出顺序是大多人想看到的固定顺序输出但是这需要我们多花点心思才能做到。哈希表prepreqs的value是遍历顺序固定的切片而不再遍历顺序随机的map所以我们对prereqs的key值进行排序保证每次运行toposort程序都以相同的遍历顺序遍历prereqs。
```
1: intro to programming
@@ -302,3 +302,4 @@ for i := 0; i < len(dirs); i++ {
```
如果你使用go语句第八章或者defer语句5.8节会经常遇到此类问题。这不是go或defer本身导致的而是因为它们都会等待循环结束后再执行函数值。

View File

@@ -79,7 +79,7 @@ any = new(bytes.Buffer)
对于创建的一个interface{}值持有一个booleanfloatstringmappointer或者任意其它的类型我们当然不能直接对它持有的值做操作因为interface{}没有任何方法。我们会在7.10章中学到一种用类型断言来获取interface{}中值的方法。
因为接口与实现只依赖于判断两个类型的方法,所以没有必要定义一个具体类型和它实现的接口之间的关系。也就是说,有意地在文档里说明或者程序上断言这种关系偶尔是有用的,但程序上不强制这么做。下面的定义在编译期断言一个`*bytes.Buffer`的值实现了io.Writer接口类型:
因为接口与实现只依赖于判断两个类型的方法,所以没有必要定义一个具体类型和它实现的接口之间的关系。也就是说,有意地在文档里说明或者程序上断言这种关系偶尔是有用的,但程序上不强制这么做。这种写法还可用于让编译器在编译期确保某个类型确实满足接口要求,从而提前发现实现遗漏或接口变更导致的不匹配问题。下面的定义在编译期断言一个`*bytes.Buffer`的值实现了io.Writer接口类型:
```go
// *bytes.Buffer must satisfy io.Writer
@@ -150,3 +150,4 @@ type Streamer interface {
```
每一个具体类型的组基于它们相同的行为可以表示成一个接口类型。不像基于类的语言他们一个类实现的接口集合需要进行显式的定义在Go语言中我们可以在需要的时候定义一个新的抽象或者特定特点的组而不需要修改具体类型的定义。当具体的类型来自不同的作者时这种方式会特别有用。当然也确实没有必要在具体的类型中指出这些共性。

View File

@@ -151,7 +151,7 @@ if out != nil {
动态分配机制依然决定(\*bytes.Buffer).Write的方法会被调用但是这次的接收者的值是nil。对于一些如\*os.File的类型nil是一个有效的接收者§6.2.1),但是\*bytes.Buffer类型不在这些种类中。这个方法会被调用但是当它尝试去获取缓冲区时会发生panic。
问题在于尽管一个nil的\*bytes.Buffer指针有实现这个接口的方法它也不满足这个接口具体的行为上的要求。特别是这个调用违反了(\*bytes.Buffer).Write方法的接收者非空的隐含先条件所以将nil指针赋给这个接口是错误的。解决方案就是将main函数中的变量buf的类型改为io.Writer因此可以避免一开始就将一个不完整的值赋值给这个接口
问题在于尽管一个nil的\*bytes.Buffer指针有实现这个接口的方法它也不满足这个接口具体的行为上的要求。特别是这个调用违反了(\*bytes.Buffer).Write方法的接收者非空的隐含先条件所以将nil指针赋给这个接口是错误的。解决方案就是将main函数中的变量buf的类型改为io.Writer因此可以避免一开始就将一个不完整的值赋值给这个接口
```go
var buf io.Writer
@@ -162,3 +162,4 @@ f(buf) // OK
```
现在我们已经把接口值的技巧都讲完了让我们来看更多的一些在Go标准库中的重要接口类型。在下面的三章中我们会看到接口类型是怎样用在排序web服务错误处理中的。

View File

@@ -1,7 +1,7 @@
# 第7章 接口
接口类型是对其类型行为的抽象和概括;因为接口类型不会和特定的实现细节绑定在一起,通过这种抽象的方式我们可以让我们的函数更加灵活和更具有适应能力
接口类型表达的是对其类型行为的一种泛化或抽象。通过泛化,接口使我们能够编写更灵活、更适应变化的函数,因为它们不依赖于某个特定实现的细节
多面向对象的语言都有相似的接口概念但Go语言中接口类型的独特之处在于它是满足隐式实现的。也就是说,我们没有必要对于给定的具体类型定义所有满足的接口类型;简单地拥有一些必需的方法就足够了。这种设计可以让你创建一个新的接口类型满足已经存在的具体类型却不会去改变这些类型的定义;当我们使用的类型来自于不受我们控制的包时这种设计尤其有用
多面向对象的语言都有“接口”这一概念,但 Go 的接口之所以独特,是因为它们是隐式满足的。换句话说,一个具体类型不需要显式声明它实现了哪些接口;只要它拥有接口所需的方法,就自动被认为满足了该接口。这种设计让你可以为已有的具体类型创建新的接口,而不需要修改这些类型本身——这在处理你无法控制的外部包中定义的类型时特别有用
在本章我们会开始看到接口类型和值的一些基本技巧。顺着这种方式我们将学习几个来自标准库的重要接口。很多Go程序中都尽可能多的去使用标准库中的接口。最后我们会在§7.10看到类型断言的知识§7.13)看到类型开关的使用并且学到他们是怎样让不同的类型的概括成为可能。