在 Golang 中我能够使用一个类型参数约束另一个类型参数吗？

各位小伙伴们，大家好呀！看看今天我又给各位带来了什么文章？本文标题是《在 Golang 中我能够使用一个类型参数约束另一个类型参数吗？》，很明显是关于Golang的文章哈哈哈，其中内容主要会涉及到等等，如果能帮到你，觉得很不错的话，欢迎各位多多点评和分享！

我想在 go 中创建一个通用方法，它接受 t 类型的约束参数并返回基于类型 t 确定的 r 类型。这是我尝试过的：

func genericsTest[T string | int, R int | bool](val T) R {
    switch any(val).(type) {
    case string:
        return R(1)
    case int:
        return R(true)
    }
}

我假设这里的问题是编译器无法根据 t 推断 r，因此尝试将文字转换为 r 类型会失败，因为 r 可以是 int 或 bool。有没有办法根据类型t保证r的类型？

正确答案

您不能使用预先声明类型的联合来执行此操作，即您不能直接将 t 和 r 绑定在一起。除了您任意的“映射”之外，它们之间没有任何实际关系。

我能想到的最接近的方法是定义一个接口来形式化类型映射并限制可以实现它的类型：

type mappable[t int | bool] interface {
    ~string | ~int
    as() t
}

接口 mappable 只能由具有方法 as() t 的基础类型 string 或 int 的类型来满足，其中 t 受限于您的结果类型。

然后您按照对您有意义的方式实现它：

type string string

func (s string) as() int {
    return 1
}

type int int

func (n int) as() bool {
    return true
}

最后，将函数中的 t 约束为 mappable[r]：

func genericstest[r int | bool, t mappable[r]](val t) r {
    return val.as()
}

调用它：

func main() {
    fmt.Println(genericsTest(String("foo")))
    // prints 1

    fmt.Println(genericsTest(Int(1)))
    // prints true

}

注 1：这并不妨碍您定义 func (s string) as() bool。我没有解决方案。

注 2：此解决方案仅适用于 go 1.21 及更高版本，且类型推断 was extended 具有接口可分配性规则。

演示：https://go.dev/play/p/wlMMkN-iSWV

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。