如何测试泛型类型是否可以适应更严格的接口 - golang

有志者，事竟成！如果你在学习Golang，那么本文《如何测试泛型类型是否可以适应更严格的接口 - golang》，就很适合你！文章讲解的知识点主要包括，若是你对本文感兴趣，或者是想搞懂其中某个知识点，就请你继续往下看吧~

我正在构建一个通用数据结构，我打算将其用于各种上下文和各种数据位。

我目前正在尝试创建一个匹配器，它将查看我的结构并返回包含给定数据的所有节点。我的问题是，由于我需要我的结构尽可能通用，所以我需要我的数据是与 any 匹配的通用类型，这不允许我进行平等。 p>

我已经构建了一个“后代类型”（可能有一个正确的术语，我是自学的），它具有更严格的 comparable 约束。

我想看看是否可以从更一般的错误转换为更具体的错误（即使我必须捕获错误并将其返回给用户）。我知道我特别不需要这样做，但如果我这样做的话，它会让代码变得容易理解。

这里有一些代码来解释我的问题：

type DataStructureGeneralCase[T any] struct {
    /*
       my data structure, which is too long to make for a good example, so I'm using a slice instead
    */
    data []T
}

type DataStructureSpecific[T comparable] DataStructureGeneralCase[T]

// this works because any contains comparable

func (ds *DataStructureSpecific[T]) GetMatching(content T) int {
    /*The real function returns my custom Node type, but let's be brief*/
    for idx, item := range ds.data {
        if item == content {
            return idx
        }
    }
    return -1
}

func (dg *DataStructureGeneralCase[T]) TryMatching(content T) (int, error) {
    if ds, ok := (*dg).(DataStructureGeneral); ok {
        // Does not work because dg is not interface, which I understand
    } else {
        return -1, fmt.Errorf("Could not convert because of non-comparable content")
    }
}

我的问题可以概括为“我如何进行转换？”。

正确答案

func checkimplements[t any, i any]() bool {
    var o t
    _, ok := interface{}(&o).(i)
    return ok
}

所以是的，仅限运行时。

首先转换为空接口：

castedDg := interface{}(dg)
if ds, ok := castedDg.(DataStructureGeneralCase[T]); ok {

他们在 https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md#why-not-permit-type-assertions-on-values-whose-type-is-a-type-parameter 中解释了为什么选择这种方法

本篇关于《如何测试泛型类型是否可以适应更严格的接口 - golang》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！