ch3,ch3-01 review

This commit is contained in:
chai2010 2015-12-27 15:13:12 +08:00
parent 7c96bf43e6
commit 6978661750
21 changed files with 67 additions and 63 deletions

View File

@ -5,7 +5,9 @@
# install gitbook
# npm install gitbook-cli -g
# https://github.com/GitbookIO
# https://github.com/GitbookIO/gitbook
# https://github.com/GitbookIO/plugin-katex
# https://github.com/wastemobile/gitbook
# http://www.imagemagick.org/

View File

@ -5,5 +5,8 @@
"structure": {
"readme": "preface.md"
},
"plugins": ["-search"]
"plugins": [
"katex",
"-search"
]
}

View File

@ -12,5 +12,5 @@ Go語言有足夠的類型繫統以避免動態語言中那些粗心的類型錯
Go語言鼓勵當代計算機繫統設計的原則特别是局部的重要性。它的內置數據類型和大多數的準庫數據結構都經過精心設計而避免顯式的初始化或隱式的構造函數因爲很少的內存分配和內存初始化代碼被隱藏在庫代碼中了。Go語言的聚合類型結構體和數組可以直接操作它們的元素隻需要更少的存儲空間、更少的內存分配而且指針操作比其他間接操作的語言也更有效率。由於現代計算機是一個併行的機器Go語言提供了基於CSP的併發特性支持。Go語言的動態棧使得輕量級線程goroutine的初始棧可以很小因此創建一個goroutine的代價很小創建百萬級的goroutine完全是可行的。
Go語言的標準庫通常被稱爲語言自帶的電池提供了清晰的構建模塊和公共接口包含I/O操作、文本處理、圖像、密碼學、網絡和分布式應用程序等併支持許多標準化的文件格式和編解碼協議。庫和工具使用了大量的約定來減少額外的配置和解釋從而最終簡化程序的邏輯而且每個Go程序結構都是如此的相似因此Go程序也很容易學習。使用Go語言自帶工具構建Go語言項目隻需要使用文件名和標識符名稱, 一個偶爾的特殊註釋來確定所有的庫、可執行文件、測試、基準測試、例子、以及特定於平的變量、項目的文檔等Go語言源代碼本身就包含了構建規范。
Go語言的標準庫通常被稱爲語言自帶的電池提供了清晰的構建模塊和公共接口包含I/O操作、文本處理、圖像、密碼學、網絡和分布式應用程序等併支持許多標準化的文件格式和編解碼協議。庫和工具使用了大量的約定來減少額外的配置和解釋從而最終簡化程序的邏輯而且每個Go程序結構都是如此的相似因此Go程序也很容易學習。使用Go語言自帶工具構建Go語言項目隻需要使用文件名和標識符名稱, 一個偶爾的特殊註釋來確定所有的庫、可執行文件、測試、基準測試、例子、以及特定於平的變量、項目的文檔等Go語言源代碼本身就包含了構建規范。

View File

@ -2,7 +2,7 @@
Rob Pike和Russ Cox以及很多其他Go糰隊的覈心成員多次仔細閲讀了本書的手稿他們對本書的組織結構和表述用詞等給出了很多寶貴的建議。在準備日文版翻譯的時候Yoshiki Shibata更是仔細地審閲了本書的每個部分及時發現了諸多英文和代碼的錯誤。我們非常感謝本書的每一位審閲者併感謝對本書給出了重要的建議的Brian Goetz、Corey Kosak、Arnold Robbins、Josh Bleecher Snyder和Peter Weinberger等人。
我們還感謝Sameer Ajmani、Ittai Balaban、David Crawshaw、Billy Donohue、Jonathan Feinberg、Andrew Gerrand、Robert Griesemer、John Linderman、Minux Ma譯註Go糰隊成員。、Bryan Mills、Bala Natarajan、Cosmos Nicolaou、Paul Staniforth、Nigel Tao譯註好像是陶哲軒的兄弟以及Howard Trickey給出的許多有價值的建議。我們還要感謝David Brailsford和Raph Levien關於類型設置的建議。
我們還感謝Sameer Ajmani、Ittai Balaban、David Crawshaw、Billy Donohue、Jonathan Feinberg、Andrew Gerrand、Robert Griesemer、John Linderman、Minux Ma譯註Go糰隊成員。、Bryan Mills、Bala Natarajan、Cosmos Nicolaou、Paul Staniforth、Nigel Tao譯註好像是陶哲軒的兄弟以及Howard Trickey給出的許多有價值的建議。我們還要感謝David Brailsford和Raph Levien關於類型設置的建議。
我們的來自Addison-Wesley的編輯Greg Doench收到了很多幫助從最開始就得到了越來越多的幫助。來自AW生産糰隊的John Fuller、Dayna Isley、Julie Nahil、Chuti Prasertsith到Barbara Wood感謝你們的熱心幫助。

View File

@ -2,7 +2,7 @@
大多數的程序都是處理輸入,産生輸出;這也正是“計算”的定義。但是一個程序要如何穫取輸入呢?一些程序會生成自己的數據,但通常情況下,輸入都來自於程序外部:比如文件、網絡連接、其它程序的輸出、用戶的鍵盤、命令行的參數或其它類似輸入源。下面幾個例子會討論其中的一些輸入類型,首先是命令行參數。
os這個package提供了操作繫統無關跨平與繫統交互的一些函數和相關的變量運行時程序的命令行參數可以通過os包中一個叫Args的這個變量來穫取當在os包外部使用該變量時需要用os.Args來訪問。
os這個package提供了操作繫統無關跨平與繫統交互的一些函數和相關的變量運行時程序的命令行參數可以通過os包中一個叫Args的這個變量來穫取當在os包外部使用該變量時需要用os.Args來訪問。
os.Args這個變量是一個字符串string的slice譯註slice和Python語言中的切片類似是一個簡版的動態數組slice在Go語言里是一個基礎的數據結構之後我們很快會提到。現在可以先把slice當一個簡單的元素序列可以用類似s[i]的下標訪問形式穫取其內容併且可以用形如s[m:n]的形式來穫取到一個slice的子集(譯註和python里的語法差不多)。其長度可以用len(s)函數來穫取。和其它大多數編程語言類似Go語言里的這種索引形式也采用了左閉右開區間包括m~n的第一個元素但不包括最後那個元素譯註比如a = [1, 2, 3, 4, 5], a[0:3] = [1, 2, 3]不包含最後一個元素。這樣可以簡化我們的處理邏輯。比如s[m:n]這個slice0 ≤ m ≤ n ≤ len(s)包含n-m個元素。

View File

@ -26,7 +26,7 @@ func handler(w http.ResponseWriter, r *http.Request) {
我們隻用了八九行代碼就實現了一個個Web服務程序這都是多虧了標準庫里的方法已經幫我們處理了大量的工作。main函數會將所有發送到/路徑下的請求和handler函數關聯起來/開頭的請求其實就是所有發送到當前站點上的請求我們的服務跑在了8000端口上。發送到這個服務的“請求”是一個http.Request類型的對象這個對象中包含了請求中的一繫列相關字段其中就包括我們需要的URL。當請求到達服務器時這個請求會被傳給handler函數來處理這個函數會將/hello這個路徑從請求的URL中解析出來然後把其發送到響應中這里我們用的是標準輸出流的fmt.Fprintf。Web服務會在第7.7節中詳細闡述。
讓我們在後運行這個服務程序。如果你的操作繫統是Mac OS X或者Linux那麽在運行命令的末尾加上一個&符號,卽可讓程序簡單地跑在後而在windows下你需要在另外一個命令行窗口去運行這個程序了。
讓我們在後運行這個服務程序。如果你的操作繫統是Mac OS X或者Linux那麽在運行命令的末尾加上一個&符號,卽可讓程序簡單地跑在後而在windows下你需要在另外一個命令行窗口去運行這個程序了。
```
$ go run src/gopl.io/ch1/server1/main.go &

View File

@ -66,7 +66,7 @@ $ go run quoteargs.go one "two three" four\ five
`go install` 命令和 `go build` 命令很相似, 但是它保存每個包的編譯成果, 而不是將它們都丟棄. 被編譯的包被保存到 $GOPATH/pkg 目録下和 src 目録對應, 可執行程序被保存到 $GOPATH/bin 目録. (很多用戶將 $GOPATH/bin 添加到可執行程序的蒐索列表中.) 還有, `go install` 命令和 `go build` 命令都不會重新編譯沒有發生變化的包, 這可以使後續構建更快捷. 爲了方便, `go build -i` 將安裝每個目標所依賴的包.
因爲編譯對應不同的操作繫統平和CPU架構, `go install` 會將編譯結果安裝到 GOOS 和 GOARCH 對應的目録. 例如, 在 Mac 繫統 golang.org/x/net/html 包將被安裝到 $GOPATH/pkg/darwin_amd64 目録下的 golang.org/x/net/html.a 文件.
因爲編譯對應不同的操作繫統平和CPU架構, `go install` 會將編譯結果安裝到 GOOS 和 GOARCH 對應的目録. 例如, 在 Mac 繫統 golang.org/x/net/html 包將被安裝到 $GOPATH/pkg/darwin_amd64 目録下的 golang.org/x/net/html.a 文件.
針對不同操作繫統或CPU的交叉構建也是很簡單的. 隻需要設置好目標對應的GOOS 和 GOARCH, 然後運行構建目録卽可. 下面交叉編譯的程序將輸出它在編譯時操作繫統和CPU類型:
@ -89,7 +89,7 @@ $ ./cross
darwin 386
```
有些包可能需要針對不同平和處理器類型輸出不同版本的代碼, 以便於處理底層的可移植性問題或提供爲一些特點代碼提供優化. 如果一個文件名包含了一個操作繫統或處理器類型名字, 例如 net_linux.go 或 asm_amd64.s, Go工具將隻在對應的平編譯這些文件. 還有一個特别的構建註釋註釋可以提供更多的構建控製. 例如, 文件中如果包含下面的註釋:
有些包可能需要針對不同平和處理器類型輸出不同版本的代碼, 以便於處理底層的可移植性問題或提供爲一些特點代碼提供優化. 如果一個文件名包含了一個操作繫統或處理器類型名字, 例如 net_linux.go 或 asm_amd64.s, Go工具將隻在對應的平編譯這些文件. 還有一個特别的構建註釋註釋可以提供更多的構建控製. 例如, 文件中如果包含下面的註釋:
```Go
// +build linux darwin

View File

@ -67,7 +67,7 @@ $ go test
ok gopl.io/ch11/word1 0.008s
```
還比較滿意, 我們運行了這個程序, 不過沒有提前退出是因爲還沒有遇到BUG報告. 一個法名爲 Noelle Eve Elleon 的用戶抱怨 IsPalindrome 函數不能識别 été.. 另外一個來自美中部用戶的抱怨是不能識别 A man, a plan, a canal: Panama.. 執行特殊和小的BUG報告爲我們提供了新的更自然的測試用例.
還比較滿意, 我們運行了這個程序, 不過沒有提前退出是因爲還沒有遇到BUG報告. 一個法名爲 Noelle Eve Elleon 的用戶抱怨 IsPalindrome 函數不能識别 été.. 另外一個來自美中部用戶的抱怨是不能識别 A man, a plan, a canal: Panama.. 執行特殊和小的BUG報告爲我們提供了新的更自然的測試用例.
```Go
func TestFrenchPalindrome(t *testing.T) {

View File

@ -7,7 +7,7 @@ import "unsafe"
fmt.Println(unsafe.Sizeof(float64(0))) // "8"
```
Sizeof函數返迴的大小隻包括數據結構中固定的部分例如字符串對應結構體中的指針和字符串長度部分但是併不包含指針指向的字符串的內容。Go語言中非聚合類型通常有一個固定的大小盡管在不同工具鏈下生成的實際大小可能會有所不同。考慮到可移植性引用類型或包含引用類型的大小在32位平颱上是4個字節在64位平颱上是8個字節。
Sizeof函數返迴的大小隻包括數據結構中固定的部分例如字符串對應結構體中的指針和字符串長度部分但是併不包含指針指向的字符串的內容。Go語言中非聚合類型通常有一個固定的大小盡管在不同工具鏈下生成的實際大小可能會有所不同。考慮到可移植性引用類型或包含引用類型的大小在32位平台上是4個字節在64位平台上是8個字節。
計算機在加載和保存數據時如果內存地址合理地對齊的將會更有效率。例如2字節大小的int16類型的變量地址應該是偶數一個4字節大小的rune類型變量的地址應該是4的倍數一個8字節大小的float64、uint64或64-bit指針類型變量的地址應該是8字節對齊的。但是對於再大的地址對齊倍數則是不需要的卽使是complex128等較大的數據類型最多也隻是8字節對齊。

View File

@ -12,7 +12,7 @@ type 類型名字 底層類型
類型聲明語句一般出現在包一級,因此如果新創建的類型名字的首字符大寫,則在外部包也可以使用。
譯註對於中文漢字Unicode標誌都作爲小寫字母處理因此中文的命名默認不能導出不過內的用戶針對該問題提出了我們自己的間接根據RobPike的迴複在Go2中有可能會將中日韓等字符當作大寫字母處理。下面是RobPik在 [Issue763](https://github.com/golang/go/issues/5763) 的迴複:
譯註對於中文漢字Unicode標誌都作爲小寫字母處理因此中文的命名默認不能導出不過內的用戶針對該問題提出了我們自己的間接根據RobPike的迴複在Go2中有可能會將中日韓等字符當作大寫字母處理。下面是RobPik在 [Issue763](https://github.com/golang/go/issues/5763) 的迴複:
> A solution that's been kicking around for a while:
>

View File

@ -1,20 +1,20 @@
## 3.1. 整型
Go語言的數值類型包括幾種不同大小的整形數, 浮點數, 和複數. 每種數值類型都決定了對應的大小范圍和是否有正負符號. 讓我們先從整形數類型開始介紹.
Go語言的數值類型包括幾種不同大小的整形數、浮點數和複數。每種數值類型都決定了對應的大小范圍和是否支持正負符號。讓我們先從整形數類型開始介紹。
Go同時提供了有符號和無符號的整數運算. 這里有四種int8, int16, int32 和 int64截然不同大小的有符號整形數類型, 分别對應 8, 16, 32, 64 bit 大小的有符號整形數, 與此對應的是 uint8, uint16, uint32, 和 uint64 四種無符號整形數類型.
Go語言同時提供了有符號和無符號類型的整數運算。這里有int8、int16、int32和int64四種截然不同大小的有符號整形數類型分别對應8、16、32、64bit大小的有符號整形數與此對應的是uint8、uint16、uint32和uint64四種無符號整形數類型。
這里還有兩種對應特定平颱最天然或最有效率的大小有符號和無符號整數int和uint; 其中int是應用最廣泛的數值類型. 這兩種類型都有同樣的大小, 32 或 64 bit, 但是我們不能對此做任何的假設; 因爲不同的編譯器在相同的硬件平颱上可能産生不同的大小.
這里還有兩種一般對應特定CPU平台機器字大小的有符號和無符號整數int和uint其中int是應用最廣泛的數值類型。這兩種類型都有同樣的大小32或64bit但是我們不能對此做任何的假設因爲不同的編譯器卽使在相同的硬件平台上可能産生不同的大小。
字符rune類型是和int32等價的類型, 通常用於表示一個Unicode碼點. 這兩個名稱可以互換使用. 同樣byte也是uint8類型的等價類型, byte類型用於強調數值是一個原始的數據而不是一個小的整數.
Unicode字符rune類型是和int32等價的類型通常用於表示一個Unicode碼點。這兩個名稱可以互換使用。同樣byte也是uint8類型的等價類型byte類型一般用於強調數值是一個原始的數據而不是一個小的整數。
好, 還有一個無符號的整數類型 uintptr, 沒有指定具體的bit大小但是足以容納指針. uintptr 類型隻有在底層編程是才需要, 特别是Go語言和C函數庫或操作繫統相交互的地方. 我們將在第十三章的 unsafe 包相關部分看到類似的例子.
還有一種無符號的整數類型uintptr沒有指定具體的bit大小但是足以容納指針。uintptr類型隻有在底層編程是才需要特别是Go語言和C語言函數庫或操作繫統接口相交互的地方。我們將在第十三章的unsafe包相關部分看到類似的例子。
不管它們的大小, int, uint, 和 uintptr 是不同類型大小的兄弟類型. 其中 int 和 int32 也是不同的類型, 卽使int的大小也是32bit, 在需要將int當作int32類型的地方需要一個顯式的類型轉換, 反之亦然.
不管它們的具體大小int、uint和uintptr是不同類型的兄弟類型。其中int和int32也是不同的類型卽使int的大小也是32bit在需要將int當作int32類型的地方需要一個顯式的類型轉換操作反之亦然。
有符號數采用2的補碼形式表示, 也就是最高位用作符號位, 一個nbit的有符號數的值域是 `-2^(n-1)``(2^(n-1)) - 1`. 無符號整數的所有bit位都用於表示非負數, 值域是 0 到 `(2^n) - 1`. 例如, int8 的值域是 -128 到 127, 而 uint8 的值域是 0 到 255.
其中有符號整數采用2的補碼形式表示也就是最高bit位用作表示符號位一個n-bit的有符號數的值域是從$$-2^{n-1}$$到$$2^{n-1}-1$$。無符號整數的所有bit位都用於表示非負數值域是0到$$2^n-1$$。例如int8類型整數的值域是從-128到127而uint8類型整數的值域是從0到255。
下面是Go中關於算術, 邏輯和比較的二元運算符按照先級遞減的順序的列表:
下面是Go語言中關於算術運算、邏輯運算和比較運算的二元運算符,它們按照先級遞減的順序的排列:
```
* / % << >> & &^
@ -24,14 +24,13 @@ Go同時提供了有符號和無符號的整數運算. 這里有四種int8, int1
||
```
二元運算符有五種優先級. 在同一優先級, 使用左優先結合律, 使用括號可以明確優先順序, 括號也可以用於提陞優先級, 例如 `mask & (1 << 28)`.
二元運算符有五種優先級。在同一個優先級,使用左優先結合規則,但是使用括號可以明確優先順序,使用括號也可以用於提陞優先級,例如`mask & (1 << 28)`
對於上表中前兩行的運算符, 例如 + 有一個相應的賦值結合運算符 +=, 可以用於簡化賦值語句.
對於上表中前兩行的運算符,例如+運算符還有一個與賦值相結合的對應運算符+=,可以用於簡化賦值語句。
整數的算術運算符 +, -, *, 和 / 可以適用與整數, 浮點數和複數, 但是取模運算符 % 僅用於整數. 不同編程語言間, % 取模運算的行爲併不相同. 在Go語言中, % 取模運算符的符號和被取模數的符號總是一致的, 因此 `-5%3``-5%-3` 結果都是 -2.除法運算符 `/` 的行爲依賴於操作數是否爲整數, 因此 `5.0/4.0` 的結果是 1.25, 但是 5/4 的結果是 1, 因此整數除法會向着0方向截斷餘數.
整數的算術運算符+、-、`*`和`/`可以適用與於整數、浮點數和複數,但是取模運算符%僅用於整數間的運算。對於不同編程語言,%取模運算的行爲可能併不相同。在Go語言中%取模運算符的符號和被取模數的符號總是一致的,因此`-5%3`和`-5%-3`結果都是-2。除法運算符`/`的行爲則依賴於操作數是否爲全爲整數,比如`5.0/4.0`的結果是1.25但是5/4的結果是1因爲整數除法會向着0方向截斷餘數。
如果一個算術運算的結果, 不管是有符號或者是無符號的, 如果需要更多的bit位才能表示, 就説明是溢出了. 超出的高位的bit位部分將被丟棄. 如果原始的數值是有符號類型, 那麽最終結果可能是負的, 如果最左邊的bit爲是1的話, 例如int8的例子:
如果一個算術運算的結果不管是有符號或者是無符號的如果需要更多的bit位才能正確表示的話就説明計算結果是溢出了。超出的高位的bit位部分將被丟棄。如果原始的數值是有符號類型而且最左邊的bit爲是1的話那麽最終結果可能是負的例如int8的例子
```Go
var u uint8 = 255
@ -41,7 +40,7 @@ var i int8 = 127
fmt.Println(i, i+1, i*i) // "127 -128 1"
```
兩個相同的整數類型可以使用下面的二元比較運算符進行比較; 比較表達式的結果是布爾類型.
兩個相同的整數類型可以使用下面的二元比較運算符進行比較;比較表達式的結果是布爾類型。
```
== equal to
@ -52,18 +51,18 @@ fmt.Println(i, i+1, i*i) // "127 -128 1"
>= greater than or equal to
```
事實上, 布爾型, 數字類型 和 字符串 等基本類型都是可比較的, 也就是説兩個相同類型的值可以用 == 和 != 進行比較. 此外, 整數, 浮點數和字符串可以根據比較結果排序. 許多其他類型的值是不可比較, 因此也就是不可排序的. 對於我們遇到的每種類型, 我們需要保證規則是類似的.
事實上,布爾型、數字類型和字符串等基本類型都是可比較的,也就是説兩個相同類型的值可以用==和!=進行比較。此外,整數、浮點數和字符串可以根據比較結果排序。許多其它類型的值可能是不可比較的,因此也就可能是不可排序的。對於我們遇到的每種類型,我們需要保證規則的一致性。
這里是一元的加法和減法運算符:
這里是一元的加法和減法運算符
```
+ 一元加法 (無效果)
- 負數
```
對於整數, +x 是 0+x 的簡寫, -x 是 0-x 的簡寫; 對於浮點數和複數, +x 就是 x, -x 則是 x 的負數.
對於整數+x是0+x的簡寫-x則是0-x的簡寫對於浮點數和複數+x就是x-x則是x 的負數。
Go語言還提供了以下的bit位操作運算符, 前面4個操作運算符併不區分是有符號還是無符號數:
Go語言還提供了以下的bit位操作運算符前面4個操作運算符併不區分是有符號還是無符號數
```
& 位運算 AND
@ -74,11 +73,9 @@ Go語言還提供了以下的bit位操作運算符, 前面4個操作運算符併
>> 右移
```
位操作運算符 `^` 作爲二元運算符時是按位異或(XOR), 當用作一元運算符時表示按位取反; 也就是説, 它返迴一個每個bit位都取反的數. 位操作運算符 `&^` 用於按位置零(AND NOT): 表達式 `z = x &^ y` 結果z的bit位1, 如果對應y中bit位爲1, 否則對應的bit位等於x相應的bit位的值.
位操作運算符`^`作爲二元運算符時是按位異或XOR當用作一元運算符時表示按位取反也就是説它返迴一個每個bit位都取反的數。位操作運算符`&^`用於按位置零AND NOT表達式`z = x &^ y`結果z的bit位爲0如果對應y中bit位爲1的話否則對應的bit位等於x相應的bit位的值。
下面的代碼演示了如何使用位操作解釋uint8類型值的8個獨立的bit位. 它使用了 Printf 函數的 %b 參數打印二進製格式的數字; 其中 %08b 中08表示打印至少8個數字, 不足的前綴用0填充.
下面的代碼演示了如何使用位操作解釋uint8類型值的8個獨立的bit位。它使用了Printf函數的%b參數打印二進製格式的數字其中%08b中08表示打印至少8個字符寬度不足的前綴部分用0填充。
```Go
var x uint8 = 1<<1 | 1<<5
@ -102,13 +99,13 @@ fmt.Printf("%08b\n", x<<1) // "01000100", the set {2, 6}
fmt.Printf("%08b\n", x>>1) // "00010001", the set {0, 4}
```
(6.5節給出了一個可以遠大於一個字節的整數集的實現.)
6.5節給出了一個可以遠大於一個字節的整數集的實現。)
x<<n x>>n 移位運算中, 決定了移位操作bit數部分必鬚是無符號數; 被操作的 x 數可以是有符號或無符號數. 算術上, 一個 x<<n 左移運算等價於乘以 2^n, 一個 x>>n 右移運算等價於除以 2^n.
`x<<n``x>>n`移位運算中決定了移位操作bit數部分必鬚是無符號數被操作的x數可以是有符號或無符號數。算術上一個`x<<n`左移運算等價於乘以$$2^n$$一個`x>>n`右移運算等價於除以$$2^n$$。
左移運算用零填充右邊空缺的bit位, 無符號數的右移運算也是用0填充左邊空缺的bit位, 但是有符號數的右移運算會用符號位的值填充左邊空缺的bit位. 因爲這個原因, 最好用無符號運算, 這樣你可以將整數完全當作一個bit位模式處理.
左移運算用零填充右邊空缺的bit位無符號數的右移運算也是用0填充左邊空缺的bit位但是有符號數的右移運算會用符號位的值填充左邊空缺的bit位。因爲這個原因最好用無符號運算這樣你可以將整數完全當作一個bit位模式處理。
盡管Go提供了無符號數和運算, 卽使數值本身不可能出現負數我們還是傾向於使用有符號的int類型, 就是數組的長度那樣, 雖然使用 uint 似乎是一個更合理的選擇. 事實上, 內置的 len 函數返迴一個有符號的int, 我們可以像下面這個逆序循環那樣處理.
盡管Go語言提供了無符號數和運算卽使數值本身不可能出現負數我們還是傾向於使用有符號的int類型就像數組的長度那樣雖然使用uint無符號類型似乎是一個更合理的選擇。事實上內置的len函數返迴一個有符號的int我們可以像下面例子那樣處理逆序循環。
```Go
medals := []string{"gold", "silver", "bronze"}
@ -117,13 +114,13 @@ for i := len(medals) - 1; i >= 0; i-- {
}
```
另一個選擇將是災難性的. 如果 len 返迴一個無符號數, 那麽 i 也將是無符號的 uint, 然後條件 i >= 0 則永遠爲眞. 在三次迭代之後, 也就是 i == 0 時, i-- 語句將不會産生 -1, 而是變成一個uint的最大值(可能是 2^64 - 1), 然後 medals[i] 表達式將發生運行時 panic 異常(§5.9), 也就是試圖訪問一個切片范圍以外的元素.
另一個選擇對於上面的例子來説將是災難性的。如果len函數返迴一個無符號數那麽i也將是無符號的uint類型然後條件`i >= 0`則永遠爲眞。在三次迭代之後,也就是`i == 0`時i--語句將不會産生-1而是變成一個uint類型的最大值可能是$$2^64-1$$然後medals[i]表達式將發生運行時panic異常§5.9也就是試圖訪問一個slice范圍以外的元素。
出於這個原因, 無符號數往往隻有在位運算或其它特殊的運算常見才會使用, 就像 bit 集合, 分形二進製文件格式, 或者是哈希和加密操作等. 它們通常併不用於僅僅是表達非負數量的場合.
出於這個原因無符號數往往隻有在位運算或其它特殊的運算場景才會使用就像bit集合、分析二進製文件格式或者是哈希和加密操作等。它們通常併不用於僅僅是表達非負數量的場合。
一般來説, 需要一個顯式的轉換將一個值從一種類型轉化位另一種類型, 併且算術和邏輯運算的二元操作中必鬚是相同的類型. 雖然這偶爾會導致很長的表達式, 但是它消除了所有的類型相關的問題, 也使得程序容易理解.
一般來説,需要一個顯式的轉換將一個值從一種類型轉化位另一種類型,併且算術和邏輯運算的二元操作中必鬚是相同的類型。雖然這偶爾會導致需要很長的表達式,但是它消除了所有和類型相關的問題,而且也使得程序容易理解。
從其他類似場景下, 考慮下面這個代碼:
在很多場景,會遇到類似下面的代碼通用的錯誤:
```Go
var apples int32 = 1
@ -131,19 +128,19 @@ var oranges int16 = 2
var compote int = apples + oranges // compile error
```
當嚐試編譯這三個語句時, 將産生一個錯誤信息:
當嚐試編譯這三個語句時,將産生一個錯誤信息:
```
invalid operation: apples + oranges (mismatched types int32 and int16)
```
這種類型不匹配的問題可以有幾種不同的方法脩複, 最常見方法是將它們都顯式轉型位一個常見類型:
這種類型不匹配的問題可以有幾種不同的方法脩複,最常見方法是將它們都顯式轉型爲一個常見類型:
```Go
var compote = int(apples) + int(oranges)
```
如2.5節所述, 對於每種類型T, 類型轉換操作T(x)將x轉換位T類型, 如果轉換允許的話. 許多 整形數之間的相互轉換併不會改變數值; 它們隻是告訴編譯器如何解釋這個值. 但是對於將一個大尺寸的整數類型轉位一個小尺寸的整數類型, 或者是將一個浮點數轉位整數, 可能會改變數值或丟失精度:
如2.5節所述對於每種類型T如果轉換允許的話類型轉換操作T(x)將x轉換爲T類型。許多整形數之間的相互轉換併不會改變數值它們隻是告訴編譯器如何解釋這個值。但是對於將一個大尺寸的整數類型轉爲一個小尺寸的整數類型或者是將一個浮點數轉爲整數可能會改變數值或丟失精度
```Go
f := 3.141 // a float64
@ -153,16 +150,16 @@ f = 1.99
fmt.Println(int(f)) // "1"
```
浮點數到整數的轉換將丟失任何小數部分, 向數軸零方向截斷. 你應該避免操作目標類型表示范圍的數值類型轉換, 因爲截斷的行爲依賴於具體的實現:
浮點數到整數的轉換將丟失任何小數部分,然後向數軸零方向截斷。你應該避免對可能會超出目標類型表示范圍的數值類型轉換,因爲截斷的行爲可能依賴於具體的實現:
```Go
f := 1e100 // a float64
i := int(f) // 結果依賴於具體實現
```
任何大小的整數字面值都可以用以0開始的八進製格式書寫, 例如 0666, 或用以0x或0X開頭的十六進製格式書寫, 例如 0xdeadbeef. 十六進製數字可以用大寫或小寫字母. 如今八進製數據通常用於POSIX操作繫統上的文件訪問權限標誌, 十六進製數字則更強調數字值的bit位模式.
任何大小的整數字面值都可以用以0開始的八進製格式書寫例如0666或用以0x或0X開頭的十六進製格式書寫例如0xdeadbeef。十六進製數字可以用大寫或小寫字母。如今八進製數據通常用於POSIX操作繫統上的文件訪問權限標誌十六進製數字則更強調數字值的bit位模式。
當使用 fmt 包打印一個數值時, 我們可以用 %d, %o, 或 %x 控製輸出的進製格式, 就像下面的例子:
當使用fmt包打印一個數值時我們可以用%d、%o或%x參數控製輸出的進製格式就像下面的例子
```Go
o := 0666
@ -173,18 +170,18 @@ fmt.Printf("%d %[1]x %#[1]x %#[1]X\n", x)
// 3735928559 deadbeef 0xdeadbeef 0XDEADBEEF
```
請註意 fmt 的兩個使用技巧. 通常 Printf 格式化字符串包含多個 % 參數時將對應相同數量的額外操作數, 但是 % 之後的 `[1]` 副詞告訴Printf函數再次使用第一個操作數. 第二, % 後的 `#` 副詞告訴 Printf 在用 %o, %x 或 %X 輸出時生成 0, 0x 或 0X前綴.
請註意fmt的兩個使用技巧。通常Printf格式化字符串包含多個%參數時將會包含對應相同數量的額外操作數,但是%之後的`[1]`副詞告訴Printf函數再次使用第一個操作數。第二%後的`#`副詞告訴Printf在用%o、%x或%X輸出時生成0、0x或0X前綴。
字符面值通過一對單引號直接包含對應字符. 最簡單的例子是 ASCII 中類似 'a' 字符面值, 但是我們可以通過轉義的數值來表示任意的Unicode碼點對應的字符, 馬上將會看到例子.
字符面值通過一對單引號直接包含對應字符。最簡單的例子是ASCII中類似'a'寫法的字符面值但是我們也可以通過轉義的數值來表示任意的Unicode碼點對應的字符馬上將會看到這樣的例子。
字符使用 `%c` 參數打印, 或者是 `%q` 參數打印帶單引號的字符:
字符使用`%c`參數打印,或者是用`%q`參數打印帶單引號的字符:
```Go
ascii := 'a'
unicode := ''
unicode := ''
newline := '\n'
fmt.Printf("%d %[1]c %[1]q\n", ascii) // "97 a 'a'"
fmt.Printf("%d %[1]c %[1]q\n", unicode) // "22269 國 '國'"
fmt.Printf("%d %[1]c %[1]q\n", unicode) // "22269 国 '国'"
fmt.Printf("%d %[1]q\n", newline) // "10 '\n'"
```

View File

@ -1,6 +1,6 @@
## 3.2. 浮點數
Go語言提供了兩種精度的浮點數, float32 和 float64. 它們的算術規范由 IEEE754 際標準定義, 該浮點數規范被所有現代的CPU支持.
Go語言提供了兩種精度的浮點數, float32 和 float64. 它們的算術規范由 IEEE754 際標準定義, 該浮點數規范被所有現代的CPU支持.
這些數值類型的范圍可以從很微小到很鉅大. 浮點數的范圍極限值可以在 matn 包找到. 常量 math.MaxFloat32 表示 float32 能表示的最大數值, 大約是 3.4e38, 對應的 math.MaxFloat64 常量大約是 1.8e308. 它們能表示的最小值近似分别是1.4e-45 和 4.9e-324.

View File

@ -28,7 +28,7 @@
可以通過十六進製或八進製轉義在字符串面值包含任意的字節. 一個十六進製的轉義是 \xhh, 其中兩個h表示十六進製數字(大寫或小寫都可以). 一個八進製轉義是 \ooo, 包含三個八進製的o數字(0到7), 但是不能超過\377. 每一個單一的字節表達一個特定的值. 稍後我們將看到如何將一個Unicode碼點寫到字符串面值中.
一個原生的字符串面值形式是 `...`, 使用反引號 ``` 代替雙引號. 在原生的字符串面值中, 沒有轉義操作; 全部的內容都是字面的意思, 包含退格和換行, 因此一個程序中的原生字符串面值可能跨越多行. 唯一的特殊處理是是刪除迴車以保證在所有平上的值都是一樣的, 包括那些把迴車也放入文本文件的繫統.
一個原生的字符串面值形式是 `...`, 使用反引號 ``` 代替雙引號. 在原生的字符串面值中, 沒有轉義操作; 全部的內容都是字面的意思, 包含退格和換行, 因此一個程序中的原生字符串面值可能跨越多行. 唯一的特殊處理是是刪除迴車以保證在所有平上的值都是一樣的, 包括那些把迴車也放入文本文件的繫統.
原生字符串面值用於編寫正則表達式會很方便, 因爲正則表達式往往會包含很多反斜槓. 原生字符串面值同時廣泛應用於HTML模闆, JSON面值, 命令行提示信息, 以及那些需要擴展到多行的場景.

View File

@ -1,7 +1,7 @@
### 3.5.2. Unicode
在很久以前, 世界比較簡單的, 起碼計算機就隻有一個ASCII字符集: 美國信息交換標準代碼. ASCII, 更準確地説是美國的ASCII, 使用 7bit 來表示 128 個字符: 包含英文字母的大小寫, 數字, 各種標點符號和設置控製符. 對於早期的計算機程序, 這些足夠了, 但是這也導致了世界上很多其他地區的用戶無法直接使用自己的書寫繫統. 隨着互聯網的發展, 混合多種語言的數據變了很常見. 如何有效處理這些包含了各種語言的豐富多樣的數據呢?
在很久以前, 世界比較簡單的, 起碼計算機就隻有一個ASCII字符集: 美国信息交換標準代碼. ASCII, 更準確地説是美国的ASCII, 使用 7bit 來表示 128 個字符: 包含英文字母的大小寫, 數字, 各種標點符號和設置控製符. 對於早期的計算機程序, 這些足夠了, 但是這也導致了世界上很多其他地區的用戶無法直接使用自己的書寫繫統. 隨着互聯網的發展, 混合多種語言的數據變了很常見. 如何有效處理這些包含了各種語言的豐富多樣的數據呢?
答案就是使用Unicode(unicode.org), 它收集了這個世界上所有的書寫繫統, 包括重音符號和其他變音符號, 製表符和迴車符, 還有很多神祕符號, 每個符號都分配一個Unicode碼點, Unicode碼點對應Go語言中的rune類型.

View File

@ -1,5 +1,5 @@
# 第3章 基礎數據類型
雖然從底層而言,所有的數據都是比特,但計算機操作的是固定位數的數,如整數、浮點數、比特組、內存地址。將這些數,進一步組織在一起,可表達更多的對象,如數據包、像素點、詩歌,甚至任何對象.Go提供了豐富的數據組織形式,這依賴於Go內置的數據類型。這些內置的數據類型,兼顧了硬件的特性和表達複雜數據結構的便捷性。
雖然從底層而言,所有的數據都是由比特組成但計算機一般操作的是固定大小的數如整數、浮點數、比特數組、內存地址等。進一步將這些數組織在一起就可表達更多的對象例如數據包、像素點、詩歌甚至其他任何對象。Go語言提供了豐富的數據組織形式這依賴於Go語言內置的數據類型。這些內置的數據類型,兼顧了硬件的特性和表達複雜數據結構的便捷性。
Go將數據類型分爲四類基礎類型、複合類型、引用類型和接口類型。本章介紹基礎類型包括數字字符串和布爾型。複合數據類型——數組§4.1和結構體§4.2——通過組合簡單類型表達更加複雜的數據結構。引用類型包括指針§2.3.2、切片§4.2)字典§4.3、函數§5、通道§8.雖然種類很多,但它們都是對程序中一個變量或狀態的間接引用。這意味着對任一引用的脩改都會影響所有該引用的拷貝。我們將在第7章介紹接口類型。
Go語言將數據類型分爲四類:基礎類型、複合類型、引用類型和接口類型。本章介紹基礎類型,包括:數字字符串和布爾型。複合數據類型——數組§4.1和結構體§4.2)——通過組合簡單類型,表達更加複雜的數據結構。引用類型包括指針§2.3.2、切片§4.2)字典§4.3、函數§5、通道§8,雖然數據種類很多,但它們都是對程序中一個變量或狀態的間接引用。這意味着對任一引用類型數據的脩改都會影響所有該引用的拷貝。我們將在第7章介紹接口類型。

View File

@ -106,4 +106,4 @@ func (*IntSet) Copy() *IntSet // return a copy of the set
練習6.3: (*IntSet).UnionWith會用|操作符計算兩個集合的交集我們再爲IntSet實現另外的幾個函數IntersectWith(交集元素在A集合B集合均出現),DifferenceWith(差集元素出現在A集合未出現在B集合),SymmetricDifference(併差集元素出現在A但沒有出現在B或者出現在B沒有出現在A)。
練習6.4: 實現一個Elems方法返迴集合中的所有元素用於做一些range之類的遍歷操作。
練習6.5: 我們這章定義的IntSet里的每個字都是用的uint64類型但是64位的數值可能在32位的平颱上不高效。脩改程序使其使用uint類型這種類型對於32位平颱來説更合適。當然了這里我們可以不用簡單粗暴地除64可以定義一個常量來決定是用32還是64這里你可能會用到平的自動判斷的一個智能表達式32 << (^uint(0) >> 63)
練習6.5: 我們這章定義的IntSet里的每個字都是用的uint64類型但是64位的數值可能在32位的平台上不高效。脩改程序使其使用uint類型這種類型對於32位平台來説更合適。當然了這里我們可以不用簡單粗暴地除64可以定義一個常量來決定是用32還是64這里你可能會用到平的自動判斷的一個智能表達式32 << (^uint(0) >> 63)

View File

@ -144,7 +144,7 @@ $ ./netcat1
$ killall clock2
```
練習8.1: 脩改clock2來支持傳入參數作爲端口號然後寫一個clockwall的程序這個程序可以同時與多個clock服務器通信從多服務器中讀取時間併且在一個表格中一次顯示所有服務傳迴的結果類似於你在某些辦公室里看到的時鐘牆。如果你有地理學上分布式的服務器可以用的話讓這些服務器跑在不同的機器上面或者在同一機器上跑多個不同的實例,這些實例監聽不同的端口,假裝自己在不同的時區。像下面這樣:
練習8.1: 脩改clock2來支持傳入參數作爲端口號然後寫一個clockwall的程序這個程序可以同時與多個clock服務器通信從多服務器中讀取時間併且在一個表格中一次顯示所有服務傳迴的結果類似於你在某些辦公室里看到的時鐘牆。如果你有地理學上分布式的服務器可以用的話讓這些服務器跑在不同的機器上面或者在同一機器上跑多個不同的實例,這些實例監聽不同的端口,假裝自己在不同的時區。像下面這樣:
```
$ TZ=US/Eastern ./clock2 -port 8010 &

View File

@ -30,7 +30,7 @@ func dirents(dir string) []os.FileInfo {
ioutil.ReadDir函數會返迴一個os.FileInfo類型的sliceos.FileInfo類型也是os.Stat這個函數的返迴值。對每一個子目録而言walkDir會遞歸地調用其自身併且會對每一個文件也遞歸調用。walkDir函數會向fileSizes這個channel發送一條消息。這條消息包含了文件的字節大小。
下面的主函數用了兩個goroutine。後的goroutine調用walkDir來遍歷命令行給出的每一個路徑併最終關閉fileSizes這個channel。主goroutine會對其從channel中接收到的文件大小進行纍加併輸出其和。
下面的主函數用了兩個goroutine。後的goroutine調用walkDir來遍歷命令行給出的每一個路徑併最終關閉fileSizes這個channel。主goroutine會對其從channel中接收到的文件大小進行纍加併輸出其和。
```go
@ -84,7 +84,7 @@ $ ./du1 $HOME /usr /bin /etc
如果在運行的時候能夠讓我們知道處理進度的話想必更好。但是如果簡單地把printDiskUsage函數調用移動到循環里會導致其打印出成百上韆的輸出。
下面這個du的變種會間歇打印內容不過隻有在調用時提供了-v的flag才會顯示程序進度信息。在roots目録上循環的後goroutine在這里保持不變。主goroutine現在使用了計時器來每500ms生成事件然後用select語句來等待文件大小的消息來更新總大小數據或者一個計時器的事件來打印當前的總大小數據。如果-v的flag在運行時沒有傳入的話tick這個channel會保持爲nil這樣在select里的case也就相當於被禁用了。
下面這個du的變種會間歇打印內容不過隻有在調用時提供了-v的flag才會顯示程序進度信息。在roots目録上循環的後goroutine在這里保持不變。主goroutine現在使用了計時器來每500ms生成事件然後用select語句來等待文件大小的消息來更新總大小數據或者一個計時器的事件來打印當前的總大小數據。如果-v的flag在運行時沒有傳入的話tick這個channel會保持爲nil這樣在select里的case也就相當於被禁用了。
```go
gopl.io/ch8/du2

View File

@ -82,7 +82,7 @@ func dirents(dir string) []os.FileInfo {
}
```
現在當取消發生時,所有後的goroutine都會迅速停止併且主函數會返迴。當然當主函數返迴時一個程序會退出而我們又無法在主函數退出的時候確認其已經釋放了所有的資源(譯註:因爲程序都退出了,你的代碼都沒法執行了)。這里有一個方便的竅門我們可以一用取代掉直接從主函數返迴我們調用一個panic然後runtime會把每一個goroutine的棧dump下來。如果main goroutine是唯一一個剩下的goroutine的話他會清理掉自己的一切資源。但是如果還有其它的goroutine沒有退出他們可能沒辦法被正確地取消掉也有可能被取消但是取消操作會很花時間所以這里的一個調研還是很有必要的。我們用panic來穫取到足夠的信息來驗證我們上面的判斷看看最終到底是什麽樣的情況。
現在當取消發生時,所有後的goroutine都會迅速停止併且主函數會返迴。當然當主函數返迴時一個程序會退出而我們又無法在主函數退出的時候確認其已經釋放了所有的資源(譯註:因爲程序都退出了,你的代碼都沒法執行了)。這里有一個方便的竅門我們可以一用取代掉直接從主函數返迴我們調用一個panic然後runtime會把每一個goroutine的棧dump下來。如果main goroutine是唯一一個剩下的goroutine的話他會清理掉自己的一切資源。但是如果還有其它的goroutine沒有退出他們可能沒辦法被正確地取消掉也有可能被取消但是取消操作會很花時間所以這里的一個調研還是很有必要的。我們用panic來穫取到足夠的信息來驗證我們上面的判斷看看最終到底是什麽樣的情況。
練習8.10: HTTP請求可能會因http.Request結構體中Cancel channel的關閉而取消。脩改8.6節中的web crawler來支持取消http請求。

View File

@ -1,6 +1,6 @@
# 第八章 Goroutines和Channels
併發程序指的是同時做好幾件事情的程序隨着硬件的發展併發程序顯得越來越重要。Web服務器會一次處理成韆上萬的請求。平闆電腦和手機app在渲染用戶動畵的同時還會後執行各種計算任務和網絡請求。卽使是傳統的批處理問題--讀取數據,計算,寫輸出--現在也會用併發來隱藏掉I/O的操作延遲充分利用現代計算機設備的多覈盡管計算機的性能每年都在增長但併不是線性。
併發程序指的是同時做好幾件事情的程序隨着硬件的發展併發程序顯得越來越重要。Web服務器會一次處理成韆上萬的請求。平闆電腦和手機app在渲染用戶動畵的同時還會後執行各種計算任務和網絡請求。卽使是傳統的批處理問題--讀取數據,計算,寫輸出--現在也會用併發來隱藏掉I/O的操作延遲充分利用現代計算機設備的多覈盡管計算機的性能每年都在增長但併不是線性。
Go語言中的併發程序可以用兩種手段來實現。這一章會講解goroutine和channel其支持“順序進程通信”(communicating sequential processes)或被簡稱爲CSP。CSP是一個現代的併發編程模型在這種編程模型中值會在不同的運行實例(goroutine)中傳遞盡管大多數情況下被限製在單一實例中。第9章會覆蓋到更爲傳統的併發模型多線程共享內存如果你在其它的主流語言中寫過併發程序的話可能會更熟悉一些。第9章同時會講一些本章不會深入的併發程序帶來的重要風險和陷阱。

View File

@ -68,7 +68,7 @@ func main() {
log.Fatal("filepath.Walk: ", err)
return err
}
if info.IsDir() {
if info.IsDir() || path == "node_modules" {
return nil
}
relpath, err := filepath.Rel(dir, path)
@ -203,6 +203,8 @@ var zh2twMapPatch = map[rune]rune{
'当': '當',
'才': '才',
'出': '出',
'台': '台',
'国': '国',
}
var _TSCharactersMap = map[rune]rune{