在Go中,类型断言和类型转换是一个令人困惑的事情,他们似乎都在做同样的事情。
下面是一个类型断言的例子:
1 2 |
var greeting interface{} = "hello world" greetingStr := greeting.(string) |
接着看一个类型转换的例子:
1 2 |
greeting := []byte("hello world") greetingStr := string(greeting) |
最明显的不同点是他们具有不同的语法(variable.(type) vs type(variable) )。接下来,我们进一步去研究。
顾名思义,类型断言用于断言变量是属于某种类型。类型断言只能发生在interface{}类型上。
上面类型断言的例子,greeting是一个interface{}类型,我们为其分配了一个字符串。现在,我们可以认为greeting实际上是一个string,但是对外展示的是一个interface{}。
如果我们想获取greeting的原始类型,那么我们可以断言它是个string,并且此断言操作会返回其string类型。
这意味着在做类型断言的时候,我们应该知道任何变量的基础类型。但是情况并非总是这样的,这就是为什么类型断言操作实际上还返回了第二个可选值的原因。
1 |
var greeting interface{} = "42" greetingStr, ok := greeting.(string) |
第二个值是一个布尔值,如果断言正确,返回 true ,否则返回 false。
另外,类型断言是在程序运行时执行。
类型判断是一个很实用的构造。当你不确定interface{}真正类型的时候,可以使用它。
1 2 3 4 5 6 7 8 9 10 |
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。 你可以从基本类型或通过创建复合类型来声明一个新类型。
1 2 3 4 5 6 7 8 9 10 |
// `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,意味着他们的底层基础类型是一样的。因此这些类型的变量可以相互转换。
1 2 |
var i myInt = 4 originalInt := int(i) |
上面i的类型是myInt,originalInt的类型是int。
只有当基础数据结构类型相同,类型之间才可以相互转换。来看一个使用struct例子。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 |
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 拥有相同的数据结构,即:
1 2 3 4 |
struct { name string age int } |
因此他们可以相互转换。 type可用于声明具有相同数据结构的多种类型。 这只是意味着child和person基于相同的数据结构 (类似于之前的int和myInt)。
就像上面说的,虽然不同类型的基础结构可能相同,但是他们可能也具有不同的限制和方法。当我们从一种类型转换成另一种类型时,会改变对类型的处理方式,而不是像类型断言那样仅公开其基础类型,这就是他们本质的差别。
如果尝试去转换错误的类型,类型转换会提示编译错误,这和类型断言所提供的运行时通过返回值判断错误,完全相反。
类型断言和类型转换有着比语法层面上更根本的区别。它还强调了在Go中接口类型 (interface) 和非接口类型之间的区别。 接口类型没有任何数据结构,而是公开了已有的具体类型 (具有底层数据结构) 的一些方法。
类型断言引出了接口的具体类型,而类型转换改变了在具有相同数据结构的两个具体类型之间使用变量的方式。