5.1 用户定义的类型
不使用字段名创建结构类型的值,这咱形式下值的顺序很重要。
type user struct {
name string
age int
email string
}
lisa := user{"Lisa", 20, "lisa@email.com"}
两种不同类型的值即便相互兼容,也不能互相赋值。编译器不会对不同类型的值做隐式转换。
type Duration int64
func main() {
var dur Duration
dur = int64(100)
}
上述代码会产生编译错误,int64的值不能做为类型Duration的值来用。
5.2 方法
如果一个函数的接收者,这个函数就被称为方法。
Go语言里有两种类型的接收者: 值接收者和指针接收者。
值接收者使用值的副本来调用方法,指针接收者使用实际值来调用方法。
5.3 类型的本质
5.3.1 内置类型
内置类型是由语言提供的一组类型。分别是数值类型,字符类型和布尔类型。这些类型本质上是原始的类型。因此,当对这些值进行增加或者删除的时候,会创建一个新值。
5.3.2 引用类型
Go语言里的引用类型有如下几个:切片、映射、通道、接口和函数类型。当上声明述类型的变量时,创建的变量被称作标头值。每个引用类型创建的标头值是包含一个指向底层数据结构的指针。每个引用类型还包含一组独特的字段,用于管理底层数据结构。因为标头值是为复制而设计的,所以永远不需要共享一个引用类型的值。标头值里包含一个指针,因此通过复制来传递一个引用类型的值的副本,本质上就是在共享底层数据结构。
5.3.3 结构类型
是使用值接收者还是指针接收者,不应该由该方法是否修改了接收到的值来决定。这个决策应该基于类型的本质。(原始类型,使用值接收者。非原始类型使用指针接收者。)这条规则的一个例外是,需要让类型值符合某个掊的时候,即便类型的本质是非原始的,也可以选择使用值接收者声明方法。
5.4 接口
5.4.2 实现
接口是用来定义行为的类型。这些被定义的行为不由接口直接实现,而是通过方法由用户定义的类型实现。
用户定义的类型可以实现任何接口,所以对接口值方法的调用自然就是一种多态。在这个关系里,用户定义的类型通常叫作实体类型。
接口值是一个两个字长度的数据结构,第一个字包含一个指向内部表的指针。这个内部表叫作iTable,包含了所存储的值的类型值信息。iTable包含了已存储的值的类型信息以及与这个值相关联的一组方法。第二个字是一个指向所存储值的指针。将类型信息和指针组合在一起,就将这两个值组成了一种特殊的关系。
type notifier interface {
notify()
}
type user struct {
name string
email string
}
// notify implements a method with a pointer receiver.
func (u *user) notify() {
fmt.Printf("Sending user email to %s<%s>\n",
u.name,
u.email)
}
下图展示了在user类型赋值后接口变量的值的内部布局
下图展示了一个指针赋值给接口之后发生的变化。
5.4.3 方法集
方法集定义了接口的接受规则。
方法集定义了一组关联到给定类型的值或者指针的方法。定义方法时使用的接收者的类型决定了这个方法是关联到值,还是关联到指针,还是两个都关联。
从接收者类型的角度来看方法集
Methods Rceivers | Values |
---|---|
(t T) | T and *T |
(t *T) | *T |
上面的规则是说,如果使用指针接收者来实现一个接口,那么只有指向那个类型的指针才能够实现对应的接口。如果使用值接收者来实现一个接口,那么那个类型的值和指针都能够实现对应的接口。之所以有这种限制是因为编译器并不是总能自动获得一个值的地址。
// main is the entry point for the application.
func main() {
// Create a value of type User and send a notification.
u := user{"Bill", "bill@email.com"}
sendNotification(u)
// ./listing36.go:32: cannot use u (type user) as type
// notifier in argument to sendNotification:
// user does not implement notifier
// (notify method has pointer receiver)
}
func sendNotification(n notifier) {
n.notify()
}
将上述代码做如下改动,不再报错:
func main() {
u := user{"Bill", "bill@email.com"}
sendNotification(&u)
}
再看下面的例子
- 23,27行都会输出demoName
- 30行正确
- 31行报错。因为setName方法的接收者是指针类型,所以编译器认为p2并没有实现setName方法。
5.5 嵌入类型
可以直接通过外部类型的值来访问内部类型的标识符。
内部类型实现的接口会自动提升到外部类型。
如果外部类型实现与内部类型同样的方法,则内部类型的实现就不会被提升。不过内部类型的值会一直存在,可以通过直接访问内部类型的值,来调用没有被提升的内部类型实现的方法。
type user struct {
name string
email string
}
func (u *user) notify() {
fmt.Printf("Send user email to %s<%s>\n", u.name, u.email)
}
type admin struct {
user
level string
}
func (a *admin) notify() {
fmt.Printf("Send admin email to %s<%s>\n", a.name, a.email)
}
func main() {
ad := admin{
user: user{
name: "ball",
email: "ball@email.com",
},
level: "super",
}
//内部类型的方法没有被提升
ad.notify()
//调用内部类型的方法
ad.user.notify()
}
5.6 公开或未公开的标识符
好的实践是使用与代码所在文件夹一样的名字作为包名。
当一个标识符的名字以小写字母开头时,这个标识符就是未公开的,即包外的代码不可见。
将工厂函数命名为New是Go语言的一个习惯。
即便内部类型是未公开的,内部类型里声明的字段依旧可以是公开的。当内部类型提升到了外部类型,这些公开的字段就可以通过外部类型的字段值来访问。