Go语言可变参数函数传参疑问：结构体切片无法适配接口形参？

核心原因：Go强类型系统与切片类型的严格区分 #

Go是强类型语言，接口类型和实现该接口的结构体类型是完全独立的类型，而切片的类型由其元素类型直接决定，因此[]SumImpl和[]ISum是两种毫无关联的切片类型，无法直接兼容。

1. 直接传入结构体实例能正常运行的原因 #

当直接传入SumImpl结构体实例时，Go会自动执行隐式类型转换：因为SumImpl实现了ISum接口，Go会把结构体实例包装成一个ISum接口值（包含类型信息和数据指针），这个转换是语言层面允许的，所以可变参数函数能正常接收。

2. 传入[]SumImpl切片并展开报错的原因 #

可变参数...ISum本质上等价于函数接收一个[]ISum类型的切片。而[]SumImpl和[]ISum的内存布局完全不同：

• []SumImpl的每个元素直接存储SumImpl结构体的所有字段数据
• []ISum的每个元素是一个包含两个指针的结构（一个指向类型信息，一个指向实际数据）

Go不允许这种跨类型的切片隐式转换，哪怕元素类型存在接口实现关系，因此直接展开[]SumImpl传入函数会触发类型不匹配的错误。

3. []ISum切片能正常运行的原因 #

当将切片声明为[]ISum类型，再添加SumImpl实例时，每个实例都会被自动转换为ISum接口值存入切片。此时切片的类型完全匹配函数的可变参数要求，展开后自然能被函数正常接收。

代码示例验证 #

type ISum interface {
    Sum() int
}

type SumImpl struct {
    a, b int
}

func (s SumImpl) Sum() int {
    return s.a + s.b
}

func variadicExample2(s ...ISum) {
    for _, item := range s {
        println(item.Sum())
    }
}

func main() {
    // 正常运行：自动转换为ISum接口
    variadicExample2(SumImpl{1, 2})

    // 编译报错：类型不匹配
    sumSlice := []SumImpl{{1, 2}, {3, 4}}
    variadicExample2(sumSlice...)

    // 正常运行：切片元素是ISum接口值
    isumSlice := []ISum{SumImpl{1, 2}, SumImpl{3, 4}}
    variadicExample2(isumSlice...)
}

内容的提问来源于stack exchange，提问作者battlecook