泛型：嵌入在接口中的约束和结构

php小编小新为您带来关于泛型的介绍。泛型是一种嵌入在接口中的约束和结构，它可以让我们在编写代码时更加灵活和高效。通过使用泛型，我们可以在编译时发现并解决类型错误，提高代码的可读性和可维护性。泛型还可以帮助我们设计更加通用的数据结构和算法，提升代码的重用性。在这篇文章中，我们将深入探讨泛型的概念、用法和实际应用，帮助您更好地理解和运用泛型编程。

问题内容

以下代码无法编译，并报告 ./main.go:35:7: test does not meet constraint (test missing in main.structwithname)

package main

import "fmt"

type Test struct {
    Name string
}

func (t Test) String() string {
    return fmt.Sprintf("Name: %v", t.Name)
}

type StructWithName struct {
    Name string
}

type Constraint interface {
    StructWithName
    // ~struct {
    //  Name string
    // }
    String() string
}

func Print[T Constraint](x T) {
    //s := T{}
    fmt.Printf("Hello %v", x)
}

func main() {
    t := Test{
        Name: "Test",
    }

    Print(t)
}

但是，如果我注释掉 structwithname 并取消注释 ~struct 块，那么它可以正常编译。我无法理解两者之间的语义差异。

我试图做的是拥有一个可以以通用方式处理结构的通用方法；即 x := s{} 然后将其传递给外部库。在本例中，它适用于 terraform 提供程序，资源中的代码非常相似，我对现有提供程序中看到的重复量感到有点困扰；就我而言，资源非常相似，有些资源在默认结构之上只有一两个字段）。我希望能够编写一组通用方法来完成所有相似的事情，并且只有其他地方的特殊性（废话！）。

我还处于 go 之旅的早期阶段，我无法理解编译器错误。

解决方法

如果我理解正确的话，你真正想要的东西是不可能的。 go 泛型不支持访问结构体字段子集。

• 查看相关内容：设置用作映射值的不同结构的字段的通用函数

就所涉及的错误而言......

类型的名称指定类型的标识，并且具有不同名称（彼此不是别名）的两个类型始终是不同的，因此 test 和 structwithname 是两个不同的类型。它们唯一的共同点是它们的底层类型。

type constraint 接口 { structwithname } 接口是一个仅包含一种类型的类型集，即 structwithname，并且由于 test 不是该类型集的成员，这意味着不可能使用 test 类型来满足该约束。

type struct { name string } 是一个无名类型，任何无名类型的底层类型都是该类型本身，即 struct 的底层类型 { name string } is struct { name string }。

约束中类型前面的波形符，即 ~t，表示任何类型，其底层类型与 t 相同。或者，更准确地说，

~t 形式的项的类型集是基础类型为 t 的所有类型的集合。

所以当你这样做时

type Constraint interface { ~struct { Name string } }

那么约束的类型集将包含任何以 struct { name string } 作为其基础类型的类型。

以上就是泛型：嵌入在接口中的约束和结构的详细内容，更多请关注编程网其它相关文章！