Golang 结构的可分配性和类型识别

在 Go 语言中，虽然两个结构体具有相同的字段序列、名称、类型和标记，但由于它们是定义类型，因此不会被视为相同类型。尽管类型规范允许值分配给相同类型的变量，但定义类型除外。因此，像 `var b B = A{}` 这样的赋值操作会失败，因为 `A` 和 `B` 是不同的定义类型。然而，通过使用类型转换（例如 `var b B = B(a{})`），可以将 `A` 类型的变量分配给 `B` 类型的变量，因为基础类型是相同的。

我有以下 2 个结构：

    func main() {
        type A struct {
            v int
        }
        type B struct {
            v int
        }
        var b B = A{}
    }

赋值 var b b = a{} 失败并显示错误消息：

无法使用“a{}”（a 类型）作为 b 类型

但是在 golang 规范中：键入标识它说：

如果两个结构类型具有相同的字段序列，并且相应的字段具有相同的名称、相同的类型和相同的标记，则它们是相同的。不同包中的非导出字段名称总是不同的。

所以，我希望类型 a 和 b 相同。在规范：可分配性中它说：

如果满足以下条件之一，则值 x 可分配给 t 类型的变量（“x 可分配给 t”）： x 的类型与 t 相同。

鉴于所有这些信息，我倾向于认为分配应该成功，因为 a{} 的类型与 b 相同，但显然我遗漏了一些东西。

那么，我在这里缺少什么来理解错误消息的根本原因？

正确答案

请注意，您指向的定义开头为：

a defined type is always different from any other type.

a 和 b 是定义类型，它们的名称不同，因此它们是不同的。类型 struct { v int } 与任何类型 struct {v int} 相同，但在本例中，这些不是定义的类型。例如，您可以声明：

func f(x struct {v int})

然后你可以调用：

f(struct {v int}{v:1})

这两个结构是相等的。

您仍然可以使用以下方式分配 a 和 b：

var b b = b(a{})

这是有效的，因为 a 和 b 的基础类型在结构上是相同的。

因此给定类型 a 和 b 定义为：

type A struct {
        v int
    }

    type B struct {
        v int
    }

类型是否相同？

没有。来自Type Definitions：

a 和 b 基础类型是什么？

两者都是struct { v int }。来自

鉴于类型声明的形式为 typespec = aliasdecl | typedef . 和 typedef = 标识符 type . 您可以对类型进行模式匹配，并查看 a 和 b 都符合类型定义，其中：

• a 和 b 是标识符和
• struct { v int } 是其底层结构类型文字。

作业如何进行？

从 Assignability 中您可以看到没有任何条件适用：

• x 的类型与 t 相同。 - a 和 b 不相同，因为两者是不同的定义类型
• x 的类型 v 和 t 具有相同的基础类型，并且 v 或 t 中至少有一个不是定义的类型。 — 两者都是定义的类型

因此 a 类型的变量不可分配给 b 类型的变量，反之亦然。不可分配性还意味着您不能将 a 类型的变量传递给 b 类型的函数参数，because：

burak 的答案中使用 func foo(x struct{ v int }) 的示例可以编译，因为 foo 的参数类型是结构文字，而不是定义的类型，并且属于可赋值性条件。

转化如何进行？

您可以从 a 转换为 b，因为从 Conversion` 开始：

我们在上面证明了这两个结构确实具有相同的基础类型。因此编译如下：

var a a = a(b{})

演示：https://play.golang.org/p/UyEYrbUufA5

好了，本文到此结束，带大家了解了《Golang 结构的可分配性和类型识别》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多Golang知识！