实现具有更灵活方法参数的接口

从现在开始，我们要努力学习啦！今天我给大家带来《实现具有更灵活方法参数的接口》，感兴趣的朋友请继续看下去吧！下文中的内容我们主要会涉及到等等知识点，如果在阅读本文过程中有遇到不清楚的地方，欢迎留言呀！我们一起讨论，一起学习！

在go中，有没有一种方法可以使用方法来实现接口，其中实现中相应方法的返回类型“比”预期返回类型“宽”？

这很难解释，所以这里是一个例子。在 go 演示中运行以下示例代码时出现此错误：

./prog.go:36:14: cannot use birdimpl{} (type birdimpl) as type animal in argument to foo:
    birdimpl does not implement animal (wrong type for move method)
        have move() birdmoveresult
        want move() animalmoveresult

（其中 birdmoveresult 比 animalmoveresult 更宽，因为 birdmoveresult 的任何实现也是 animalmoveresult 的实现）

package main

type (
    Animal interface {
        Move() AnimalMoveResult
    }
    Bird interface {
        Move() BirdMoveResult
    }
    AnimalMoveResult interface {
        GetDistance() int
    }
    BirdMoveResult interface {
        GetDistance() int
        GetHeight() int
    }
    BirdImpl struct{}
    BirdMoveResultImpl struct{}
)

// Some implementation of BirdImpl.Move
// Some implementation of BirdMoveResultImpl.GetDistance
// Some implementation of BirdMoveResultImpl.GetHeight

func foo(animal Animal) int {
    return animal.Move().GetDistance()
}

func main() {
    foo(BirdImpl{})  // This fails because BirdImpl doesn't implement Animal. My question is why not?
}

据我了解，由于返回类型不同，move() 方法签名并不完全匹配，因此 go 不会将 birdimpl 视为 animal 的实现。但是，如果 go 比较返回类型，则 birdmoveresult 的任何实现也将实现 animalmoveresult。那么，move() birdmoveresult 不应该是 move() animalmoveresult 可接受的实现吗（如果不是，为什么不呢）？

编辑：在实际场景中，animal、animalmoveresult 和 foo 是外部包的一部分。在我自己的代码中，我希望能够使用我自己的接口方法扩展 animalmoveresult（就像在示例中使用 birdmoveresult 所做的那样），同时仍然能够通过使用扩展接口来使用 foo。

正确答案

此类问题通常是由于以下原因造成的：

• 不成熟的接口
• 假接口，或“气泡包装”（请参阅​​我的咆哮 here）
• 并行接口

您遇到的错误与第三个问题最相关，但每个错误都存在于此处的示例设计中。

好的接口应该（以它们的名称和方法签名）传达一组行为。接口的名称应该由它包含的方法隐含，因为名称只是应该捕获该行为的本质。

为此目的唯一需要的接口是：

type mover interface {
    move() moveresult
}

对于 moveresult，您可以这样做（如果您愿意，可以将 float 与 int 交换）：

type moveresult struct {
    distance, height float64
}

考虑到以下假设，这种类型可以作为结构体正常运行：

• 移动结果只是数据点（它们不需要是动态的；您可以设置值并保留它们）
• “额外”数据（例如高度）在未指定时可以正常运行并为零值。

现在，实现鸟类类型：

type bird struct {
    // some internal data
}

func (b *bird) move() moveresult {
    // some movement calculations
    return moveresult{distance: howfar, height: howhigh}
}

现在实现 foo：

func foo(m mover) float64 {
    return m.move().distance
}

现在在 main 中使用它：

func main() {
    foo(&bird{})
}

现在我们可以将其他类型的 mover 添加到程序中，并将它们与 foo 一起使用，不会出现问题。

解决您的评论，其中 animal、animalmoveresult 和 foo 都是外部的，您无法修改它们：

我如何用我的理解提出问题：有一个函数 foo，旨在接受一个名为 animal 的接口，其特征在于它如何返回专有类型。您希望将类型 bird 用作 animal，但您无法将所需的所有行为都放入该专有返回类型中。

那么如何解决这个问题呢？

实现您自己的、更广泛的返回类型

type birdmoveresult struct {
    // some internal data
}

func (r birdmoveresult) getdistance() int {
    // get the distance
}

func (r birdmoveresult) getheight() int {
    // get the height
}

现在，实现 bird 类型

type bird struct {
    // some internal data
}

func (b *bird) move() animalmoveresult {
    var result birdmoveresult
    // calculate the move result
    return birdmoveresult
}

请注意，move 返回 animalmoveresult 类型，因此现在 bird 将满足 animal 接口。我们能够这样做是因为 birdmoveresult 满足 animalmoveresult 类型，因此在这里返回它是合法的。

剩下的问题是 bird 的 move 方法缩小了宽接口，我们实际上已经失去了您添加的新功能。为了在仍然满足 animal 接口的情况下取回它，我们根本无法更改 move 方法签名。这里有 2 种可能的解决方法。

1. 使用您的鸟类类型时，您可以 type-assert 结果来访问额外的方法

var b bird
// ...
height := b.move().(birdmoveresult).getheight()

1. 向 bird 添加一个新方法，返回更宽的类型，使现有的 move 具有相同的签名

func (b *bird) movefull() birdmoveresult {
    var result birdmoveresult
    // calculate the move result
    return birdmoveresult
}

func (b *bird) move() animalmoveresult {
    return b.movefull()
}

height := b.MoveFull().GetHeight()

这两种方法都可以，这主要是一个偏好问题。

没有。方法签名必须字面匹配。 go 没有协变或逆变的概念。

到这里，我们也就讲完了《实现具有更灵活方法参数的接口》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！