likes
comments
collection
share

一起学GO吧:深入理解Go语言接口的动态值与静态类型

作者站长头像
站长
· 阅读数 47

在Go语言中,接口是一种特殊的类型,具有独特的特性。当我们谈论接口时,指的是接口类型。与其他数据类型不同,接口类型无法被值化或实例化。具体而言,我们不能使用new函数或make函数创建接口类型的值,也无法使用字面量表示接口类型的值。一个接口类型的值只有在拥有实现它的数据类型时才能存在。

接口类型的声明通过关键字typeinterface完成。接口类型的类型字面量与结构体类型相似,都使用花括号包裹核心信息。不同之处在于,结构体类型包裹字段声明,而接口类型包裹方法定义。接口的方法集合即为其全部特征。

type Pet interface {
    SetName(name string)
    Name() string
    Category() string
}

上述代码定义了一个接口类型Pet,包含三个方法:SetNameNameCategory。任何数据类型只要包含了这三个方法,就被视为Pet接口的实现类型,这是一种无侵入式的接口实现方式,也被称为“Duck typing”。

动态值、动态类型和静态类型

在Go语言中,接口变量的动态值、动态类型和静态类型是需要深入理解的概念。接口变量的动态值是指其被赋予的实际值,动态类型是指实际值的类型,而静态类型则是接口变量的声明类型。

type Dog struct {
    name string
}

func (d *Dog) SetName(name string) {
    d.name = name
}

func (d Dog) Name() string {
    return d.name
}

func (d Dog) Category() string {
    return "Domestic"
}

在上述代码中,Dog类型实现了Pet接口。动态类型是实际值的类型,而动态值则被存储在一个iface数据结构中。iface数据结构实际上是一个接口变量的实例,包含指向类型信息的指针和指向动态值的指针。

示例:为接口变量赋值

dog := Dog{"little pig"}
var pet Pet = &dog
dog.SetName("monster")

上述代码中,将Dog类型的变量dog赋给Pet类型的变量pet。虽然它们的动态值不同,但pet的动态类型是*Dog,即Dog类型的指针。修改dog的属性不会影响pet的值。

fmt.Println(pet.Name())  // 输出: little pig

上述代码输出little pig,说明pet的动态值保持为初始值,即dog的副本。这是因为接口变量被赋予动态值时,实际值的副本被存储在iface数据结构中。

深入理解Go语言接口的动态值与静态类型是正确使用接口的关键。这些概念有助于更好地理解接口的特性,确保我们在代码中正确而清晰地处理接口。

转载自:https://juejin.cn/post/7302041173866528794
评论
请登录