9. 断言

类型断言（Type Assertion）是一个使用在接口值上的操作，用于检查接口类型变量所持有的值是否实现了期望的接口或者具体的类型。

语法格式

在Go语言中类型断言的语法格式如下：

value, ok := x.(T)

其中，x 表示一个接口的类型，T 表示一个具体的类型（也可为接口类型）。

该断言表达式会返回 x 的值（也就是 value）和一个布尔值（也就是 ok），可根据该布尔值判断 x 是否为 T 类型：

• 如果 T 是具体某个类型，类型断言会检查 x 的动态类型是否等于具体类型 T。如果检查成功，类型断言返回的结果是 x 的动态值，其类型是 T。

• 如果 T 是接口类型，类型断言会检查 x 的动态类型是否满足 T。如果检查成功，x 的动态值不会被提取，返回值是一个类型为 T 的接口值。

• 无论 T 是什么类型，如果 x 是 nil 接口值，类型断言都会失败。

package main

import (
	"fmt"
)

func main() {
	var x interface{}
	fmt.Println(x) // 定义空的接口会返回默认值nil
	x = 10
	value, ok := x.(int)
	fmt.Print(value, ",", ok)
}

/*
	<nil>
	10,true
*/

需要注意如果不接收第二个参数也就是上面代码中的 ok，断言失败时会直接造成一个 panic。如果 x 为 nil 同样也会 panic。

value := x.(int)  // 报错panic: interface conversion: interface {} is string, not int

断言还可以配合 switch

package main

import (
	"fmt"
)

func getType(a interface{}) {
	switch a.(type) {
	case int:
		fmt.Println("the type of a is int")
	case string:
		fmt.Println("the type of a is string")
	case float64:
		fmt.Println("the type of a is float")
	default:
		fmt.Println("unknown type")
	}
}

func main() {
	// 判断是否是该类型的变量： value, ok := element.(T)，这里value就是变量的值，ok是一个bool类型，element是interface变量，T是断言的类型。
	// 方式一: 基本用法
	var x interface{}
	fmt.Println(x) // 定义空的接口会返回默认值nil
	x = 10
	value, ok := x.(int)
	fmt.Print(value, ",", ok, "\n")

	// 方式二: 使用switch
	x = "X"
	getType(x)
}

/*
	<nil>
	10,true
	the type of a is string
*/