首页 >后端开发 >Golang >如何在 Go 泛型中使用带有联合类型约束的共享方法?

如何在 Go 泛型中使用带有联合类型约束的共享方法?

Barbara Streisand
Barbara Streisand原创
2024-12-23 12:30:09279浏览

How Can I Use Shared Methods with Union Type Constraints in Go Generics?

Go 中的泛型约束:对联合类型使用共享方法

在 Go 泛型 (v1.18) 中,类型联合约束允许您定义一组可以分配给泛型类型参数的类型。但是,对这些类型使用共享方法可能会导致错误。

请考虑以下代码:

type A struct {}
type B struct {}

type AB interface {
    *A | *B
}

func (a *A) some() bool {
    return true
}

func (b *B) some() bool {
    return false
}

func some[T AB](x T) bool {
    return x.some()   // <- error
}

发生错误的原因是编译器找不到联合类型 AB 上的某个方法。要解决此问题,您需要将方法添加到接口约束中:

type AB interface {
    *A | *B
    some() bool
}

func some[T AB](x T) bool {
    return x.some()   // works
}

这将泛型类型 T 限制为同时实现 *A 和 *B 的类型,并且还定义了 some 方法。

但是,正如 Go 1.18 发行说明中所述,这是一个临时限制。 Go 1.19 预计会取消这个限制,允许编译器自动从联合类型推断出 some 方法。

以上是如何在 Go 泛型中使用带有联合类型约束的共享方法?的详细内容。更多信息请关注PHP中文网其他相关文章!

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn