Assertion.md

Go类型断言

• 类型断言（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{}
        x = 10
        value, ok := x.(int)
        fmt.Print(value, ",", ok)
    }