類型和接口

因為映射建設在類型的基礎之上，首先我們對類型進行全新的介紹。

go是一個靜態性語言，每個變量都有靜態的類型，因此每個變量在編譯階段中有明確的變量類型，比如像：int、float32、MyType。。。

比如：

type MyInt int
var i int
var j MyInt

變量i的類型為int，變量j的類型為MyInt，變量i、j具有確定的類型，雖然i、j的潛在類型是一樣的，但是在沒有轉換的情況下他們之間不能相互賦值。

在類型中有重要的一類為接口類型(interface)，接口類型為一系列方法的集合。一個接口型變量可以存儲接口方法中聲明的任何具體的值。像io.Reader和io.Writer是一個很好的例子，這兩個接口在io包中定義。

type Reader interface{
    Read(p []byte)(n int, err error)
}

type Writer interface{
    Writer(p []byte)(n int,er error)
}

任何聲明為io.Reader或者io.Writer類型的變量都可以使用Read或者Writer 方法。也就意味著io.Reader類型的變量可以賦值任何有Read方法的的變量。

var r io.Reader
r = os.Stdin
r = bufio.NewReader(r)
r = new(bytes.Buffer)

無論變量r被賦值什么類型的值，變量r的類型依舊是io.Reader。go語言是靜態類型語言，并且r的類型永遠是io.Reader。

在接口類型中有一個重要的極端接口類型--空接口。
interface{}
他代表一個空的方法集合并且可以被賦值為任何值，因為任何一個變量都有0個或者多個方法。
有一種錯誤的說法是go的接口類型是動態定義的，其實在go中他們是靜態定義的，一個接口類型的變量總是有著相同類型的類型，盡管在運行過程中存儲在接口類型變量的值具有不同的類型，但是接口類型的變量永遠是靜態的類型。

接口的表示方法

關于go中接口類型的表示方法Russ Cox大神在一篇博客中已經詳細介紹[blog//research.swtch.com/2009/12/go-data-structures-interfaces.html]
一個接口類型的變量存儲一對信息:具體值，值的類型描述。更具體一點是，值是實現接口的底層具體數據項，類型是數據項類型的完整描述。

舉個例子：

var r io.Reader
tty, err := os.OpenFile("/dev/tty", os.O_RDWR, 0)
if err != nil {
    return nil, err
}
r = tty

變量r包含兩個數據項：值(tty),類型(os.File)。注意os.File實現的方法不僅僅是Read，即使接口類型僅包含Read方法，但是值(tty)卻用于其完整的類型信息，因此我們可以按照如下方法調用

var w io.Writer
w = r.(io.Writer)

這條語句是一個斷言語句，斷言的意思是變量r中的數據項聲明為io.Writer，因為我們可以將r賦值給w。執行完這條語句以后，變量w將和r一樣包含值(tty)、類型(*os.File)。即使具體值可能包含很多方法，但是接口的靜態類型決定什么方法可以通過接口型變量調用。

同樣我們可以

var empty interface{}
empty = w

這個接口型變量同樣包含一個數據對(tty,*os.File)。空接口可以接受任何類型的變量，并且包含我們可能用到的關于這個變量的所有信息。在這里我們不需要斷言是因為w變量滿足于空接口。在上一個從Reader向Writer移動數據的例子中，我們需要類型斷言，因為Reader接口中不包含Writer方法

切記接口的數據對中的內容只能來自于(value , concrete type)而不能是(value, interface type)，也就是接口類型不能接受接口類型的變量。

1.從接口類型到映射對象

在最底層，映射是對存儲在接口內部數據對(值、類型)的解釋機制。首先我們需要知道在reflect包中的兩種類型Type和Value，這兩種類型提供了對接口變量內部內容的訪問，同時reflect.TypeOf和reflect.ValueOf兩個方法檢索接口類型的變量。

首先我們開始TypeOf

package main

import (
    "fmt"
    "reflect"
)

func main() {
    var f float64 = 13.4
    fmt.Println(reflect.TypeOf(f))
    fmt.Println("Hello, playground")
}

結果

float64
Hello, playground

我們可以會感到奇怪這里沒有接口呀？因為在程序中我們可以得知f的變量類型應為float32，不應該是什么變量類型。但是我們在golang源碼中我們得知，reflect.TypeOf包含一個空接口類型的變量.

func TypeOf(i interface{})Type
當我們在調用reflect.TypeOf方法時，x首先存儲在一個空的接口中，然后再作為一個參數傳送到reflect.TypeOf方法中，然后該方法解壓這個空的接口得到類型信息。
同樣reflect.ValueOf方法，得到值。

var f float64 = 13.4

    fmt.Println(reflect.ValueOf(f))

結果

13.4

reflect.Type和reflec.Value有許多方法讓我們檢查和修改它們。一個比較重要的方法是Value有一個能夠返回reflect.Value的類型的方法Type。另外一個比較重要的是Type和Value都提供一個Kind方法，該方法能夠返回存儲數據項的字長(Uini,Floatr64,Slice等等)。同樣Value方法也提供一些叫做Int、Float的方法讓我們修改存儲在內部的值。

    var f float64 = 13.44444
    v := reflect.ValueOf(f)
    fmt.Println(v)
    fmt.Println(v.Type())
    fmt.Println(v.Kind())
    fmt.Println(v.Float())

結果

13.444444444444445
float64
float64
13.444444444444445

同時有像SetInt、SetFloat之類的方法，但是我們必須謹慎的使用它們。

反射機制有兩個重要的性質。首先，為了保證接口的簡潔行，getter和setter兩個方法是可以接受最大類型值的賦值，比如int64可以接受任何符號整數。所以值的Int方法會返回一個int64類型的值，SetInt接受int64類型的值，因此它可能轉化為所涉及的實際類型。

var x uint8 = 'x'
v := reflect.ValueOf(x)
fmt.Println("type:", v.Type())                            // uint8.
fmt.Println("kind is uint8: ", v.Kind() == reflect.Uint8) // true.
x = uint8(v.Uint())                                       // v.Uint returns a uint64.

第二個特性：接口保存了數據項底層類型，而不是靜態的類型，如果一個接口包含用戶定義的整數類型的值，比如

type MyInt int
var x MyInt = 7
v := reflect.ValueOf(x)

則v的Kind方法調用仍然返回的是reflect.Int，盡管x的靜態類型是MyInt。也可以說，Kind｀不會像Type`一樣將MyInt和int當作兩種類型來對待。

2.從映射對象到接口的值

像物理映射一樣，Go中的映射也有其自身的相反性。

通過利用Interface的方法我們可以將interface.Value恢復至接口類型，實際上這個方法將type和value信息包裝至interface類型并且返回該值。

// Interface returns v's value as an interface{}.
func (v Value) Interface() interface{}

因此我們可以說

y := v.Interface().(float64) // y will have type float64.
fmt.Println(y)

打印float64類型的值，其實是接口類型變量v的映射。

或者我們可以這樣做，fmt.Println,fmt.Printf等函數的參數盡管是空的接口類型也能運行，在fmt包里面解析出type和value的方法和我們上面的例子相似。因此所有正確打印reflect.Value的方法都試通過interface的方法將值傳遞給格式化打印函數。

fmt.Println(v.Interface())

(為什么不是fmt.Println(v)?因為通過v是reflect.Value類型.)因為我們的值底層是float64類型，因此我們甚至可以浮點類型的格式打印.

fmt.Printf("value is %7.1e
", v.Interface())

結果是

3.4e+00

因此我們不用類型斷言v.Interface{}到float64類型。因為接口類型內部保存著值的信息，Printf函數能夠恢復這些信息。

簡單的說Interface是ValueOf的反操作，除非這個值總是靜態的Interface類型。

改變接口對象，他的值必須是可改變的

第三法則比較微妙并且容易混淆，但是如果從第一準則開始看的話，那么還是比較容易理解的。

這是一條錯誤的語句，但是這個錯誤值得我們研究

var x float64 = 3.4
v := reflect.ValueOf(x)
v.SetFloat(7.1) // Error: will panic.

如果你運行這條語句則會有下面的報錯信息

panic: reflect.Value.SetFloat using unaddressable value

因為變量v是不可更改的，所以提示值7.1是不可尋址的。可賦值是value的一個特性，但是并不是所以的value都具有這個特性。

CanSet方法返回該值是否是可以改變的，比如

var x float64 = 3.4
v := reflect.ValueOf(x)
fmt.Println("settability of v:", v.CanSet())

結果是

settability of v: false

如果在不可以賦值的變量上進行賦值，就回引起錯誤。但是到底是什么才是可以賦值的呢？

可賦值的有點像是可尋址的，但是會更嚴格。映射對象可以更改存儲值的特性可以用來創建新的映射對象。映射對象包含原始的數據項是決定映射對象可賦值的關鍵。當下面代碼運行時

var x float64 = 3.4
v := reflect.ValueOf(x)

只是將x的拷貝到reflect.ValueOf，因此reflect.ValueOf的返回值是x的復制項，而不是x本身。假如下面這條語句可以正常運行

v.SetFloat(5.4)

盡管v看起來是由x創建的，但是并不會更新x的值，因為這條語句會更新x拷貝值的值，但是并不影響x本身，因此可更改的這一特性就是為了避免這種操作。

雖然這看起來很古怪，但其實這是一種很熟悉的操作。比如我們將x值賦值給一個方法

f(x)

我們本身不想修改x的值，因為傳入的只是x值的拷貝，但是如果我們想修改x的值，那么我們需要傳送x的地址(也就是x的指針)

f(&x)

這種操作是簡單明了的，其實對于映射也是一樣的。如果我們想通過映射修改x的值，那么我們需要傳送x的指針。比如

var x float64 = 3.4
p := reflect.ValueOf(&x) // Note: take the address of x.
fmt.Println("type of p:", p.Type())
fmt.Println("settability of p:", p.CanSet())

結果

type of p: *float64
settability of p: false

映射對象p仍然是不可修改的，但是其實我們并不想修改p，而是*p。為了得到指針的指向，我們需要使用Elem()方法，該方法將會指向*p的值，并且將其保存到映射變量中

v := p.Elem()
fmt.Println("settability of v:", v.CanSet())

結果為

settability of v: true

現在v是一個可修改的映射對象。并且v代表x，因此我們可以使用v.SetFloat()來修改x的值。

v.SetFloat(7.1)
fmt.Println(v.Interface())
fmt.Println(x)

輸出結果為

7.1
7.1

映射是比較難理解的，盡管我們通過映射的Values``Types隱藏了到底發生了什么操作。我們只需要記住如果想改變它的值，那在調用ValuesOf方法時應該使用指向它的指針。

Struct

在上一個例子中v并不是指向自身的指針，而是通過其他方式產生的。還有一種常用的操作就是修改結構體的某個字段，只要我們知道了結構體的地址，我們就能修改它的字段。

這有一個修改結構體變量t的例子。因為我們要修改結構體的字段，所以我們使用結構體指針創建結構體對象。我們使用typeOfT代表t的數據類型，并通過NumField方法迭代結構體的字段。主意：我們只是提取出結構體類型字段的的名字，而他們的reflect.Value對象。

type T struct {
    A int
    B string
}
t := T{23, "skidoo"}
s := reflect.ValueOf(&t).Elem()
typeOfT := s.Type()
for i := 0; i < s.NumField(); i++ {
    f := s.Field(i)
    fmt.Printf("%d: %s %s = %v
", i,
        typeOfT.Field(i).Name, f.Type(), f.Interface())
}

輸出結果是

0: A int = 23
1: B string = skidoo

值得注意的是只有可導出的字段才能使可修改的。

因為s包含一個可修改的映射對象，所以我們可以修改結構體的字段

s.Field(0).SetInt(77)
s.Field(1).SetString("Sunset Strip")
fmt.Println("t is now", t)

結果為

t is now {77 Sunset Strip}

如果s是通過t創建而不是&t，那么SetInt和SetString方法都會出錯，因為t的字段是不可以修改的。

審核編輯：黃飛