本書由《C程序設(shè)計語言》的作者Kernighan和谷歌公司Go團隊主管AlanDonovan聯(lián)袂撰寫,是學習Go語言程序設(shè)計指南。本書共13章,主要內(nèi)容包括:Go的基礎(chǔ)知識、基本結(jié)構(gòu)、基本數(shù)據(jù)類型、復合數(shù)據(jù)類型、函數(shù)、方法、接口、goroutine、通道、共享變量的并發(fā)性、包、go工具、測試、反射等。本書適合作為計算機相關(guān)專業(yè)的教材,也可供Go語言愛好者閱讀。
The Go Programming Language“Go是一種開源的程序設(shè)計語言,它意在使得人們能夠方便地構(gòu)建簡單、可靠、高效的軟件!保▉碜訥o官網(wǎng)golang.org)Go在2007年9月形成構(gòu)想,并于2009年11月發(fā)布,其發(fā)明人是Robert Griesemer、Rob Pike和Ken Thompson,這幾位都任職于Google。該語言及其配套工具集使得編譯和執(zhí)行既富有表達力又高效,而且使得程序員能夠輕松寫出可靠、健壯的程序。
Go和C從表面上看起來相似,而且和C一樣,它也是專業(yè)程序員使用的一種工具,兼有事半功倍之效。但是Go遠不止是C的一種升級版本;诙喾N其他語言,它取其精華,去其糟粕。它實現(xiàn)并發(fā)功能的設(shè)施是全新的、高效的,實現(xiàn)數(shù)據(jù)抽象和面向?qū)ο蟮耐緩绞菢O其靈活的。它還實現(xiàn)了自動化的內(nèi)存管理,或稱為垃圾回收。
Go特別適用于構(gòu)建基礎(chǔ)設(shè)施類軟件(如網(wǎng)絡服務器),以及程序員使用的工具和系統(tǒng)等。但它的的確確是一種通用語言,而且在諸多領(lǐng)域(如圖像處理、移動應用和機器學習)中都能發(fā)現(xiàn)它的身影。它在很多場合下用于替換無類型的腳本語言,這是由于它兼顧了表達力和安全性:Go程序通常比動態(tài)語言程序運行速度要快,由于意料之外的類型錯誤而導致崩潰的情形更是少得多。
Go是個開源項目,所以其編譯器、庫和工具的源代碼是人人皆可免費取得的。來自全世界的社區(qū)都在積極地向這個項目貢獻代碼。Go的運行環(huán)境包括類UNIX系統(tǒng)——Linux、FreeBSD、OpenBSD和Mac OS X,還有Plan 9和Microsoft Windows。只要在其中一個環(huán)境中寫了一個程序,那么基本上不加修改它就可以運行在其他環(huán)境中。
本書旨在幫助讀者立刻開始使用Go,以及熟練掌握這門語言,并充分地利用Go的語言特性和標準庫來撰寫清晰的、符合習慣用法的、高效的程序。
Go的起源和生物學物種一樣,成功的語言會繁衍后代,這些后代語言會從它們的祖先那里汲取各種優(yōu)點;有時候,語言間的“混血”會產(chǎn)生異常強大的力量;在一些罕見情況下,某個重大的語言特性也可能憑空出現(xiàn)而并無先例。通過考察語言間的影響,我們可以學得不少知識,比如語言為什么會變成這個樣子,以及它適合用于哪些環(huán)境,等等。
下圖展示了更早出現(xiàn)的程序設(shè)計語言對Go產(chǎn)生的最重要影響。
Go有時會稱為“類C語言”或“21世紀的C”。從C中,Go繼承了表達式語法、控制流語句、基本數(shù)據(jù)類型、按值調(diào)用的形參傳遞和指針,但比這些更重要的是,繼承了C所強調(diào)的要點:程序要編譯成高效的機器碼,并自然地與所處的操作系統(tǒng)提供的抽象機制相配合。
可是,Go的家譜中還有其他祖先。產(chǎn)生主要影響的是由Niklaus Wirth設(shè)計的、以Pascal為發(fā)端的一個語言支流。Modula-2啟發(fā)了包概念。Oberon消除了模塊接口文件和模塊實現(xiàn)文件之間的差異。Oberon-2影響了包、導入和聲明的語法,并提供了方法聲明的語法。
Go的另一支世系祖先——它使得Go相對于當下的程序設(shè)計語言顯得卓然不群,是在貝爾實驗室開發(fā)的一系列名不見經(jīng)傳的研究用語言。這些語言都受到了通信順序進程(Communicating Sequential Process,CSP)的啟發(fā),CSP由Tony Hoare于1978年在發(fā)表的關(guān)于并發(fā)性基礎(chǔ)的開創(chuàng)性論文中提出。在CSP中,程序就是一組無共享狀態(tài)進程的并行組合,進程間的通信和同步采用通道完成。不過,Hoare提出的CSP是一種形式語言,僅用于描述并發(fā)性的基本概念,并不是一種用來撰寫可執(zhí)行程序的程序設(shè)計語言。
Rob Pike等人開始動手做一些實驗,嘗試把CSP實現(xiàn)為真正的語言。第一種這樣的語言稱為Squeak(“和鼠類溝通的語言”),它是一種用于處理鼠標和鍵盤事件的語言,其中具有靜態(tài)創(chuàng)建的通道。緊接著它的是Newsqueak,它具有類C的語句和表達式語法,以及類Pascal的類型記法。它是一種純粹的函數(shù)式語言,具有垃圾回收功能,同樣也以管理鍵盤、鼠標和窗口事件為目標。通道變成了“一等”值(first-class value),它可以動態(tài)創(chuàng)建并用變量存儲。
Plan 9操作系統(tǒng)將這些思想都納入一種稱為Alef的語言中。Alef嘗試將Newsqueak改造成一種可用的系統(tǒng)級程序設(shè)計語言,但垃圾回收功能的缺失使得它在處理并發(fā)性時捉襟見肘。
Go中的其他結(jié)構(gòu)也會不時顯示出某些并非來自祖先的基因。例如,iota多多少少有點APL的影子,而嵌套函數(shù)的詞法作用域則來自Scheme(以及由之而來的大部分語言)。在Go語言中,也可以發(fā)現(xiàn)全新的變異。Go中新穎的slice不僅為動態(tài)數(shù)組提供了高效的隨機訪問功能,還允許舊式鏈表的復雜共享機制。另外,defer語句也是Go中新引入的。
Go項目所有的程序設(shè)計語言都反映了其發(fā)明者的程序設(shè)計哲理,其中相當大的一部分是對于此前語言已知缺點的應對措施。Go這個項目也誕生于挫敗感,這種挫敗感來源于Google的若干復雜性激增的軟件系統(tǒng)。(而且這個問題絕非Google所獨有的。)“復雜性是以乘積方式增長的。”Rob Pike如是說。為了修復某個問題,一點點地將系統(tǒng)的某個部分變得更加復雜,這不可避免地也給其他部分增加了復雜性。在不斷要求增加系統(tǒng)功能、選項和配置,以及快速發(fā)布的壓力之下,簡單性往往被忽視了(盡管長期來看,簡單性才是好軟件的不二法門)。
目 錄
The Go Programming Language
出版者的話
譯者序
前言
第1章 入門 1
1.1 hello,world 1
1.2 命令行參數(shù) 3
1.3 找出重復行 6
1.4 GIF動畫 10
1.5 獲取一個URL 12
1.6 并發(fā)獲取多個URL 13
1.7 一個Web服務器 14
1.8 其他內(nèi)容 17
第2章 程序結(jié)構(gòu) 20
2.1 名稱 20
2.2 聲明 21
2.3 變量 22
2.3.1 短變量聲明 22
2.3.2 指針 23
2.3.3 new函數(shù) 25
2.3.4 變量的生命周期 26
2.4 賦值 27
2.4.1 多重賦值 27
2.4.2 可賦值性 28
2.5 類型聲明 29
2.6 包和文件 30
2.6.1 導入 31
2.6.2 包初始化 33
2.7 作用域 34
第3章 基本數(shù)據(jù) 38
3.1 整數(shù) 38
3.2 浮點數(shù) 42
3.3 復數(shù) 45
3.4 布爾值 47
3.5 字符串 47
3.5.1 字符串字面量 49
3.5.2 Unicode 49
3.5.3 UTF-8 50
3.5.4 字符串和字節(jié)slice 53
3.5.5 字符串和數(shù)字的相互轉(zhuǎn)換 56
3.6 常量 56
3.6.1 常量生成器iota 57
3.6.2 無類型常量 59
第4章 復合數(shù)據(jù)類型 61
4.1 數(shù)組 61
4.2 slice 63
4.2.1 append函數(shù) 66
4.2.2 slice就地修改 69
4.3 map 71
4.4 結(jié)構(gòu)體 76
4.4.1 結(jié)構(gòu)體字面量 78
4.4.2 結(jié)構(gòu)體比較 80
4.4.3 結(jié)構(gòu)體嵌套和匿名成員 80
4.5 JSON 82
4.6 文本和HTML模板 87
第5章 函數(shù) 92
5.1 函數(shù)聲明 92
5.2 遞歸 93
5.3 多返回值 96
5.4 錯誤 98
5.4.1 錯誤處理策略 99
5.4.2 文件結(jié)束標識 101
5.5 函數(shù)變量 102
5.6 匿名函數(shù) 104
5.7 變長函數(shù) 110
5.8 延遲函數(shù)調(diào)用 111
5.9 宕機 115
5.10 恢復 118
第6章 方法 120
6.1 方法聲明 120
6.2 指針接收者的方法 122
6.3 通過結(jié)構(gòu)體內(nèi)嵌組成類型 124
6.4 方法變量與表達式 127
6.5 示例:位向量 128
6.6 封裝 130
第7章 接口 133
7.1 接口即約定 133
7.2 接口類型 135
7.3 實現(xiàn)接口 136
7.4 使用flag.Value來解析參數(shù) 139
7.5 接口值 141
7.6 使用sort.Interface來排序 144
7.7 http.Handler接口 148
7.8 error接口 152
7.9 示例:表達式求值器 154
7.10 類型斷言 160
7.11 使用類型斷言來識別錯誤 161
7.12 通過接口類型斷言來查詢特性 162
7.13 類型分支 164
7.14 示例:基于標記的XML解析 166
7.15 一些建議 168
第8章 goroutine和通道 170
8.1 goroutine 170
8.2 示例:并發(fā)時鐘服務器 171
8.3 示例:并發(fā)回聲服務器 174
8.4 通道 176
8.4.1 無緩沖通道 177
8.4.2 管道 178
8.4.3 單向通道類型 180
8.4.4 緩沖通道 181
8.5 并行循環(huán) 183
8.6 示例:并發(fā)的Web爬蟲 187
8.7 使用select多路復用 190
8.8 示例:并發(fā)目錄遍歷 192
8.9 取消 195
8.10 示例:聊天服務器 198
第9章 使用共享變量實現(xiàn)并發(fā) 201
9.1 競態(tài) 201
9.2 互斥鎖:sync.Mutex 205
9.3 讀寫互斥鎖:sync.RWMutex 208
9.4 內(nèi)存同步 208
9.5 延遲初始化:sync.Once 210
9.6 競態(tài)檢測器 212
9.7 示例:并發(fā)非阻塞緩存 212
9.8 goroutine與線程 218
9.8.1 可增長的棧 219
9.8.2 goroutine調(diào)度 219
9.8.3 GOMAXPROCS 219
9.8.4 goroutine沒有標識 220
第10章 包和go工具 221
10.1 引言 221
10.2 導入路徑 221
10.3 包的聲明 222
10.4 導入聲明 223
10.5 空導入 223
10.6 包及其命名 225
10.7 go工具 226
10.7.1 工作空間的組織 227
10.7.2 包的下載 228
10.7.3 包的構(gòu)建 229
10.7.4 包的文檔化 231
10.7.5 內(nèi)部包 232
10.7.6 包的查詢 233
第11章 測試 235
11.1 go test工具 235
11.2 Test函數(shù) 236
11.2.1 隨機測試 239
11.2.2 測試命令 240
11.2.3 白盒測試 242
11.2.4 外部測試包 245
11.2.5 編寫有效測試 246
11.2.6 避免脆弱的測試 247
11.3 覆蓋率 248
11.4 Benchmark函數(shù) 250
11.5 性能剖析 252
11.6 Example函數(shù) 254
第12章 反射 256
12.1 為什么使用反射 256
12.2 reflect.Type和reflect.Value 257
12.3 Display:一個遞歸的值顯示器 259
12.4 示例:編碼S表達式 263
12.5 使用reflect.Value來設(shè)置值 266
12.6 示例:解碼S表達式 268
12.7 訪問結(jié)構(gòu)體字段標簽 271
12.8 顯示類型的方法 273
12.9 注意事項 274
第13章 低級編程 276
13.1 unsafe.Sizeof、Alignof 和Offsetof 276
13.2 unsafe.Pointer 278
13.3 示例:深度相等 280
13.4 使用cgo調(diào)用C代碼 282
13.5 關(guān)于安全的注意事項 286