命名和未命名类型

Question

问题：

我最近开始阅读 Golang Specification Manual 并在试图理解 relevant section 中的命名和未命名类型时陷入困境。我来自动态语言，这让我有点头疼。

手册说明：

类型确定特定于该类型值的一组值和操作。类型可以被命名或 未命名。命名类型由（可能是 qualified）type name 指定；指定了未命名的类型 使用类型文字，它从现有类型组成新类型。

然后继续：

布尔、数字和字符串类型的命名实例是 predeclared。复合类型——数组， 结构、指针、函数、接口、切片、映射和通道类型——可以使用类型文字来构造。

这里的问题是，在规范中，链接让我在页面之间跳来跳去，忘记了这么多概念向我抛出的太快是什么。

---

其他资源：

我已经四处寻找澄清这一点，除了规范手册，资源稀缺。我能找到的唯一相关材料是：

• Learning Go - Types - 博客文章解释 Go 中类型系统的细微差别。

• An issue here 关于和我问的差不多。

不幸的是，我在 Stack Overflow 上找不到任何关于此的 relevant questions。 （如果它们存在，我需要修改我的搜索方法！）。我之所以这么问，是因为理解一门新语言的类型系统是基本概念之一，以便有效地学习它。

---

那么，问题来了：

谁能提供一个简洁明了的例子来说明命名类型和未命名类型的概念之间的区别？*

_{*此外，解释 qualified 和 pre-declared 的概念有助于完整性，但显然没有必要。}

Answer 1

一种简单的思考方式是，命名类型是您使用type 语句定义的类型，而未命名类型是由类型文字定义的复合类型。

例如变量x的类型是未命名的：

var x struct{ I int }

并且变量y的类型命名为：

type Foo struct{ I int }
var y Foo

这些变量中的每一个都被认为具有不同的类型，即使每个变量的基础类型相同（一个包含一个名为 I 的整数成员的结构）。

未命名类型的一个特性是使用相同未命名类型声明的所有变量都被认为具有相同的类型，而具有相同底层表示的两个命名类型是不同的。例如：

var x2 struct{ I int }
type Bar struct{ I int }
var z Bar

这里x 和x2 具有相同的类型，而y 和z 没有。

这些区别在语言中的一些地方发挥作用：

1. 禁止将一个命名类型的值分配给不同命名类型的变量，即使底层类型相同。但是，允许在相关的命名类型和未命名类型之间进行分配。也就是说，以下是可以的：

   x = y    // named type assigned to unnamed type
   y = x    // unnamed type assigned to named type
   

   但以下是错误：

   y = z    // assignment between different named types
   

2. 您可以为已命名的类型定义方法。因此，可以将方法添加到 Foo，但您无法将方法附加到变量 x。

还请注意，命名类型可以在类型文字中用于定义新的未命名类型。例如，切片类型[]Foo 未命名，尽管使用了Foo。如果我们想将方法附加到这种切片类型（例如，与 sort 包一起使用），我们必须命名它：

type Baz []Foo

Answer 2

对于初学者来说，语言规范听起来就像是一个参考文档。这是一个很好的参考工具，但不能用于学习语言。你最好学习通过Go Tour，一个对语言各个方面的交互式介绍或通过Effective Go，它详细介绍了如何使用该语言。

未命名类型只是使用 类型文字 声明的没有名称的类型，换句话说，原始类型后跟在 {} 中的其他类型列表。或者再次引用规范，一个类型文字“从现有类型组成一个新类型”一个带有结构的example，但是虽然未命名的结构可能很少见，但通道和映射（同样，它们自己做的很少必须是 composed 来自其他类型）很少被命名。

package main

import "fmt"

type Named struct {
    x int
    y int
}

func main() {
    a := Named{1, 2}
    fmt.Println(a)

    b := struct{ x, y int }{1, 2}
    fmt.Println(b)
}