为什么[]字符串无法在golang中转换为[] interface {}

Question

我发现它很奇怪,为什么[]字符串无法转换为[] interface {}？

我认为这应该是可能的,因为:

1. 他们都是切片
2. []字符串的每个元素都是字符串,当然是接口{}

但在下面的示例中,它将是编译错误

func f(args ...interface{}){

}
s := []string{"ssd", "rtt"}
f(s...)

为什么语言无法自动完成转换？

Answer 1

Slice基本上只是对底层数组,启动指针,长度和容量的引用.如果有可能,请考虑以下事项:

sliceOfStrings := []string{"one", "two", "three"}
// prints ONE TWO THREE
for i := range sliceOfStrings {
    fmt.Println(strings.ToUpper(sliceOfStrings[i]))
}

// imagine this is possible
var sliceOfInterface = []interface{}(sliceOfStrings)
// since it's array of interface{} now - we can do anything
// let's put integer into the first position
sliceOfInterface[0] = 1
// sliceOfStrings still points to the same array, and now "one" is replaced by 1
fmt.Println(strings.ToUpper(sliceOfStrings[0])) // BANG!

Java和C#中存在此问题.在实践中,它很少发生,但仍然存在.鉴于在Go中没有像int32 - > int64这样的自动类型转换,如果你真的想将[]字符串发送为[] interface {},你就必须创建一个[] interface {}副本.这样就不足为奇了 - 你明确地写了它,你知道你在做什么.如果函数将修改[] interface {} - 它不会伤害原始[]字符串.

Answer 2

因为[]string并且[]interface{}具有不同的内存布局.当您意识到interface{}变量需要知道它包含的值的类型时,这是显而易见的.

对于[]string切片,后备阵列只需要保存单个字符串.对于[]interface{}切片,您既有类型信息又有字符串值(嗯,指向字符串值的指针,因为字符串大于单个内存字).因此,从一种类型转换为另一种类型将涉及复制数据.

Go会自动执行转换会让人感到困惑,因为它会使代码难以推理.例如,如果函数调用声明为接受参数,则函数调用f(s)可以修改切片中的字符串,但如果声明它s接受[]string参数则不会[]interface{}.