go语言学习(基本数据类型)

值类型:

int/uint :根据系统确定是32还是64位。此外还有int8/uint8、int16/uint16、int32/uint32、int64/uint64

byte:字节型,相当于uint8。

float:go语言中没有double型,因为已经有了float32/float64,分别精确到小数点后面7、15位。

uintptr:保存32bit或64bit指针,应该是保存指针的地址

数组array:

数组是有类型的,比如var a [10]int= [10]int{1},a的类型为[10]int。

数组之间可以比较相等==或者不相等(!=),前提是类型相同。如果数组间类型相同且内容依次都一致,那么两个数组相等;如果两个数组类型相同,内容不一致,那么数组不相等。

数组间赋值是值拷贝,会拷贝整个数组的所有元素给另一个数组,而不是引用拷贝,这点和C很不一样!!!

string

有地方说string是不可变的。这里要从string的内部结构说起:

1 type StringHeader struct {     
2     Data uintptr     
3     Len  int
4 }

 string内部是一个指向某块内存的指针,加上内存块的长度。这里说的string不可变指的是uintptr指向的内存块的内容不可变,但是其指向可以变,用C语言描述一下就是:

const T *uintptr;

 

 

struct

struct是值类型。struct的声明和初始化如下:

 1     type Person struct {
 2         Name string
 3         Age  int
 4     }//struct声明
 5 
 6     a := Person{
 7         Age:  1,
 8         Name: "hao",
 9     }//直接初始化赋值,每个赋值语句后面要有逗号
10 
11     b := Person{}    //空结构体
View Code

 

go语言中没有继承的概念,只有组合的概念,下面是个小例子:

 1 type Person struct {
 2     Name string
 3     Age  int
 4 }
 5 
 6 type teacher struct {
 7     Person
 8     field string
 9 }
10 
11 type student struct {
12     Person
13     score int
14 }
15 
16 func main() {
17     a := student{
18         score:  100,
19         Person: Person{"guhao", 18},
20     }
21     fmt.Println(a)
22 }

struct中的method

go没有class,只有struct。但是struct中提供了method方法,但不支持重载。写法与函数类似,这样一个struct就和method绑定了起来。method可以访问struct的所有字段,事实上go语言struct字段的可见性是针对真个package而言的。

 1 type A struct {
 2     Name string
 3 }
 4 
 5 type B struct {
 6     Name string
 7 }
 8 
 9 func main() {
10     a := A{
11         Name: "gu",
12     }
13     a.Print("hao")
14 }
15 
16 func (a A) Print(arg string) { //(a A)表示接收者,arg代表方法的参数
17     fmt.Println(a.Name, arg)
18 }

 基础类型起别名

 go语言中可以给基础类型起别名,类似于C语言一样。下面的例子是给int起了个别名TZ,然后给这个别名绑定了print方法:

 1 type TZ int
 2 
 3 func (a *TZ) print() {
 4     fmt.Println("TZ:", *a)
 5 }
 6 func main() {
 7     var a TZ = 100
 8     a.print()
 9 
10     var b int
11     b = a    //错误
12     b.print()  //错误
13 }

虽然TZ是int的别名,但两者不能直接赋值,需要显式的类型强制转换。go语言将这两者视为不同的类型。

1 var b int = 99
2 a = TZ(b)
3 a.print()

 

 

 

引用类型:

引用类型有三种:slice\map和channel

slice

slice其实是一个结构体,其中包含了指向底层数组的指针、长度、容量。所以改变slice的值也会改变对应的指向的底层数组。

slice不支持==,或者!=

 

map

map内部实现是hashtable, 定义如下m:=make(map[int]string),每一级map需要单独初始化,否则直接用对二级map赋值会报错,而且是运行时候的错误,编译时无法发现。

1 func main() {
2     m := make(map[int]map[int]string)
3     a, ok := m[2][1]
4     if !ok {
5         m[2] = make(map[int]string)
6     }
7     a = "A"
8     fmt.Println(a, ok)
9 }

此外,map是引用类型,需要用make定义。而且map自动扩容,我需要学习。map的key必须支持==和!=操作(废话,不然怎么做通过key去查找)。

channel

 

接口类型

interface

函数类型

func:函数也是一种类型,因为go语言的函数可以赋值给变量。不支持嵌套,重载和默认参数。支持closure。

 1 func closure(x int) func(int) int {
 2     fmt.Printf("%p\n", &x)
 3     return func(y int) int {
 4         fmt.Printf("%p\n", &x)
 5         return x + y
 6     }
 7 }
 8 
 9 func main() {
10     x := 1
11     fc := closure(x)
12     fc(100)
13     fc(200)
14 }

我打印了三次调用的x的地址,打印的结果显示三次调用用到的x的值都是一样的,所以闭包对的x不是值拷贝,而是引用(应该是为了节约空间)。

defer语句

go语言特有的,执行顺序和定义顺序相反,先定义的语句后执行。

此外还支持panic和recover

 panic和recover

 1 func A() {
 2     fmt.Println("A")
 3 }
 4 
 5 func B() {
 6     defer func() {
 7         if err := recover(); err != nil {
 8             fmt.Println("recover in B")
 9         }
10     }()
11     panic("Panic in B")
12 }
13 
14 func C() {
15     fmt.Println("C")
16 }
17 
18 func main() {
19     A()
20     B()
21     C()
22 }

panic会导致程序中断,执行完了panic之后就不执行其他语句了,除非我们在panic执行前先注册了defer语句。因此recover登场了。recover必须和defer一起使用。可以帮助程序恢复执行。以上代码执行结构如下:

 

类型转换只能显式转换,不能隐式转换

1 var a int = 3
2 var f float32 = float32(a)

 

 枚举类型

枚举类型必须定义在const块内.

1、const块内默认下一条使用上一条语句

2、枚举值与iota出现的次数无关,与出现的位置有关:iota出现的位置代表了其值,默认从0开始。

 1 const (
 2     a = 'A'
 3     b
 4     c
 5     d = iota
 6     e = 'B'
 7     f = iota
 8     g
 9 )
10 
11 func main() {
12     fmt.Println(a) //输出65
13     fmt.Println(b) //输出65
14     fmt.Println(c) //输出65
15     fmt.Println(d) //输出3
16     fmt.Println(e) //输出66
17     fmt.Println(f) //输出5
18     fmt.Println(g) //输出6
19 }

 运算符

有算术运算符和逻辑运算符、位运算符,写法和C语言一致。

多了一个专门为channel准备的运算符<-

A

recover in B

C

 

new和make

new返回的是指针,不会初始化变量,只是把新申请的空间内容值为零。用C语言写类似下面:

1 T *obj=(T*)malloc(sizeof(T));
2 memset(obj, 0, sizeof(T));

但并不是很准确,因为go语言中不同变量类型的零值不一样,比如bool的零值为false,int为零值为0,string的零值为空串,指针的零值是nil。所以下面这段代码p==nil

var p *[]int = new([]int) 

 

内建函数make(T, args)与new(T)的用途不一样。它只用来创建slice,map和channel,并且返回一个初始化的(而不是置零),类型为T的值(而不是*T)。之所以有所不同,是因为这三个类型的背后引用了使用前必须初始化的数据结构。例如,slice是一个三元描述符,包含一个指向数据(在数组中)的指针,长度,以及容量,在这些项被初始化之前,slice都是nil的。对于slice,map和channel,make初始化这些内部数据结构,并准备好可用的值。

 

内存管理

特别值得注意的是,局部变量不是所有的都分配在stack中(new出来的对象当然在heap上),如果一个函数的局部变量返回后依然被使用,那么这个变量分配在heap上,而不是stack上。

 

posted @ 2018-05-13 22:47  guhowo  阅读(1066)  评论(0编辑  收藏  举报