Merge pull request #181 from CrazySssst/master

ch5-04 done

Fixes #66
pull/1/head
chai2010 2016-01-06 09:03:44 +08:00
commit a7beb84894
3 changed files with 157 additions and 3 deletions

View File

@ -1,3 +1,107 @@
### 5.4.1. 錯誤處理策略
TODO
當一次函數調用返迴錯誤時,調用者有應該選擇何時的方式處理錯誤。根據情況的不同,有很多處理方式,讓我們來看看常用的五種方式。
首先也是最常用的方式是傳播錯誤。這意味着函數中某個子程序的失敗會變成該函數的失敗。下面我們以5.3節的findLinks函數作爲例子。如果findLinks對http.Get的調用失敗findLinks會直接將這個HTTP錯誤返迴給調用者
```
resp, err := http.Get(url)
if err != nil{
return nill, err
}
```
當對html.Parse的調用失敗時findLinks不會直接返迴html.Parse的錯誤因爲缺少兩條重要信息1、錯誤發生在解析器2、url已經被解析。這些信息有助於錯誤的處理findLinks會構造新的錯誤信息返迴給調用者
```
doc, err := html.Parse(resp.Body)
resp.Body.Close()
if err != nil {
return nil, fmt.Errorf("parsing %s as HTML: %v", url,err)
}
```
fmt.Errorf函數使用fmt.Sprintf格式化錯誤信息併返迴。我們使用該函數前綴添加額外的上下文信息到原始錯誤信息。當錯誤最終由main函數處理時錯誤信息應提供清晰的從原因到後果的因果鏈就像美国宇航局事故調査時做的那樣
```
genesis: crashed: no parachute: G-switch failed: bad relay orientation
```
由於錯誤信息經常是以鏈式組合在一起的所以錯誤信息中應避免大寫和換行符。最終的錯誤信息可能很長我們可以通過類似grep的工具處理錯誤信息譯者註grep是一種文本蒐索工具
編寫錯誤信息時,我們要確保錯誤信息對問題細節的描述是詳盡的。尤其是要註意錯誤信息表達的一致性,卽相同的函數或同包內的同一組函數返迴的錯誤在構成和處理方式上是相似的。
以OS包爲例OS包確保文件操作如os.Open、Read、Write、Close返迴的每個錯誤的描述不僅僅包含錯誤的原因如無權限文件目録不存在也包含文件名這樣調用者在構造新的錯誤信息時無需再添加這些信息。
一般而言被調函數f(x)會將調用信息和參數信息作爲發生錯誤時的上下文放在錯誤信息中併返迴給調用者調用者需要添加一些錯誤信息中不包含的信息比如添加url到html.Parse返迴的錯誤中。
讓我們來看看處理錯誤的第二種策略。如果錯誤的發生是偶然性的,或由不可預知的問題導致的。一個明智的選擇是重新嚐試失敗的操作。在重試時,我們需要限製重試的時間間隔或重試的次數,防止無限製的重試。
```
gopl.io/ch5/wait
// WaitForServer attempts to contact the server of a URL.
// It tries for one minute using exponential back-off.
// It reports an error if all attempts fail.
func WaitForServer(url string) error {
const timeout = 1 * time.Minute
deadline := time.Now().Add(timeout)
for tries := 0; time.Now().Before(deadline); tries++ {
_, err := http.Head(url)
if err == nil {
return nil // success
}
log.Printf("server not responding (%s);retrying…", err)
time.Sleep(time.Second << uint(tries)) //
exponential back-off
}
return fmt.Errorf("server %s failed to respond after %s", url, timeout)
}
```
如果錯誤發生後程序無法繼續運行我們就可以采用第三種策略輸出錯誤信息併結束程序。需要註意的是這種策略隻應在main中執行。對庫函數而言應僅向上傳播錯誤除非該錯誤意味着程序內部包含不一致性卽遇到了bug才能在庫函數中結束程序。
```
// (In function main.)
if err := WaitForServer(url); err != nil {
fmt.Fprintf(os.Stderr, "Site is down: %v\n", err)
os.Exit(1)
}
```
調用log.Fatalf可以更簡潔的代碼達到與上文相同的效果。log中的所有函數都默認會在錯誤信息之前輸出時間信息。
```
if err := WaitForServer(url); err != nil {
log.Fatalf("Site is down: %v\n", err)
}
```
長時間運行的服務器常采用默認的時間格式,而交互式工具很少采用包含如此多信息的格式。
```
2006/01/02 15:04:05 Site is down: no such domain:
bad.gopl.io
```
我們可以設置log的前綴信息屏蔽時間信息一般而言前綴信息會被設置成命令名。
```
log.SetPrefix("wait: ")
log.SetFlags(0)
```
第四種策略有時我們隻需要輸出錯誤信息就足夠了不需要中斷程序的運行。我們可以通過log包提供函數
```
if err := Ping(); err != nil {
log.Printf("ping failed: %v; networking disabled",err)
}
```
或者標準錯誤流輸出錯誤信息。
```
if err := Ping(); err != nil {
fmt.Fprintf(os.Stderr, "ping failed: %v; networking disabled\n", err)
}
```
log包中的所有函數會爲沒有換行符的字符串增加換行符。
第五種,也是最後一種策略:我們可以直接忽略掉錯誤。
```
dir, err := ioutil.TempDir("", "scratch")
if err != nil {
return fmt.Errorf("failed to create temp dir: %v",err)
}
// ...use temp dir…
os.RemoveAll(dir) // ignore errors; $TMPDIR is cleaned periodically
```
盡管os.RemoveAll會失敗但上面的例子併沒有做錯誤處理。這是因爲操作繫統會定期的清理臨時目録。正因如此雖然程序沒有處理錯誤但程序的邏輯不會因此受到影響。我們應該在每次函數調用後都養成考慮錯誤處理的習慣當你決定忽略某個錯誤時你應該在清晰的記録下你的意圖。
在Go中錯誤處理有一套獨特的編碼風格。檢査某個子函數是否失敗後我們通常將處理失敗的邏輯代碼放在處理成功的代碼之前。如果某個錯誤會導致函數返迴那麽成功時的邏輯代碼不應放在else語句塊中而應直接放在函數體中。Go中大部分函數的代碼結構幾乎相同首先是一繫列的初始檢査防止錯誤發生之後是函數的實際邏輯。

View File

@ -1,3 +1,24 @@
### 5.4.2. 文件結尾錯誤EOF
TODO
函數經常會返迴多種錯誤這對終端用戶來説可能會很有趣但對程序而言這使得情況變得複雜。很多時候程序必鬚根據錯誤類型作出不同的響應。讓我們考慮這樣一個例子從文件中讀取n個字節。如果n等於文件的長度讀取過程的任何錯誤都表示失敗。如果n小於文件的長度調用者會重複的讀取固定大小的數據直到文件結束。這會導致調用者必鬚分别處理由文件結束引起的各種錯誤。基於這樣的原因io包保證任何由文件結束引起的讀取失敗都返迴同一個錯誤——io.EOF該錯誤在io包中定義
```
package io
import "errors"
// EOF is the error returned by Read when no more input is available.
var EOF = errors.New("EOF")
```
調用者隻需通過簡單的比較就可以檢測出這個錯誤。下面的例子展示了如何從標準輸入中讀取字符以及判斷文件結束。4.3的chartcount程序展示了更加複雜的代碼
```
in := bufio.NewReader(os.Stdin)
for {
r, _, err := in.ReadRune()
if err == io.EOF {
break // finished reading
}
if err != nil {
return fmt.Errorf("read failed:%v", err)
}
// ...use r…
}
```
因爲文件結束這種錯誤不需要更多的描述所以io.EOF有固定的錯誤信息——“EOF”。對於其他錯誤我們可能需要在錯誤信息中描述錯誤的類型和數量這使得我們不能像io.EOF一樣采用固定的錯誤信息。在7.11節中,我們會提出更繫統的方法區分某些固定的錯誤值。

View File

@ -1,6 +1,35 @@
## 5.4. 錯誤
TODO
在Go中有一部分函數總是能成功的運行。比如string.Contains和strconv.FormatBool函數對各種可能的輸入都做了良好的處理使得運行時幾乎不會失敗除非遇到災難性的、不可預料的情況比如運行時的內存溢出。導致這種錯誤的原因很複雜難以處理從錯誤中恢複的可能性也很低。
還有一部分函數隻要輸入的參數滿足一定條件也能保證運行成功。比如time.Date函數該函數將年月日等參數構造成time.Time對象除非最後一個參數時區是nil。這種情況下會引發panic異常。panic是來自被調函數的信號表示發生了某個已知的bug。一個良好的程序永遠不應該發生panic異常。
對於大部分函數而言永遠無法確保能否成功運行。這是因爲錯誤的原因超出了程序員的控製。舉個例子任何進行I/O操作的函數都會面臨出現錯誤的可能隻有沒有經驗的程序員才會相信讀寫操作不會失敗卽時是簡單的讀寫。因此當本該可信的操作出乎意料的失敗後我們必鬚弄清楚導致失敗的原因。
在Go的錯誤處理中錯誤是軟件包API和應用程序用戶界面的一個重要組成部分程序運行失敗僅被認爲是幾個預期的結果之一。
對於那些將運行失敗看作是預期結果的函數它們會返迴一個額外的返迴值通常是最後一個來傳遞錯誤信息。如果導致失敗的原因隻有一個額外的返迴值可以是一個布爾值通常被命名爲ok。比如cache.Lookup失敗的唯一原因是key不存在那麽代碼可以按照下面的方式組織
```
value, ok := cache.Lookup(key)
if !ok {
// ...cache[key] does not exist…
}
```
通常導致失敗的原因不止一種尤其是對I/O操作而言用戶需要了解更多的錯誤信息。因此額外的返迴值不再是簡單的布爾類型而是error類型。
內置的error是接口類型。我們將在第七章了解接口類型的含義以及它對錯誤處理的影響。現在我們隻需要明白error類型可能是nil或者non-nil。nil意味着函數運行成功non-nil表示失敗。對於non-nil的error類型,我們可以通過調用error的Error函數或者輸出函數獲得字符串類型的錯誤信息。
```
fmt.Println(err)
fmt.Printf("%v", err)
```
通常當函數返迴non-nil的error時其他的返迴值是未定義的(undefined),這些未定義的返迴值應該被忽略。然而有少部分函數在發生錯誤時仍然會返迴一些有用的返迴值。比如當讀取文件發生錯誤時Read函數會返迴可以讀取的字節數以及錯誤信息。對於這種情況正確的處理方式應該是先處理這些不完整的數據再處理錯誤。因此對函數的返迴值要有清晰的説明以便於其他人使用。
在Go中函數運行失敗時會返迴錯誤信息這些錯誤信息被認爲是一種預期的值而非異常exception這使得Go有别於那些將函數運行失敗看作是異常的語言。雖然Go有各種異常機製但這些機製僅被使用在處理那些未被預料到的錯誤卽bug而不是那些在健壯程序中應該被避免的程序錯誤。對於Go的異常機製我們將在5.9介紹。
Go這樣設計的原因是由於對於某個應該在控製流程中處理的錯誤而言將這個錯誤以異常的形式拋出會混亂對錯誤的描述這通常會導致一些糟糕的後果。當某個程序錯誤被當作異常處理後這個錯誤會將堆棧根據信息返迴給終端用戶這些信息複雜且無用無法幫助定位錯誤。
正因此Go使用控製流機製如if和return處理異常這使得編碼人員能更多的關註錯誤處理。
{% include "./ch5-04-1.md" %}