不属于接口类型的通用类型

泛型类型在 Go 语言中允许创建参数化类型，但无法使用类型约束来表示包含可比较类型但不是接口类型的通用类型。此限制源于可比较类型不能用于类型联合、类型约束无法组合、否定类型约束和匹配通用结构的接口不存在等因素。虽然可以通过反射来实现类型检查，但对于依赖于标准库 JSON 解析的应用程序来说可能是不必要的，因为 JSON 已经可以处理不兼容数据类型。

我正在尝试使用泛型来创建参数化类型，其可以是：

t, *t, t[], map[interface{}]interface{}

其中：t 是 comparable 类型，但不是接口。

我尝试通过约束排版来制定此公式，但由于 misplacedtypeparam 编译器错误而失败：

type mytype[t comparable] interface {
    t | *t | t[] | map[interface{}]interface{}
}

我在使用 reflect 时也遇到问题，即获取 reflect.kind 或 reflect.type 接口将返回接口底层的值类型，这意味着我还没有弄清楚如何断言类型不是接口。 p>

由此，我想知道表示这种类型的最佳替代方法是什么？

这是我正在进行的工作（https://github.com/mcwalrus/go-jitjson）及其主要部分：

type JitJSON[T any] struct {
    data []byte
    val  *T
}

func (jit *JitJSON[T]) Unmarshal() (T, error) {
    if jit.val != nil {
        return *jit.val, nil
    }

    var val T
    if jit.data == nil {
        return val, nil
    }

    jit.val = &val
    err := json.Unmarshal(jit.data, jit.val)
    if err != nil {
        return val, err
    }

    return *jit.val, nil
}

正确答案

不幸的是，您不能**将其简单地实现为类型约束。因此，您必须依赖运行时检查。

您可以通过 reflect 实现类型检查，但这在您的应用程序中可能是多余的，因为标准库 json 在尝试封送或取消封送不兼容的数据类型时已产生适当的错误。

如果您确实想使用 reflect 来检查参数化类型的确切类型，以下是简单但不正确的方法：

func f[t any]() {
    var zero t
    typ := reflect.typeof(zero)
    fmt.println(typ)
}

这适用于大多数类型，但接口类型除外，对于接口类型，它将始终将 报告为 。这是因为 go 中接口值分配的工作方式。这是正确的方法：

func f[t any]() {
    var zero t
    typ := reflect.typeof(&zero).elem()
    fmt.println(typ)
}

这是必要的，因为接口值在运行时仅携带它们引用的具体类型的类型信息。通过获取指向接口变量的指针，获取指针的类型，然后获取指针类型的元素，就可以提取出接口变量的实际类型。

** 我似乎找不到为什么不能这样做的简洁解释，但这里有一些困难：

• comparable 不能在类型联合中使用
• 类型约束无法组合
• 类型约束不能递归定义
• 类型约束不能被否定
• 没有与一般结构匹配的接口

从 go 1.19 开始，约束 comparable 已经只能通过严格可比较类型来实现，即 == 和 != 保证在以下情况下不会出现恐慌的类型运行时间。

所以这确实排除了接口。然而，它也排除了其他不严格可比但也不是接口的类型，例如[5]any 或 struct{ 数据任意 }。

我不知道这对你来说是否足够好。否则，无法根据减法定义约束类型集，即集合表示法 a \ b。根据规范：

如果您需要从计算中排除某些 kinds 种类型，您可能不得不退回到反射。 另请考虑，如果您的目标是解组 json，则使用 any 约束和 *t 可能是可以接受的（== 检查两个指针​​是否指向同一变量）。毕竟，您应该将可寻址值传递给 json.unmarshal：

// code simplified for illustrative purposes
func (jit *JitJSON[T]) Unmarshal() (T, error) {
    var val T
    err := json.Unmarshal(jit.data, &val) // needs a pointer anyway
    if err != nil {
        return val, err
    }
    jit.val = &val
    return *jit.val, nil
}

好了，本文到此结束，带大家了解了《不属于接口类型的通用类型》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多Golang知识！