为什么我不能在 Go 中用一种类型的切片替换另一种类型？

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《为什么我不能在 Go 中用一种类型的切片替换另一种类型？》，本文主要会讲到golang等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

问题内容

我试图了解 Go 的类型转换规则。假设我们有这些接口：

type woofer interface {
  woof()
}

type runner interface {
  run()
}

type woofRunner interface {
  woofer
  runner
}

为了满足接口，我们有一个dog类型：

type dog struct{}

func (*dog) run()  {}
func (*dog) woof() {}

这两个函数正在使用接口：

func allWoof(ws []woofer) {}

func oneWoof(w woofer) {}

要使用这些方法，我可以编写以下内容：

dogs := make([]woofRunner, 10)
oneWoof(dogs[0])
allWoof(dogs)

第一个功能oneWoof()按预期工作；a*dog实现了所有oneWoof需求，它是一个woof函数。

但是对于第二个函数allWoof，Go 不会编译尝试的调用，报告如下：

不能在 allWoof 的参数中使用狗（类型 []woofRunner）作为类型 []woofer

使用类型转换也是不可能的；写作[]woofer(dogs)也失败：

无法将狗（类型 []woofRunner）转换为类型 []woofer

的每个成员都[]woofRunner具有满足 a 的所有必要功能[]woofer，那么为什么禁止这种转换？

（我不确定这是否与 Go FAQ和 Stack Overflow 上的各种问题中解释的情况相同，在这些问题中人们询问将类型转换T为interface{}。切片/数组中的每个指针都指向一个可直接转换为的类型另一种类型。应该可以使用这些指针，原因与可以传递dog[0]给“oneWoof”的原因相同。）

注意 1 ：我知道一种解决方案是循环并逐个转换项目。我的问题是为什么这是必要的以及是否有更好的解决方案。

注2 ：关于可分配性规则：

值 x 可分配给 T 类型的变量 [当] T 是接口类型并且 x 实现 T。

我们不能说如果切片/数组的类型可以分配给另一种类型，那么这些类型的数组也可以分配吗？

正确答案

除了 Go 拒绝沿此处其他答案中解决的这些方差关系转换切片之外，思考 为什么 Go 拒绝这样做是有用的，即使两种类型之间的内存表示相同。

在您的示例中，提供woofRunnerss 的切片作为类型参数[]woofer要求对切片的元素类型进行 协变 处理。实际上，从切片中 读取 时，因为 awoofRunner 是 a woofer，所以您知道 a 中存在的每个元素[]woofRunner都会满足寻找 的读者[]woofer。

然而，在 Go 中，切片是一种引用类型。当将切片作为参数传递给函数时，切片被复制，但在调用的函数体中使用的副本继续引用相同的后备数组（在append超出其容量之前不需要重新分配）。数组的可变视图——通常，将一个项目插入到集合中——需要对元素类型进行 逆变 处理。也就是说，当需要一个函数参数以 插入 或 覆盖 类型的元素时woofRunner，提供一个[]woofer.

问题是函数是否要求切片参数

• 从中读取（对于读取woofers，a[]woofRunner与 a 一样好[]woofer），
• 写入它（对于写入woofRunners，a 和 a[]woofer一样好[]woofRunner），
• 或两者兼有（两者都不是另一个可接受的替代品）。

考虑一下如果 Go 确实以协变方式接受切片参数会发生什么，并且有人出现并进行了allWoof如下更改：

// Another type satisfying `woofRunner`:
type wolf struct{}
func (*wolf) run()  {}
func (*wolf) woof() {}

func allWoof(ws []woofer) {
  if len(ws) > 0 {
    ws[0] = &wolf{}
  }
}

dogs := []*dog{&dog{}, &dog{}}
allWoof(dogs)  // Doesn't compile, but what if it did?

即使 Go 愿意将 a[]*dog视为 a []woofer，我们也会*wolf在我们的数组中得到 a *dog。一些语言通过对尝试的数组插入或覆盖进行运行时类型检查来防止这种意外，但由于 Go 甚至阻止我们做到这一点，它不需要这些额外的检查。

今天关于《为什么我不能在 Go 中用一种类型的切片替换另一种类型？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于golang的内容请关注golang学习网公众号！