答案：在 go 中通过使用泛型语法 type t[p1, p2, ..., pn]，开发者可以声明类型变量和创建参数化代码，实现代码复用和可维护性。详细描述：语法：使用 type 关键字声明类型变量，允许代码根据特定类型进行参数化。实战案例 1：实现了类型安全的排序算法，用于对不同类型的数据（int、float64、string 或实现了 ordered 接口的类型）进行排序。实战案例 2：创建了一个泛化的栈数据结构，该结构可以用作任何类型的堆栈。实际运用：泛型提供了代码复用

如何在 Go 中使用泛型实现代码复用

简介

Go 1.18 引入了泛型功能，允许开发者使用类型参数化代码，从而实现代码复用和提高可维护性。本文将介绍如何在 Go 中使用泛型以及提供两个实战案例。

立即学习“go语言免费学习笔记（深入）”；

语法

type 关键字在泛型中用于声明类型变量。语法如下：

type T[P1, P2, ..., Pn] struct {
    // 结构体字段
}

其中：

• T 是类型名称。
• P1, P2, ..., Pn 是类型参数。
• struct 声明结构体类型。

实战案例 1：类型安全的排序算法

以下代码展示了如何在泛型中实现类型安全的排序算法：

func Sort[T ordered | ~int | ~float64 | ~string](s []T) {
    sort.Slice(s, func(i, j int) bool {
        return s[i] < s[j]
    })
}

type ordered interface {
    ~int | ~float64 | ~string
}

• Sort 函数接受一个切片 s 作为参数，其中元素类型为 T，它可以是 int, float64, string 或实现了 ordered 接口的类型。
• ordered 接口定义了类型约束，要求类型 T 可以进行比较和排序。
• sort.Slice 用于对切片 s 按指定的比较函数进行排序。

实战案例 2：泛化数据结构

我们还可以使用泛型创建泛化的数据结构，例如栈：

type Stack[T any] struct {
    elements []T
}

func (s *Stack[T]) Push(e T) {
    s.elements = append(s.elements, e)
}

func (s *Stack[T]) Pop() T {
    if len(s.elements) == 0 {
        panic("stack is empty")
    }
    e := s.elements[len(s.elements)-1]
    s.elements = s.elements[:len(s.elements)-1]
    return e
}

• Stack 结构表示栈的数据结构，其中 T 是泛型类型参数。
• Push 方法将元素添加到栈顶。
• Pop 方法从栈顶移除并返回一个元素。
• any 类型约束表示 T 可以是任何类型。

实际运用

使用泛型带来了许多优点，包括：

• 代码复用：泛型允许通过编写可用于不同类型的数据结构和算法的代码来实现代码复用。
• 类型安全性：泛型确保使用类型安全的方式操作数据，从而减少错误和类型转换的需要。
• 可维护性：泛型代码易于理解、维护和重用。

在 Go 中使用泛型时，应注意以下提示：

• 正确使用类型约束，以确保类型安全。
• 注意泛型可能会影响代码的性能，特别是在编译时需要进行额外类型推断的情况下。