如何在接口约束中定义结构字段(类型 T 没有字段或方法)?

我想让下面的代码编译。我从阅读 Type Parameters Proposal (Go Generics) 的理解是这应该可行,但我必须遗漏一些东西。


package main


import "fmt"


func main() {

    s := Struct{A: "Hello World!"}

    PrintA(s)

}


func PrintA[T Type](v T) {

    fmt.Printf("%s\n", v.A)

}


type Type interface {

    struct{ A string }

}


type Struct struct {

    A string

}


func (s Struct) String() string {

    return s.A

}

我得到的错误是:


./prog.go:7:8: Struct 没有实现 Type (可能缺少 ~ for struct{A string} in constraint Type) ./prog.go:11:23: vA undefined (interface Type没有方法A)


我想T用特定类型的特定字段表示所有结构。添加~没有帮助。


这是提案中的一个示例,该示例已实施并且是最新的 Go beta 版本的一部分。


type structField interface {

    struct { a int; x int } |

        struct { b int; x float64 } |

        struct { c int; x uint64 }

}

https://go.dev/play/p/KZh2swZuD2m?v=gotip


慕田峪4524236
浏览 108回答 1
1回答

梦里花落0921

Go 1.18 已完全禁用字段访问。Go 1.18 发行说明提到了这一点:当前的泛型实现具有以下已知限制:[...]Go 编译器不支持访问类型参数 type的结构字段x.f,即使类型参数的类型集中的所有类型都有一个 field。我们可能会在 Go 1.19 中删除此限制。xf任何 struct 类型的解决方法都归结为旧的无聊的基于接口的多态性,到目前为止我们都在使用,没有类型参数:type Type interface {    GetA() string}func (s Struct) GetA() string {    return s.A}在这一点上,您甚至不必将Type接口用作约束。它可以只是一个普通的接口类型:func PrintA(v Type) {    fmt.Printf("%s\n", v.GetA())}旧答案在 2022 年初的某个时候,此功能仍在开发中,如果您添加以下内容,您的示例确实有效~:type Type interface {    ~struct{ A string }}但它只适用于完全定义为的结构struct{ A string },没有别的。定义一个约束“表示[s]所有具有特定类型的特定字段的结构”一直以来都不受支持。有关详细信息,请参阅此答案。相反,您从提案中引用的示例是关于访问类型集中的公共字段。通过定义结构的联合:type structField interface {    ~struct { a int; x int } | ~struct { a int; x float64 } }您应该能够访问a此类类型参数的字段,但是正如答案开头所述,这又没有实现。如果联合中的所有术语都具有相同的基础类型,它曾经可以工作(示例改编自问题 #48522):package mainimport "fmt"type Point struct {    X, Y int}type Rect struct {    X, Y int}func GetX[P Point | Rect] (p P) int {    return p.X}func main() {    p := Point{1, 2}    r := Rect{2, 3}    fmt.Println("X: %d %d", GetX(p), GetX(r)) // prints X: 1 2}自 2022 年 3 月起,此代码不再编译。
打开App,查看更多内容
随时随地看视频慕课网APP

相关分类

Go