获取泛型结构的未指定类型参数版本的类型名称

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

假设我有一个名为 foo 的通用结构，我从中创建了两个对象。我可以使用 reflect.typeof() 确定每个的具体类型，如下所示：

package main

import (
    "fmt"
    "reflect"
)

type foo[t any] struct {
    data t
}

func main() {
    a := foo[string]{"cheese"}
    b := foo[int]{42}

    fmt.println(reflect.typeof(a))
    fmt.println(reflect.typeof(b))
}

// main.foo[string]
// main.foo[int]

我感兴趣的是确定这些对象的通用类型（即 foo），而不是具体类型（即 foo[string] 和 foo[int]）。这是可能的还是我需要手动从这些字符串中提取通用类型（例如，使用正则表达式）？

编辑

正则表达式可能看起来像这样：

func GetGenericType(x any) string {
    // Get type as a string
    s := reflect.TypeOf(x).String()

    // Regex to run
    r := regexp.MustCompile(`\.(.*)\[`)

    // Return capture
    return r.FindStringSubmatch(s)[1]
}


fmt.Println(GetGenericType(a))
fmt.Println(GetGenericType(b))

// foo
// foo

我也看到了这个问题，但这并没有回答这个问题，因为它给出了具体类型（即 main.foo[string]）而不是通用类型（即， foo)。

正确答案

反射看不到“基本”泛型类型的名称，因为在运行时该基本类型不存在。

go 规范中的相关段落是 实例化：

实例化一个类型会产生一个新的非泛型命名类型；实例化一个函数会产生一个新的非泛型函数。

所以当你写：

b := foo[int]{42}
name := reflect.typeof(b).name()

该类型的名称正是 foo[int]。

值得注意的是，不带类型参数列表的标识符 foo 在编译时是相关的，因为它可以防止您在同一个包中重新声明它。 类型定义：

类型定义创建一个新的、不同的类型，具有相同的类型 底层类型和操作作为给定类型并绑定 标识符，类型名称，给它。

typedef = identifier [ typeparameters ] type .

但是，如上所述，实例化会产生一个与 foo 不同的新命名类型；在运行时，当您可以使用反射时，您只处理实例化。

总之，我认为你的正则表达式解决方案是可以接受的，直到一些辅助函数被添加到stdlib中（如果有的话） 。为了清楚起见，将其重新发布到此处：

func getgenerictype(x any) string {
    // get type as a string
    s := reflect.typeof(x).string()

    // regex to run
    r := regexp.mustcompile(`\.(.*)\[`)

    // return capture
    return r.findstringsubmatch(s)[1]
}

请记住 type.string() 和 type.name() 之间的区别：任何类型都可以有字符串表示形式，但只有命名类型才有名称。 （显然，对吧？）。例如，如果您写道：

b := &foo[int]{42}

那么b的类型为*foo[int]，为匿名复合类型，name()返回空字符串。

到这里，我们也就讲完了《获取泛型结构的未指定类型参数版本的类型名称》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！