https://studygolang.com/articles/18822?tdsourcetag=s_pcqq_aiomsg
https://blog.csdn.net/hittata/article/details/50915496
https://blog.csdn.net/hittata/article/details/51250179
pre-declared type (预声明类型）
golang 默认的有几个预声明类型：boole,num(所有的数字类型),string 这些预声明类型被用来构造其他的类型。
composite types（复合类型）
由其他预声明类型组合而成（没有使用type 关键字定义），如: array,struct,pointer,slice,map,channel,function,interface
注意：其中的struct,interface 特指匿名的类型，没有使用type包装
命名类型和非命名类型
named type : 一个类型通过一个标识符标示就是命类型名字(type name)
unamed type: 一个类型是由先前已声明类型组合构成被称为类型字面量(type literal)
二者区别：
named type 可以有自己的methods, mehtods 是一种特殊形式的函数，该函数的第一个参数是该type的变量或指向该类型变量的指针（receiver）.
unnamed type:不能定义自己的method
| type | 包括 | 特点 |
| named type | pre-declared type declared new type |
可以定义自己的method |
| unnamed type | type literal | 不可以定义自己的method |
一个特别重要的事情需要记住：pre-declared types 也是命名类型。所以：int 是named type , 但是 *int ,[]int 不是。
特别注意：我们不能直接为int 定义method
func (a int) methodname() {
}
不是因为int 是unnamed type ，而是为一个type定义方法必须在该类型的所在的package , int 的scope （作用域是）universe (全局的)，int 是语言层面预声明的，其属于任何package,也就没有办法为其增加method.
package main import (
"fmt"
) func (a int) Print() {
fmt.Println(a)
} func main() {
m :=
a.Print()
}
[root@localhost /project/go/src/test]#go build name.go
# command-line-arguments
./name.go:: cannot define new methods on non-local type int
./name.go:: undefined: a
Underlying Type 底层类型
所有type(类型)都有个underlying type(底层类型)。Pre-declared types 和type literals 的底层类型是它们自身；通过type newtype oldtype 的底层类型，是逐层递归向下查找的，直到查到的oldtype 是Pre-declared types 和type literals。
| type | underlying type | 示例 |
| pre-declared type | itself | string 的underlying type 还是string |
| type literal | itself | map[string]string的underlying type 还是map[string]string |
|
通过type定义的新类型： |
逐层向下递归查找oldtype，直到oldtype是pre-declared type 或type literal；找到的pre-declared type 或type literal就是underlying type |
type Map map[string]string |
另一条重要规则是：
type newtype oldtype： newtype不会从oldtype或其underlying type继承任何methods .
有两个特例就是：接口和组合类型(composite type)
| new type | Methods SET |
| type interface2 interface1 | interface2 会继承interface1的methods set |
|
type NewType struct { |
NewType 会继承InnerType的methods set |
| 其他type newtype oldtype | newtype 不会从oldtype 或其underlying type中继承任何方法 |
这里表达的意思就是：一旦你定义一个新类型，你往往是想为其定义一个新的methods set
static type 静态类型和dynamic type 动态类型
static type就是变量定义声明时的类型，
只有interface 有动态类型
接口类型变量有dynamic type,接口的动态类型是其在运行时绑定值的类型
接口的动态类型可以在运行时发生变化，但是动态类型其必须满足可以赋值给接口类型的条件，否则会发生panic；
非interface 的类型的dynamic type 就是其static type