在没有字段或方法的情况下，如何通过泛型访问结构体字段？

各位小伙伴们，大家好呀！看看今天我又给各位带来了什么文章？本文标题是《在没有字段或方法的情况下，如何通过泛型访问结构体字段？》，很明显是关于Golang的文章哈哈哈，其中内容主要会涉及到等等，如果能帮到你，觉得很不错的话，欢迎各位多多点评和分享！

我想让下面的代码编译。通过阅读类型参数提案（go 泛型），我的理解是这应该可行，但我一定错过了一些东西。

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（约束 type 中的 struct{a string} 可能缺少 ~） ./prog.go:11:23: v.a 未定义（类型 t 没有字段或方法 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

正确答案

go 1.18 已禁用字段访问（go 1.19 中仍禁用）。 Go 1.18 release notes提到了这一点：

当前的泛型实现具有以下已知限制：

[...]

• go 编译器不支持访问结构体字段 x.f，其中 x 属于类型参数类型即使类型参数类型集中的所有类型都有字段 f。我们可能会在 go 1.19 中删除此限制。

任何结构类型的解决方法都归结为旧的无聊的基于接口的多态性：

type type interface {
    geta() string
}

func (s struct) geta() string {
    return s.a
}

此时您甚至不必使用 type 接口作为约束。它可以只是一个普通的接口类型：

func printa(v type) {
    fmt.printf("%s\n", v.geta())
}

如果您同意使用此接口仅作为约束，您可以添加类型元素来限制哪些结构可以实现它：

type type interface {
    structfoo | structbar
    geta() string
}

如果您使用指针接收器声明了方法，请使用指针类型。

旧答案（不再相关，仅提供信息）

在 2022 年初的某个时候，当此功能仍在开发中时，如果您添加了 ~，您的示例确实可以工作：

type type interface {
    ~struct{ a string }
}

但是它只适用于完全定义为 struct{ a string } 的结构，除此之外别无其他。定义“表示具有特定类型的特定字段的所有结构”的约束始终不受支持。详情请见this answer。

相反，您从提案中引用的示例是关于访问类型集中的公共字段的。通过定义结构体的联合：

type structfield interface {
    ~struct { a int; x int } | ~struct { a int; x float64 } 
}

您应该能够访问此类类型参数的字段 a ，但正如答案开头所述，这又没有实现。过去，如果联合中的所有术语具有相同的基础类型，它就会起作用（示例改编自 issue #48522）。

自 2022 年 3 月起，此代码不再编译：

package main

import "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
}

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。