Golang泛型特性实践与探索

Golang泛型特性实践与探索 我尝试了新的Go泛型，并试图实现一些我之前在Haskell、C++和Swift中做过的东西：

https://go2goplay.golang.org/p/xSaYTEdUMDj

Swift有一个很好的特性，可以扩展基本类型以遵循新的接口。如何在Go中实现这一点对我来说就不那么明显了。与上述语言相比，Go的泛型是否足够强大？

3 回复

我认为第一步可能是从：

type Split[T AssociativeAlgebra] struct {

改为

type Split[U any, T AssociativeAlgebra[U]] struct {

更多关于Golang泛型特性实践与探索的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


在结构体仅使用单一类型参数 T 的情况下，却需要指定两个类型参数（U 和 T），这看起来非常不直观。

Go的泛型确实提供了扩展类型的能力，但方式与其他语言不同。在Go中，可以通过类型参数和接口约束来实现类似的功能，但不能直接为现有类型添加方法。以下是一个示例，展示如何通过泛型接口和类型参数来模拟类似Swift的协议扩展行为：

package main

import (
	"fmt"
)

// 定义一个泛型接口
type Adder[T any] interface {
	Add(T) T
}

// 为int类型实现Add方法
type IntAdder int

func (i IntAdder) Add(other IntAdder) IntAdder {
	return i + other
}

// 泛型函数，接受任何实现了Adder接口的类型
func Sum[T Adder[T]](a, b T) T {
	return a.Add(b)
}

// 扩展：为string类型实现类似功能
type StringConcat string

func (s StringConcat) Add(other StringConcat) StringConcat {
	return s + other
}

func main() {
	// 使用int类型
	var a IntAdder = 5
	var b IntAdder = 3
	result := Sum(a, b)
	fmt.Println(result) // 输出: 8

	// 使用string类型
	var s1 StringConcat = "Hello, "
	var s2 StringConcat = "World!"
	resultStr := Sum(s1, s2)
	fmt.Println(resultStr) // 输出: Hello, World!
}

在这个示例中，我们定义了一个泛型接口Adder[T]，然后为int和string类型分别创建了自定义类型并实现了该接口。通过泛型函数Sum，我们可以对任何实现了Adder接口的类型执行加法操作。

Go的泛型虽然不能直接为内置类型添加方法，但通过这种包装类型的方式，可以实现类似的功能。这种方式在类型安全性和代码复用性之间提供了平衡。

回到顶部