我很好奇为什么Go不隐式地将[]T转换为[]interface{},而将T隐式地转换为interface{}。在这个转换中,我是否遗漏了一些重要的东西?

例子:

func foo([]interface{}) { /* do something */ }

func main() {
    var a []string = []string{"hello", "world"}
    foo(a)
}

去建设投诉

不能在函数参数中使用(type[]字符串)作为类型[]接口{}

如果我尝试显式地这样做,同样的事情:b:= []interface{}(a)抱怨

不能将(类型[]字符串)转换为类型[]接口{}

所以每次我需要做这个转换(似乎出现了很多),我一直在做这样的事情:

b = make([]interface{}, len(a), len(a))
for i := range a {
    b[i] = a[i]
}

是否有更好的方法,或标准库函数来帮助这些转换?每次我想调用一个可以接受整型或字符串列表的函数时,写4行额外的代码似乎有点愚蠢。


当前回答

你忽略的一点是,T和保存T值的interface{}在内存中有不同的表示形式,所以不能简单地转换。

T类型的变量就是它在内存中的值。没有关联的类型信息(在Go中,每个变量都有一个在编译时而不是在运行时已知的单一类型)。它在内存中是这样表示的:

价值

保存T类型变量的接口{}在内存中是这样表示的

T型指针 价值

那么回到你最初的问题:为什么go不隐式地将[]T转换为[]interface{}?

将[]T转换为[]interface{}将涉及创建一个新的接口{}值片,这是一个重要的操作,因为内存中的布局是完全不同的。

其他回答

你忽略的一点是,T和保存T值的interface{}在内存中有不同的表示形式,所以不能简单地转换。

T类型的变量就是它在内存中的值。没有关联的类型信息(在Go中,每个变量都有一个在编译时而不是在运行时已知的单一类型)。它在内存中是这样表示的:

价值

保存T类型变量的接口{}在内存中是这样表示的

T型指针 价值

那么回到你最初的问题:为什么go不隐式地将[]T转换为[]interface{}?

将[]T转换为[]interface{}将涉及创建一个新的接口{}值片,这是一个重要的操作,因为内存中的布局是完全不同的。

官方解释如下:https://github.com/golang/go/wiki/InterfaceSlice

var dataSlice []int = foo()
var interfaceSlice []interface{} = make([]interface{}, len(dataSlice))
for i, d := range dataSlice {
    interfaceSlice[i] = d
}

如果你需要更多的短你的代码,你可以为helper创建新的类型

type Strings []string

func (ss Strings) ToInterfaceSlice() []interface{} {
    iface := make([]interface{}, len(ss))
    for i := range ss {
        iface[i] = ss[i]
    }
    return iface
}

then

a := []strings{"a", "b", "c", "d"}
sliceIFace := Strings(a).ToInterfaceSlice()

在Go 1.18或更高版本中,使用以下函数将任意切片类型转换为[]接口{}或其别名any:

func ToSliceOfAny[T any](s []T) []any {
    result := make([]any, len(s))
    for i, v := range s {
        result[i] = v
    }
    return result
}

Go 1.18的泛型特性并没有消除将任意片转换为[]任意片的需要。下面是一个需要转换的示例:应用程序希望使用[]字符串的元素作为声明为args…any的可变查询参数来查询数据库。这个答案中的函数允许应用程序在方便的一行程序中查询数据库:

rows, err := db.Query(qs, ToSliceOfAny(stringArgs)...)

试试interface{}吧。要把它铸回切片,试试

func foo(bar interface{}) {
    s := bar.([]string)
    // ...
}