half ch7-05

ch7/ch7-05.md

@@ -1,5 +1,34 @@
 ## 7.5.  接口值
+概念上講一個接口的值，接口值，由兩個部分組成，一個具體的類型和那個類型的值。它們被稱爲接口的動態類型和動態值。對於像Go語言這種靜態類型的語言，類型是編譯期的概念；因此一個類型不是一個值。在我們的概念模型中，一些提供每個類型信息的值被稱爲類型描述符，比如類型的名稱和方法。在一個接口值中，類型部分代表與之相關類型的描述符。
 
-TODO
+下面4個語句中，變量w得到了3個不同的值。（開始和最後的值是相同的）
+```go
+var w io.Writer
+w = os.Stdout
+w = new(bytes.Buffer)
+w = nil
+```
+讓我們進一步觀察在每一個語句後的w變量的值和動態行爲。第一個語句定義了變量w:
+```go
+var w io.Writer
+```
+在Go語言中，變量總是被一個定義明確的值初始化，卽使接口類型也不例外。對於一個接口的零值就是它的類型和值的部分都是nil（圖7.1）。
 
-{% include "./ch7-05-1.md" %}
+![](../images/ch7-01.png)
+
+一個接口值基於它的動態類型被描述爲空或非空，所以這是一個空的接口值。你可以通過使用w==nil或者w!=nil來判讀接口值是否爲空。調用一個空接口值上的任意方法都會産生panic:
+```go
+w.Write([]byte("hello")) // panic: nil pointer dereference
+```
+第二個語句將一個*os.File類型的值賦給變量w:
+```go
+w = os.Stdout
+```
+這個賦值過程調用了一個具體類型到接口類型的隱式轉換，這和顯式的使用io.Writer(os.Stdout)是等價的。這類轉換不管是顯式的還是隱式的，都會刻畵出操作到的類型和值。這個接口值的動態類型被設爲*os.Stdout指針的類型描述符，它的動態值持有os.Stdout的拷貝；這是一個代表處理標準輸出的os.File類型變量的指針（圖7.2）。
+
+![](../images/ch7-02.png)
+
+調用一個包含\*os.File類型指針的接口值的Write方法，使得(\*os.File).Write方法被調用。這個調用輸出“hello”。
+```go
+w.Write([]byte("hello")) // "hello"
+```