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