golang-101-hacks(22)——Types

注：本文是对golang-101-hacks中文翻译

Go语言中的数据类型可分为两类:已命名和未命名。除了预先已声明的类型(如“int”、“rune”等)，还可以自己定义命名类型。例如:

type mySlice []int

未命名类型由文字类型定义。即， []int是一个未命名的类型。
根据Go spec，每种类型都有一个底层类型:
Unnamed types are defined by type literal. I.e., []int is an unnamed type.
According to Go spec, there is an underlying type of every type:
每个类型T都有一个底层类型:如果T是预先声明的布尔型、数值型、字符串型或文字型中的一种，对应的底层类型就是T本身。否则，T的基础类型就是T在其类型声明中引用的类型的基础类型。

因此，在上面的示例中，命名类型“mySlice”和未命名类型“[]int”都具有相同的底层类型:“[]int”。
go有严格的变量赋值规则。例如:

package main

import "fmt"

type mySlice1 []int
type mySlice2 []int

func main() {
    var s1 mySlice1
    var s2 mySlice2 = s1

    fmt.Println(s1, s2)
}

编译会报错:
The compilation will complain the following error:

cannot use s1 (type mySlice1) as type mySlice2 in assignment

虽然' s1 '和' s2 '的底层类型相同:' []int '，但是它们属于' 两 '种不同的命名类型(' mySlice1 '和' mySlice2 ')，所以它们不能彼此赋值。但如果您将' s2 '的类型修改为' []int '，编译就没有问题:
Although the underlying type of s1 and s2 are same: []int, but they belong to 2 different named types (mySlice1 and mySlice2), so they can't assign values each other. But if you modify s2's type to []int, the compilation will be OK:

package main

import "fmt"

type mySlice1 []int

func main() {
    var s1 mySlice1
    var s2 []int = s1

    fmt.Println(s1, s2)
}

它背后的神奇之处在于一条规则可转让性
x的类型V和T具有相同的底层类型，并且至少有一个V或T不是命名类型。
参考:
Go spec;
Learning Go - Types;
Golang pop quiz.