一文帶你了解Go語言中的類型斷言和類型轉換

更新時間：2022年09月18日 14:07:08 作者：tracy小貓

在Go中，類型斷言和類型轉換是一個令人困惑的事情，他們似乎都在做同樣的事情。最明顯的不同點是他們具有不同的語法(variable.(type)?vs?type(variable)?)。本文我們就來深入研究一下二者的區(qū)別

類型斷言

顧名思義，類型斷言用于斷言變量是屬于某種類型。類型斷言只能發(fā)生在interface{}類型上。

上面類型斷言的例子，greeting是一個interface{}類型，我們?yōu)槠浞峙淞艘粋€字符串?，F在，我們可以認為greeting實際上是一個string，但是對外展示的是一個interface{}。

如果我們想獲取greeting的原始類型，那么我們可以斷言它是個string，并且此斷言操作會返回其string類型。

這意味著在做類型斷言的時候，我們應該知道任何變量的基礎類型。但是情況并非總是這樣的，這就是為什么類型斷言操作實際上還返回了第二個可選值的原因。

var greeting interface{} = "42" greetingStr, ok := greeting.(string)

第二個值是一個布爾值，如果斷言正確，返回 true ，否則返回 false。

另外，類型斷言是在程序運行時執(zhí)行。

類型判斷

類型判斷是一個很實用的構造。當你不確定interface{}真正類型的時候，可以使用它。

var greeting interface{} = 42

switch g := greeting.(type) {
  case string:
    fmt.Println("g is a string with length", len(g))
  case int:
    fmt.Println("g is an integer, whose value is", g)
  default:
    fmt.Println("I don't know what g is")
}

為什么需要斷言

在上面的例子中，我們似乎在將greeting從interface{}轉換成int類型或者string類型。但是greeting的類型是固定，并且和初始化期間聲明時的內容一樣。

當我們把greeting分配給interface{}類型的時候，請勿修改其原始類型。同樣，當我們斷言類型的時候，我們只是使用了原始類型功能，而不是使用interface公開的有限方法。

類型轉換

首先，我們花點時間了解一下什么是 “類型”。在 Go 每種類型都定義了兩件事:

變量的存儲方式 (存儲結構)
你可以使用變量做什么 (可以使用的方法和函數)

這里介紹了基本類型，包括了string和int。以及一些復合類型，比如struct``map``array和slice。你可以從基本類型或通過創(chuàng)建復合類型來聲明一個新類型。

// `myInt` 是一個新類型，它的基類型是 `int`
type myInt int

// AddOne 方法適用于 `myInt` 類型，不適用于 `int` 類型
func (i myInt) AddOne() myInt { return i + 1}

func main() {
    var i myInt = 4
    fmt.Println(i.AddOne())
}

當我們聲明一個myInt類型，我們可以將變量數據基于基本的int類型，但是如果要進行變量修改，我們可以通過myInt類型變量進行操作 (通過在myInt上面聲明一個新方法)。由于myInt 的類型基于int，意味著他們的底層基礎類型是一樣的。因此這些類型的變量可以相互轉換。

var i myInt = 4
originalInt := int(i)

上面i的類型是myInt,originalInt的類型是int。

什么時候使用類型轉換

只有當基礎數據結構類型相同，類型之間才可以相互轉換。來看一個使用struct例子。

type person struct {
    name string
    age int
}

type child struct {
    name string
    age int
}

type pet {
  name string
}

func main() {
    bob := person{
        name: "bob",
        age: 15,
        }
  babyBob := child(bob)
  // "babyBob := pet(bob)" 會導致編譯錯誤
    fmt.Println(bob, babyBob)
}

在這里，person 和 child 擁有相同的數據結構，即：