Go 语言--类型的本质

在声明一个新类型之后，声明一个该类型的方法之前，需要先回答一个问题：这个类型的本质是什么？

如果给这个类型增加或者删除某个值，是要创建一个新值，还是要更改当前的值呢？

• 如果是创建一个新值，该类型的方法就使用值接收者。
• 如果是修改当前值，就使用指针接收者。

这个答案也会影响程序内部传递这个类型的值的方式：是按值传递还是按指针传递。

1、内置类型

内置类型是由语言提供的一组类型，它们分别是：

• 数值类型
• 字符类型
• 布尔类型

这些类型本质上是原始的类型，因此，当对这些值进行增加或者删除的时候，会创建一个新值。基于这个结论，当把这些类型的值传递给方法或者函数时，应该传递一个对应的副本。

2、引用类型

Go 语言里的引用类型有如下几个：

• 切片
• 映射
• 通道
• 接口
• 函数

3、结构体类型

结构体类型可以用来描述一组数据值，这组值的本质即可以是原始的，也可以是非原始的。

大多数情况下，结构体类型的本质并不是原始的，而是非原始的。这种情况下，对这个类型的值做增加或者删除的操作应该更改值本省，当需要修改值本省时，在程序中其他地方，需要使用指针来共享这个值。

是使用值接收者还是使用指针接收者，不应该由该方法是否修改了接收到的值来决定，这个决策应该基于该类型的本质来决定。

这条规则的一个例外是，需要让类型值符合某个接口的时候，即便类型的本质是非原始的，也可以选择使用值接收者声明方法。

小结：

• 使用关键字 struct 或者通过指定已经存在的类型，可以声明用户定义的类型。
• 方法提供了一种给用户定义的类型增加行为的方式。
• 设计类型时需要确认类型的本质是原始的，还是非原始的。
• 接口是声明了一组行为并支持多态的类型。
• 嵌入式类型提供了扩展类型的能力，而无需使用继承。
• 标识符要么是从包里公开的，要么是在包里未公开的。