Go语言中代码第21行的.(Cat)语法含义是什么？

你提到的kitty.(Cat)是Go语言里的类型断言（Type Assertion），核心作用是从接口类型变量中提取其底层存储的具体类型值，和普通类型转换不是一回事。

结合你的代码具体说明 #

1. 首先var kitty Animal声明了一个Animal接口类型的变量，随后kitty = Cat("kitty")把Cat类型的实例赋值给它——此时kitty这个接口变量内部同时保存了Cat类型的具体值和对应的类型元信息。
2. var kitty2 Cat = kitty.(Cat) 执行的操作是：
   • 检查kitty接口变量底层的实际类型是否为Cat
   • 如果匹配成功，就把底层的Cat值提取出来，赋值给kitty2
   • 如果不匹配，程序运行时会直接触发panic

安全的类型断言写法 #

如果不想因为类型不匹配导致panic，可以使用带布尔返回值的断言形式：

kitty2, ok := kitty.(Cat)
if ok {
    // 断言成功，可正常使用kitty2
} else {
    // 断言失败，处理类型不匹配的逻辑
}

官方文档参考 #

Go语言规范中专门有关于类型断言的章节，你可以在Go官方文档的「The Go Programming Language Specification」里找到「Type Assertions」部分，里面详细说明了类型断言的语法、行为和使用场景。

内容的提问来源于stack exchange，提问作者space-goblin