php小编西瓜为您带来了最新的资讯——“Go 泛型：无效的复合文字”。在Go语言社区中，泛型一直是备受关注的话题。随着Go 1.18版本的发布，泛型将正式纳入Go语言的标准库。然而，这一决定并不是所有人都能接受的。本文将探讨泛型在Go语言中的实现方式以及相关的争议和讨论，帮助读者更好地理解这一技术，并为其在实际开发中的应用提供参考。
以下代码会导致错误“无效的复合文字类型 t”。
package main
import "fmt"
func main() {
fmt.Println(createThing[foo]())
}
type thing interface {
foo | bar
}
type foo struct {
id int
a string
}
type bar struct {
id int
b int
}
func createThing[T thing, P *T]() P {
return &T{}
}
如果我只在接口thing中包含thing，或者删除a string和b int，那么foo和bar完全相同，代码将运行没有错误。然而，这是否违背了泛型的目的？为什么我不能实例化这样的泛型类型，尤其是当我什至没有访问任何字段时？
可能与 https://github.com/golang/go/issues/48522 相关
大多数泛型类型对于复合文字来说不是有效类型。但这不是问题，因为还有其他方法可以创建泛型类型的值。
创建指向新零值的指针：
func creatething[t thing]() *t {
return new(t)
}
或者创建一个非指针零值：
func createThing[T thing]() T {
var value T
return value
}
至于为什么以这种方式发生错误，这里是规范中的解释，经过修改以解决您的具体问题。
对于复合文字：
literaltype 的核心类型 t 必须是结构体、数组、切片或映射类型
核心类型是什么？
接口 t 具有核心类型，如果 [...] 存在单个类型 u，它是 t 类型集中所有类型的基础类型
没有其他接口具有核心类型。
底层类型是什么？
每个类型 t 都有一个基础类型：如果 t 是预先声明的布尔、数字或字符串类型之一，或者类型文字，则相应的基础类型是 t 本身。否则，t 的基础类型是 t 在其声明中引用的类型的基础类型。
“类型文字”可以指文字结构类型，例如 struct{int id}。因此，当 foo 和 bar 都具有 struct{int id} 的底层类型时，则 thing 具有 struct{int id} 的核心类型，因此复合文字是可能的。当 foo 和 bar 没有相同的底层类型时，则 thing 没有核心类型，并且复合文字是不可能的，因此您的错误。
正式的定义可能看起来很复杂，但结果和实际要点很简单：泛型代码只能表达可能类型的常见行为。除了在所有基础类型都相同的特殊情况下，文字值并不是常见的行为。
以上是Go 泛型：无效的复合文字的详细内容。更多信息请关注PHP中文网其他相关文章！
