Go语言是一种静态类型的编程语言。这意味着，编译器需要在编译时知晓程序里每个值的类型。

如果提前知道类型信息，编译器就可以确保程序合理的使用值。

这有助于减少潜在的内存异常和bug，并且使编译器有机会对代码进行一些性能优化，提高执行效率。

值的类型给编译器提供了两部分信息：第一部分，需要分配多少内存给这个值（即值得规模）；第二部分，这段内存表示什么。

对于许多内置类型的情况来说，规模和表示使类型名的一部分。

int64类型的值需要8字节（64位），也可能是4字节（32位）。

还有一些与体系结构相关的类型，如Go语言里的所有引用类型。

Go语言允许用户定义类型。当用户声明一个新类型时，这个声明就给编译器提供了一个框架，告知必要的内存大小和表示信息。

声明后的类型与内置类型的运作方式类型。

Go语言里声明用户定义的类型有两种方法。最常用的方法是使用关键字struct，它可以让用户创建一个结构类型。

结构类型通过组合一系列固定且唯一的字段来声明。

结构里每个字段都会用一个已知类型声明。这个已知类型可以是内置类型，也可以是其它用户定义的类型。

示例1：声明一个结构类型

//user在程序里定义一个用户类型
type user struct {
	name       string
	email      string
	ext        int
	privileged bool
}

这个声明以关键字type开始，之后是新类型的名字，最后是关键字struct。

这个结构类型有4个字段，每个字段都基于内置类型。一旦声明了类型，就可以使用这个类型创建值。

示例2：使用结构类型声明变量，并初始化其零值。

//声明user类型的变量
var bill user

关键字var创建了类型为user且名为bill的变量。当声明变量时，这个变量对应的值总是会被初始化。

这个值要么用指定的值初始化，要么用零值（即变量类型的默认值）做初始化。

对数值类型来说，零值是0；对字符串来说，零值是字符串；对布尔类型，零值是false。

任何时候，创建一个变量并初始化为其零值，习惯是使用关键字var。这种用法是为了更明确地表示一个变量被设置为零值。

如果变量被初始化为某个非零值，就配合结构字面量和短变量声明操作符来创建变量。

结构体字面量可以对结构类型采用两种方式。

第一种方式：在不同行声明每个字段的名字以及对应的值，字段名与值用冒号分隔，每一行以逗号结尾，这种形式对字段的声明顺序没有要求。

第二种方式：没有字段名，只声明对应的值，值得顺序很重要，可以写在一行，也可以每个值分别占一行。

示例3：使用结构字面量来表明一个结构类型的变量

//声明user类型的变量，并初始化所有字段
lisa := user{
	name:       "lisa",
	email:      "[email protected]",
	ext:        123,
	privileged: true，
}

示例4：不使用字段名，创建结构类型得值。

//声明user类型得变量
lisa := user{"lisa", "[email protected]", 123, "true"}

当声明结构类型时，字段的类型并不限制在内置类型，也可以使用自定义的类型。

示例5：使用其它结构类型声明字段

//admin需要一个user类型作为管理者，并附加权限
type admin struct {
	person user
	level  string
}

为了初始化person字段，我们需要创建一个user类型的值。

示例6：使用结构字面量来创建字段的值

//声明admin类型的变量
fred := admin{
	person: user{
		name:       "lisa",
		email:      "[email protected]",
		ext:        123,
		privileged: true,
	},
	level: "super"
	
}

另一种声明用户定义的类型的方法是，基于一个已有的类型，将其作为新类型的类型说明。

当需要一个可以用于已有类型表示的新类型的时候，这种方法会非常好用。

示例7：基于int64声明一个新类型

type Duration int64

上面的这段自定义是标准库time包里的一个类型声明。

Duration是一种描述时间间隔的类型，单位是纳秒(ns)。这个类型使用内置的int64类型作为其表示。

在Duration类型的声明中，我们把int64类型叫做Duration的基础类型。

不过，虽然int64是基础类型，Go并不认为Duration和int64是同一种类型。

两种不同类型的值即使互相兼容，也不能互相赋值。编译器不会对不同类型的值做隐式转换。