diff --git a/ch7/ch7-05.md b/ch7/ch7-05.md index e850ed0..ed82eac 100644 --- a/ch7/ch7-05.md +++ b/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" +```