go语言面向对象编程之类型系统

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;
}
posted @ 2019-01-12 15:12  木易森林  阅读(246)  评论(0编辑  收藏