接口和将匿名字段嵌入到结构中

Question

当附近发生爆炸时，我试图代表一个在窗户附近戴眼镜的人。 main 是爆炸期间应​​该做什么的草图。有些东西应该收集爆炸附近的物体列表，并为每个物体做特定的事情（例如破碎或熔化）。玻璃和窗户如预期般破碎，但不知为何人也破碎了。为什么？

package main
import "fmt"
type Human struct { Glasses }
type Glasses struct {}
type Shatterable interface { shatter() }
func (g Glasses) shatter() {}
type Window struct {}
func (w Window) shatter() {}

func main() {
    h := Human{Glasses{}}
    objectsInProximity := []interface{}{h,h.Glasses,Window{}}
    for _,o := range objectsInProximity {
        shatter(o)
    }
}

func shatter(i interface{}) {
    s, ok := i.(Shatterable)
    if ok {
        fmt.Printf("shattering a %T\n", s)
        s.shatter()
    }
}

$ go run a.go
shattering a main.Human
shattering a main.Glasses
shattering a main.Window

Answer 1

如this thread中所述：

我们谈论的是结构的匿名字段 (http://golang.org/ref/spec#Struct_types)。

（修改版，因为术语超集令人困惑）

具有匿名字段的结构满足每个接口的所有接口方法，该接口方法由匿名字段或结构本身声明。

type Human struct { Glasses }

由于Glasses可以破碎，Human也满足同样的接口。

---

注意：在结构中嵌入匿名字段最接近“继承”，尽管“Golang: what's the point of interfaces when you have multiple inheritance”的答案提醒我们：

Go 没有继承。
如果Man 'extended' Human （通过将其作为匿名字段），则任何使用Human 作为参数的方法都无法将Man 作为参数。

（这里的意思是Human 扩展...Glasses？！这可能显示出某种设计缺陷）

我之前在“If struct A is embedded in B, can methods on A access method and fields of B?”中解释过，这不是真正的子类型。

接口使函数能够有一个“占位符”参数，该参数可以将不同的结构作为参数。

这里，如果Human 不应该被破坏，它不应该包括匿名字段Glasses。