面试题：Go中类型检查如何处理接口类型转换

类型检查机制原理
- 在Go语言中，接口类型转换时，类型检查发生在运行时。Go语言的接口是隐式实现的，当进行接口类型转换时，系统会检查被转换的值是否实现了目标接口。
转换成功示例

package main

import (
    "fmt"
)

// 定义一个接口
type Animal interface {
    Speak() string
}

// 定义一个结构体并实现Animal接口
type Dog struct {
    Name string
}

func (d Dog) Speak() string {
    return fmt.Sprintf("Woof! I'm %s", d.Name)
}

func main() {
    var a Animal
    d := Dog{Name: "Buddy"}
    a = d
    // 从接口类型转换回具体类型，转换成功
    if dog, ok := a.(Dog); ok {
        fmt.Println(dog.Speak())
    }
}

在上述代码中，Dog结构体实现了Animal接口。先将Dog类型的值赋值给Animal接口类型变量a，然后使用类型断言a.(Dog)尝试将接口类型a转换回Dog类型。因为a实际指向的是Dog类型的值，所以转换成功，ok为true，可以正常调用dog.Speak()方法。

转换失败示例

package main

import (
    "fmt"
)

// 定义一个接口
type Animal interface {
    Speak() string
}

// 定义一个结构体并实现Animal接口
type Dog struct {
    Name string
}

func (d Dog) Speak() string {
    return fmt.Sprintf("Woof! I'm %s", d.Name)
}

// 定义另一个结构体，未实现Animal接口
type Cat struct {
    Name string
}

func main() {
    var a Animal
    d := Dog{Name: "Buddy"}
    a = d
    // 尝试转换为未实现接口的类型，转换失败
    if cat, ok := a.(Cat); ok {
        fmt.Println(cat.Speak())
    } else {
        fmt.Println("Type assertion failed")
    }
}

在这个例子中，Cat结构体没有实现Animal接口。将Dog类型的值赋值给Animal接口类型变量a后，尝试使用类型断言a.(Cat)将a转换为Cat类型。由于a实际指向的是Dog类型的值，不是Cat类型，所以转换失败，ok为false，会打印“Type assertion failed”。

星途面试题库

面试题：Go中类型检查如何处理接口类型转换

知识考点

面试题答案