Go语言编程（十一）之类型系统

类型系统
type system

   类型系统是指一个语言的类型体系结构。一个典型的类型系统通常包含如下基本内容：

   基础类型，如
byte、int、bool、float等

   复合类型，如数组、结构体、指针等

   可以指向任意对象的类型（
Any类型）

   值语义和引用语义

   面向对象，即所有具备面向对象特征（比如成员方法）的类型

   接口

   类型系统描述的是这些内容在一个语言中如何被关联。

为类型添加方法

   在Go语言中，你可以给任意类型（包括内置类型，但不包括指针类型）添加相应的方法，例如

1
2
1type Integer int

2

1
2
1func (a Integer) Less(b Integer) bool {

2

1
2
1    return a < b

2

1
2
1}

2

   在这个例子中，我们定义了一个新类型Integer，它和int没有本质不同，只是它为内置的int类型增加了一个新方法Less()。

   这样实现了Integer后，就可以让整型像一个普通的类一样使用：

1
2
1func main() {

2

1
2
1    var a Integer = 1

2

1
2
1    if a.Less(2) {

2

1
2
1        fmt.Println(a, "Less 2")

2

1
2
1    }

2

1
2
1}

2

值语义和引用语义

值语义和引用语义的差别在于赋值，比如下面的例子：

b = a

b.Modify()

如果b的修改不会影响a的值，那么此类型属于值类型。如果会影响a的值，那么此类型是引用类型。

结构体

Go语言的结构体（struct）和其他语言的类（class）有同等的地位，但Go语言放弃了包括继承在内的大量面向对象特性，只保留了组合这个最基础的特性。

上面提到过，所有的Go语言类型（指针类型除外）都可以有自己的方法。在这个背景下，Go语言的结构体只是很普通的复合类型，例如我们要定义一个矩形类型：

1
2
1type Rect struct {

2

1
2
1    x, y          float64

2

1
2
1    width, height float64

2

1
2
1}

2

然后我们定义成员方法Area()来计算矩形的面积：

1
2
1func (r *Rect) Area() float64 {

2

1
2
1    return r.width * r.height

2

1
2
1}

2