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

Question

以下代码无法编译，并报告

./main.go:35:7: Test does not satisfy 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 之旅的早期阶段，我无法理解编译器错误。

Answer 1

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

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

---

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

类型的名称指定了类型的标识，并且具有不同名称（彼此不是别名）的两种类型始终是不同，因此

Test

和

StructWithName

是两种不同的类型。他们唯一的共同点是他们的底层类型。

type Constraint interface { 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 }

作为其基础类型的类型。