goLang 類型斷言 type assertion

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

goLang有類型轉換/類型斷言/類型切換

1.類型斷言

類型斷言就是將介面類型的值(x)，裝換成類型(T)。格式為：

x.(T)v:=x.(T)v,ok:=x.(T)

類型斷言的必要條件就是x是介面類型，非介面類型的x不能做類型斷言：

var i int=10v:=i.(int) //錯誤 i不是介面類型

T可以是非介面類型，如果想斷言合法，則T應該實現x的介面

T也可以是介面，則x的動態類型也應該實現介面T

var x interface{}=7  //x的動態類型為int,值為7i:=x.(int)           // i的類型為int ,值為7type I interface {m()}var y Is:=y.(string)      //非法: string 沒有實現介面 I (missing method m)r:=y.(io.Reader)   //y如果實現了介面io.Reader和I的情況下，  r的類型則為io.Reader

類型斷言如果非法，運行時就會出現錯誤，為了避免這種錯誤，可以使用一下文法：

 v,ok:=x.(T)

ok代表類型斷言是否合法，如果非法,ok則為false,這樣就不會出現panic了

2.類型切換 type switch

類型切換用來比較類型而不是對值進行比較

type switch它用於檢測的是值x的類型T是否匹配某個類型.

格式如下，類似類型斷言，但是括弧內的不是某個具體的類型，而是單詞type:

 switch x.(type){   }

type switch語句中可以有一個簡寫的變數聲明，這種情況下，等價於這個變數聲明在每個case clause 隱式代碼塊的開始位置。如果case clause只列出了一個類型，則變數的類型就是這個類型，否則就是原始值的類型

假設下面的例子中的x的類型為x interface{}:

switch i := x.(type) {case nil:  printString("x is nil") // i的類型是 x的類型 (interface{})case int:  printInt(i) // i的類型 intcase float64:  printFloat64(i) // i的類型是 float64case func(int) float64:  printFunction(i) // i的類型是 func(int) float64case bool, string:  printString("type is bool or string") // i的類型是 x (interface{})default:  printString("don't know the type") // i的類型是 x的類型 (interface{})}

也許你已經看到上面的例子中有一個case clause中的類型是nil,它用來匹配x為nil的interface{}的情況。

運行結果如下：

參考文章：http://colobu.com/2016/06/21/...