当接口方法使用指针接收器时，只有该类型的指针（而非值）才满足接口；直接用结构体字面量初始化接口切片会导致编译错误，需显式取地址（&）以传递指针。
在 Go 中，接口的实现取决于类型的方法集（method set），而方法集的构成严格区分「值接收器」和「指针接收器」：
- 对于类型 T，其方法集包含所有以 func (T) 为接收器的方法；
- 对于类型 *T，其方法集包含所有以 func (T) 和 func (*T) 为接收器的方法。
因此，若接口中定义了带有指针接收器的方法（如 SetName(s string)），则只有 *MammalImpl 满足该接口，而 MammalImpl 值本身不实现该接口——这正是编译器报错的根本原因：
prog.go:56: cannot use MammalImpl literal (type MammalImpl) as type Mammal in array element: MammalImpl does not implement Mammal (SetName method has pointer receiver)
✅ 正确做法：使用指针初始化接口切片
将 mammals 切片初始化为 *MammalImpl 实例，而非 MammalImpl 值：
mammals := []Mammal{
&MammalImpl{ID: 1, Name: "Carnivorous"},
&MammalImpl{ID: 2, Name: "Omnivorous"},
}此时每个元素都是 *MammalImpl 类型，其方法集完整包含 GetID()、GetName() 和 SetName()，从而满足 Mammal 接口。
? 同时注意：Names 函数中修改生效的前提
由于 ms []Mammal 中存储的是指针，m.SetName("Herbivorous") 将真实修改底层 MammalImpl 实例的 Name 字段。但原代码中 Names 返回的是 *[]string（指向字符串切片的指针），属于非惯用写法；更推荐直接返回切片：
func Names(ms []Mammal) []string {
names := make([]string, len(ms))
for i, m := range ms {
m.SetName("Herbivorous") // ✅ 现在可成功修改
names[i] = m.GetName()
}
return names // 直接返回，无需取地址
}⚠️ 补充提醒
- 若 MammalImpl 的 GetID 和 GetName 也改为指针接收器（如 func (m *MammalImpl) GetName() string），则 MammalImpl{} 字面量仍无法满足接口——除非所有方法接收器保持一致，或统一使用指针。
- 嵌入结构体（如 HumanImpl）继承方法时，嵌入字段的接收器类型同样影响接口实现：HumanImpl 自动获得 *MammalImpl 的方法，但 MammalImpl 字段本身仍是值类型，需确保其指针方法能被正确提升。
✅ 完整修正版关键片段
func main() {
mammals := []Mammal{
&MammalImpl{ID: 1, Name: "Carnivorous"},
&MammalImpl{ID: 2, Name: "Omnivorous"},
}
names := Names(mammals)
fmt.Println(names) // 输出: [Herbivorous Herbivorous]
}总结：Go 的接口实现是静态且精确的。“想通过指针接收器方法满足接口 → 必须传指针”，这是设计使然，也是内存安全与值语义一致性的体现。养成检查接收器类型与接口要求匹配的习惯，可避免大量此类编译错误。
