面试题：Go反射三定律之边界条件：类型断言的边界情况

在Go语言中，并不存在传统意义上的继承关系。但存在接口实现关系。

当使用反射进行类型断言时，如果断言的目标类型与实际类型不完全匹配但存在接口实现关系：

如果实际类型实现了断言的接口类型，类型断言会成功。
示例代码如下：

package main

import (
    "fmt"
    "reflect"
)

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

// 定义一个结构体
type Dog struct {
    Name string
}

// Dog 结构体实现 Animal 接口
func (d Dog) Speak() string {
    return fmt.Sprintf("Woof! My name is %s", d.Name)
}

func main() {
    var a Animal = Dog{Name: "Buddy"}
    value := reflect.ValueOf(a)

    // 尝试将反射值断言为 Dog 结构体类型，这里因为接口值底层就是 Dog 结构体实例，所以断言成功
    if dogValue, ok := value.Interface().(Dog); ok {
        fmt.Println("Assertion to Dog struct successful:", dogValue.Speak())
    } else {
        fmt.Println("Assertion to Dog struct failed")
    }

    // 尝试将反射值断言为另一个实现了 Animal 接口的类型（假设存在），如果实际类型没有实现，断言失败
    // 这里假设不存在 Cat 结构体实现 Animal 接口，只是示例说明
    var catValue Cat
    if _, ok := value.Interface().(Cat); ok {
        fmt.Println("Assertion to Cat struct successful")
    } else {
        fmt.Println("Assertion to Cat struct failed")
    }
}

在上述代码中，我们定义了一个 Animal 接口和 Dog 结构体，Dog 结构体实现了 Animal 接口。通过反射获取接口值后，当断言为 Dog 结构体类型时（因为接口值底层就是 Dog 结构体实例），断言成功。如果尝试断言为一个未实现 Animal 接口的类型（这里假设的 Cat 类型），断言会失败。

面试题：Go反射三定律之边界条件：类型断言的边界情况

知识考点

面试题答案