为什么详细给出的GO语言程序中的接口字段访问有效？

Question

我在以下链接的代码中定义了 2 个接口 {Main, Sub} 和一个结构 HumanStruct。我知道为什么 s1.(Main).Title() 有效。但我想知道为什么 m.(Sub).Name() 有效。这里'm'是接口Main类型的变量。此主界面没有字段“Sub”。那么它是如何工作的呢？

package main

import "fmt"

type Main interface {

    Title() string

}

type Sub interface {

    Main

    Name() string

}

type HumanStruct struct {

    name  string

    title string

}

func (hs HumanStruct) Name() string {

    return hs.name

}

func (hs HumanStruct) Title() string {

    return hs.title

}

func main() {

    h := HumanStruct{name: "John", title: "Kings"}

    var m Main

    m = h

    var s1 Sub

    s1 = h

    fmt.Println("From main: ", m.(Sub).Name())

    fmt.Println("From sub:  ", s1.(Main).Title())

}

Answer 1

类型断言表达式的结果m.(Sub)是 type Sub。接口Sub有一个Name()可以调用的方法。mto的类型断言Sub成功是因为 in 的值m是 aHumanStruct并且该类型满足Sub接口。