go语言类型系统
类型系统，顾名思义是指一个语言的类型体系结构，一个典型的类型系统通常包含如下基本内容
- 基础类型：如byte,int,bool,float等
- 复合类型：如数组，指针，结构体
- 可以指向任意类型的类型(Any类型)
- 值语义和引用语义
- 面向对象
- 接口
类型系统是描述这些内容在一个语言是如何关联的，Go语言中的大多数类型都是值语义，并且都可以包含对应的操作方法，在需要的时候，你可以给任何类型增加新的方法，而在实现某个接口的时候也不需要从该接口继承，只需要实现该接口的所有的方法即可。任何类型都可以被Any类型引用，Any类型就是空接口，即interface{},接下来我们对Go语言类型系统的特点做详细的讲解。
给类型添加方法
在Go语言中，你可以给任意类型(但是不包含指针类型)添加对应的方法，如下:
package main
import "fmt"
type Integer int
func (a Integer) Less(b Integer) bool{
return a < b
}
func main(){
var a Integer = 1
if a.Less(2){
fmt.Println(a,"Less 2")
}
}
在上面的例子中，我们定义了一个新的类型Integer,他和int没有本质的区别，只是他为内置的int类型增加了Less方法
在GO语言中，只有你需要修改对象的时候，才必须用指针，他不是go语言的约束，而是一个自然约束。举个例子
func (a *Integer) Add(b Integer){
*a += b
}
这个例子中为Integer类型增加了Add方法，由于Add方法需要修改对象的值，所以需要用指针引用，如果实现Add方法的时候传入的不是指针而是值，如下:
func (a Integer) Add(b Integer){
a += b
}
那么运行Add方法后，得到的仍然是a原来的值，就其原因，是因为Go语言是值传递的，要想修改变量的值，只能传递指针
值语义和引用语义
值语义和引用语义的差别在于赋值，比如下面的例子：
b = a
b.Modify()
如果b的修改不会影响a的值，那么此类型属于值语义，如果会影响到a的值，那么此类型是引用语义。
Go中大多数的类型都是基于值语义的，包含：
- 基本类型:如byte,int float等
- 复合类型: 如数组，结构体，指针等
Go语言中值语义表现的非常的彻底，我们之所以这么说，是因为数组
Go语言中的数组，和基本类型没有区别，是很u纳粹的值类型，例如：
var a = [3]int{1,2,3}
var b = a
b[1]++
fmt.Println(a,b)
运行结果如下:
[1 2 3] [1 3 3]
这表明b = a的赋值语句是，数组a的完全复制，要想表达引用需要使用指针
var a = [3]int{1,2,3}
var b = &a
b[1]++
fmt.Println(a,*b)
结果如下:
[1 3 3] [1 3 3]
结构体
go语言中的结构体和其他语言的class有同等的地位，但是go放弃了包括集成在内的大量面向对象的特性，之保留了组合这个最基本的特性。
Go的结构提只是很普通的复合类型，例如我们要定义一个矩形
type Rect struct{
x,y float
width,heigth float
}
我们还可以定义成员方法来计算矩形的面积
func (r Rect) Area() float{
return a.width * a.heigth;
}