关于 go 可变参数解包的问题

[asAnotherJack]

如图，我想往一个接口 slice 里，append 进一个 impl slice 的所有元素，为什么单个 append 就可以，用...的方式就不行啊，这种我只能 for 循环依次 append 了吗？求大佬解惑

type ISayHi interface {
	Hi()
}

type SayHiImpl struct {

}

func (s *SayHiImpl) Hi() {
	fmt.Println("Hi")
}

func main() {
	s := make([]ISayHi, 0)
	impls := make([]*SayHiImpl, 0)
	impls = append(impls, &SayHiImpl{})
	s = append(s, impls[0])
	s = append(s, impls...)

}

[assiadamo]

看上去只能循环解引用加进去

[vasil]

s 和 impls 的类型不一致

[westoy]

s = append(s, s[:]...)

[gochat]

```go
type ISayHi interface {
Hi()
}

type SayHiImpl struct {
}

func (s *SayHiImpl) Hi() {
fmt.Println("Hi")
}

func main() {
s := make([]ISayHi, 0)
impls := make([]ISayHi, 0)
impls = append(impls, &SayHiImpl{})
s = append(s, impls[0])
s = append(s, impls...)
}
```

这么玩

[asAnotherJack]

@gochat #4 嗯，现在就是这么搞的，就是觉得这种 单个元素能 append，slice 解包不能 append 有点反直觉，头大

[pigmen]

mark 下不太懂，用什么单个可以，unpack 不行

[keepeye]

类似这个问题
https://www.reddit.com/r/golang/comments/3gtg3i/passing_slice_of_values_as_slice_of_interfaces/
https://stackoverflow.com/questions/12753805/type-converting-slices-of-interfaces/12754757

[keepeye]

简单来说，append 需要编译器支持，而编译器不支持复杂的转换。比如 []*SayHiImpl 转换成 []ISayHi 需要 O(N)的复杂度，是不支持的.
至于单个为什么可以，因为转换单个只要 O(1)

[ZSeptember]

go 不支持 Covariance 。
append 的第二个参数是 []ISayHi，[]*SayHiImpl 并不是[]ISayHi 的子类型。