Go 泛型：无效的复合文字

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中文网其他相关文章！