获取不带类型参数的泛型结构的类型名称

PHP小编草莓在这篇文章中将向大家介绍如何获取不带类型参数的泛型结构的类型名称。泛型是一种强大的编程技术，可以在不指定具体类型的情况下编写通用的代码。然而，有时我们可能需要获取泛型结构的类型名称，而不包含具体的类型参数。本文将为您详细解答这个问题，帮助您更好地理解和应用泛型编程。

问题内容

假设我有一个名为 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()返回空字符串。

以上就是获取不带类型参数的泛型结构的类型名称的详细内容，更多请关注编程网其它相关文章！