迹忆客 专注技术分享

Go 中的泛型函数与 Go 中的其他泛型类型具有非常相似的语法。 当我们考虑其他泛型类型具有类型参数时，制作泛型函数就是为这些函数添加第二组参数。

在本篇文章中，我们将创建一个新的 printCard 通用函数，并使用该函数打印出所提供卡片的名称。

要实现新功能，需要打开 main.go 文件并进行以下更新：

func printCard[C any](card C) {
    fmt.Println("card name:", card.Name())
}

func main() {
    ...
    fmt.Printf("card collectable name: %s\n", tradingCard.CollectableName)

    fmt.Printf("--- printing cards ---\n")
    printCard[*PlayingCard](playingCard)
    printCard(tradingCard)
}

在 printCard 函数中，我们将看到泛型类型参数熟悉的方括号语法，然后是括号中的常规函数参数。 然后，在主函数中，我们使用 printCard 函数打印出 *PlayingCard 和 *TradingCard。

我们可能会注意到对 printCard 的调用之一包含 [*PlayingCard] 类型参数，而第二个调用不包含相同的 [*TradingCard] 类型参数。 Go 编译器能够通过我们传递给函数参数的值来确定预期的类型参数，因此在这种情况下，类型参数是可选的。 如果愿意，还可以删除 [*PlayingCard] 类型参数。

现在，保存我们的更改并使用 go run:: 再次运行我们的程序

$ go run main.go

不过，这一次，我们会看到一个编译器错误：

# command-line-arguments
./main.go:87:33: card.Name undefined (type C has no field or method Name)

在 printCard 函数的类型参数中，我们将 any 作为 C 的类型约束。当 Go 编译程序时，它希望只看到由 any 接口定义的方法，然而并没有找到。 这是对类型参数使用特定类型约束的好处。 为了在你的 card 类型上访问 Name 方法，你需要告诉 Go 用于 C 参数的唯一类型是 Cards。

最后一次更新 main.go 文件，用 Card 类型约束替换 any 类型约束：

...

func printCard[C Card](card C) {
    fmt.Println("card name:", card.Name())
}

然后，保存更改并使用 go run 运行程序：

$ go run main.go

这时我们的程序将能成功运行

--- drawing playing card ---
drew card: 6 of Hearts
card suit: Hearts
card rank: 6
--- drawing trading card ---
drew card: App Platform
card collectable name: App Platform
--- printing cards ---
card name: 6 of Hearts
card name: App Platform

在这个输出中，我们将看到两张卡片都像我们熟悉的那样被绘制和打印，但现在 printCard 函数也打印出卡片并使用它们的 Name 方法来获取要打印的名称。

在本节中，我们创建了一个新的通用 printCard 函数，该函数可以获取任何 Card 值并打印名称。 我们还看到了使用 any 类型约束而不是 Card 或其他特定值如何影响可用的方法。