pre-declared type (预声明类型）
golang 默认的有几个预声明类型：boole,num,string type. 这些预声明类型被用来构造其他的类型。
type literal（字面量类型）
由其他预声明类型组合而成（没有使用type 关键字定义），array,struct,pointer,slice,map,channel,function,interface[2]int ,[ ] int , chan int , map[string] string ,* int
注意：type literal 中的struct,interface 特指匿名的类型，没有使用type包装，
命名类型和非命名类型
named type : 一个类型通过一个标识符标示就是命类型名字(type name)
unamed type: 一个类型是由先前已声明类型组合构成被称为类型字面量(type literal)
named type 可以有自己的methods, mehtods 是一种特殊形式的函数，该函数的第一个参数是该type的变量或指向该类型变量的指针（receiver）.
unamed type:不能定义自己的method
|
type |
包括 |
特点 |
|
named type |
pre-declared type declared new type |
可以定义自己的method |
|
unamed 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 := 12
a.Print()
}
[root@tata.domain /project/go/src/test]#go build name.go
# command-line-arguments
./name.go:7: cannot define new methods on non-local type int
./name.go:13: 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定义的新类型： type newtype oldtype |
逐层向下递归查找oldtype，直到oldtype是pre-declared type 或type literal；找到的pre-declared type 或type literal就是underlying type |
type Map map[string]string type SpecialMap Map 则：Map 和 SpecialMap 的underlying type 都是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 { InnerType } |
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
static type就是变量定义声明是的类型，接口类型变量还有个dynamic type,接口的动态类ixngshi在运行时其存储的值的类型，接口的动态类型可以变化，但是其必须满足可以赋值给接口类型的规则；对于非接口类型，动态类型就是静态类型。
有疑问加站长微信联系（非本文作者）
