泛型编程：无效的复合文字

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《泛型编程：无效的复合文字》，文章讲解的知识点主要包括，如果你对Golang方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

以下代码会导致错误“无效的复合文字类型 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 没有核心类型，并且复合文字是不可能的，因此您的错误。

正式的定义可能看起来很复杂，但结果和实际要点很简单：泛型代码只能表达可能类型的常见行为。除了在所有基础类型都相同的特殊情况下，文字值并不是常见的行为。

本篇关于《泛型编程：无效的复合文字》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！