Golang泛型编程对参数传递的影响-编程学习网

go 1.18 中的泛型编程引入以下参数传递变化：类型推断：编译器自动推断泛型函数和类型参数，无需手动指定。值语义：泛型函数对值进行操作，不会修改原始变量。通用代码重用：泛型编程允许创建可处理任何类型数据的通用函数和类型，从而实现代码重用。

Go 泛型编程对参数传递的影响

在 Go 1.18 中引入泛型编程后，参数传递发生了重大变化。泛型函数和类型现在可以接收任意类型的参数，这导致传递和使用参数的方式发生重大转变。

类型推断

Go 的泛型编程消除了在函数调用中明确指定类型参数的需要。编译器现在可以自动推断正确的类型，这使得代码更简洁和易读。

例如：

// 使用泛型类型
func Max[T any](a, b T) T {
    if a > b {
        return a
    }
    return b
}

在调用 Max 函数时，编译器可以推断出 a 和 b 类型为 int，无需显式指定：

result := Max(10, 5) // result 类型自动推断为 int

值语义

与 Java 等其他语言中的泛型不同，Go 中的泛型函数是对值进行操作的。这意味着函数不会修改原始参数值，而是返回一个带有修改后值的新变量。

例如：

func Increment[T any](x *T) {
    *x++
}

在这个例子中，Increment 函数对 x 的值进行递增操作，而不是原始变量本身。

实战案例

案例 1：使用泛型函数排序切片

使用泛型编程，我们可以创建通用的 Sort 函数对任何类型的可比较元素进行排序：

func Sort[T comparable](arr []T) {
    for i := 0; i < len(arr)-1; i++ {
        for j := i + 1; j < len(arr); j++ {
            if arr[i] > arr[j] {
                arr[i], arr[j] = arr[j], arr[i]
            }
        }
    }
}

案例 2：使用泛型类型创建通用队列

type Queue[T any] struct {
    data []T
}

func (q *Queue[T]) Enqueue(item T) {
    q.data = append(q.data, item)
}

func (q *Queue[T]) Dequeue() T {
    if len(q.data) == 0 {
        return zeroValue[T]() // 返回 T 类型的零值
    }
    item := q.data[0]
    q.data = q.data[1:]
    return item
}