Go从入门到精通——接口(interface)——空接口类型(interface{})——能保存所有值的类型
空接口类型(interface{})——能保存所有值的类型
空接口是接口类型的特殊形式,空接口没有任何方法,因此任何类型都无须实现空接口。
从实现的角度看,任何值都满足这个接口的需求。因此空接口类型可以保存任何值,也可以从空接口中取出原值。
提示:
- 空接口类型类似于 C# 或者 Java 语言中的 Object、C语言中的 void*、C++ 中的 std::any。在泛型和模版出现前,空接口是一种非常灵活的数据抽象保存和使用的方法。
- 空接口的内部实现保存了对象的类型和指针。使用空接口保存一个数据的过程会比直接用数据对应类型的变量保存稍慢。因此在开发中,应在需要的地方使用空接口,而不是在所有地方使用空接口。
1、将值保存到空接口
空接口的赋值如下:
package main
import "fmt"
func main() {
var any interface{}
any = 1
fmt.Println(any)
any = "hello"
fmt.Println(any)
any = false
fmt.Println(any)
}
代码输出如下:
GOPATH=D:\go-testfiles #gosetup
"C:\Program Files\Go\bin\go.exe" build -o C:\Users\zuoyang\AppData\Local\Temp\GoLand\___1go_build_____go.exe D:\go-testfiles\接口-空接口类型-能保存所有值的类型-将值保存到空接口.go #gosetup
C:\Users\zuoyang\AppData\Local\Temp\GoLand\___1go_build_____go.exe
1
hello
false
进程 已完成,退出代码为 0
2、从空接口获取值
保存到空接口的值,如果直接取出指定类型的值时,会发生变异错误,代码如下:
package main
func main() {
//声明 a 变量,类型为 int,初始值为 1
var a int = 1
//声明 i 变量,类型为 interface{},初始值为 a,此时 1 的值变为 1
var i interface{} = a
//声明 b 变量,尝试赋值 i
var b int = i
}
代码输出如下:
GOROOT=C:\Program Files\Go #gosetup
GOPATH=D:\go-testfiles #gosetup
"C:\Program Files\Go\bin\go.exe" build -o C:\Users\zuoyang\AppData\Local\Temp\GoLand\___2go_build_____go.exe D:\go-testfiles\接口-空接口类型-能保存所有值的类型-从空接口获取值.go #gosetup
# command-line-arguments
.\接口-空接口类型-能保存所有值的类型-从空接口获取值.go:12:14: cannot use i (variable of type interface{}) as type int in variable declaration:
need type assertion
编译完成,并显示退出代码 2
编译器告诉我们,不能将 i 变量视为 int 类型赋值给 b。
为了让程序可以正常运行,可以通过编译器报错提示,need type assertion,提示我们需要使用 type assertion,意思就是类型断言。
使用类型断言修改代码如下:
package main
import "fmt"
func main() {
//声明 a 变量,类型为 int,初始值为 1
var a int = 1
//声明 i 变量,类型为 interface{},初始值为 a,此时 1 的值变为 1
var i interface{} = a
//声明 b 变量,尝试赋值 i
var b int = i.(int)
fmt.Println("b:", b)
}
3、空接口的比较
空接口在保存不同的值后,可以和其他变量值一样使用 "==" 进行比较操作。空接口的比较有以下几种特性。
1、类型不同的空接口间的比较结果不相同
package main
import "fmt"
func main() {
// a 保存整型
var a interface{} = 10000
// b 保存字符串
var b interface{} = "Hello, world!"
//比较两个空接口不相等
fmt.Println(a == b)
}
代码输出如下:
GOROOT=C:\Program Files\Go #gosetup
GOPATH=D:\go-testfiles #gosetup
"C:\Program Files\Go\bin\go.exe" build -o C:\Users\zuoyang\AppData\Local\Temp\GoLand\___go_build______go.exe D:\go-testfiles\接口-空接口类型-能保存所有值的类型-空接口的值比较-类型不同的空接口间的比较结果不同.go #gosetup
C:\Users\zuoyang\AppData\Local\Temp\GoLand\___go_build______go.exe
false
进程 已完成,退出代码为 0
2、不能比较空接口中的动态值
当接口中保存在有动态类型的值时,运行时将触发错误,代码如下:
package main
import "fmt"
func main() {
// c 保存包含 10 的整型切片
var c interface{} = []int{10}
// d 保存包含 20 的整型切片
var d interface{} = []int{20}
//这里会发生崩溃
fmt.Println(c == d)
}
代码输出如下:
GOROOT=C:\Program Files\Go #gosetup
GOPATH=D:\go-testfiles #gosetup
"C:\Program Files\Go\bin\go.exe" build -o C:\Users\zuoyang\AppData\Local\Temp\GoLand\___1go_build______go.exe D:\go-testfiles\接口-空接口类型-能保存所有值的类型-空接口的值比较-不能比较空接口中的动态值.go #gosetup
C:\Users\zuoyang\AppData\Local\Temp\GoLand\___1go_build______go.exe
panic: runtime error: comparing uncomparable type []int
goroutine 1 [running]:
main.main()
D:/go-testfiles/接口-空接口类型-能保存所有值的类型-空接口的值比较-不能比
较空接口中的动态值.go:14 +0x8a
这是一个运行时的错误,提示 []int 是不可比较的类型。下面列出了类型及比较的几种情况。
类型 | 说明 |
map | 宕机错误,不可比较 |
切片([]T) | 宕机错误,不可比较 |
通道(channel) | 可比较,必须由同一个 make 生成,也就是同一个通道才会是 true,否则为 false |
数组([容量]T) | 可比较,编译器知道两个数组是否一致 |
结构体 | 可比较,可以逐个比较结构体的值 |
函数 | 可比较 |