前言
本文全篇都是GoLang的学习笔记,主要从GoLang产生的背景、特性开始,将go语言学习划分成基础、进阶两个部分展开。主要针对有编程经验的开发人员食用更佳,目前暂定为学习大纲+知识点的形式罗列,后续考虑加入具体案例和思维导图表示层级关系。
说明【?】标题中间带有?说明带有疑惑,【{}】标题层级中间带有{}说明是重点章节,【[]】标题层级中间带有[]说明章节中难度较高,建议仔细阅读。
目录
Go语言简介
GoLang产生背景
2007年谷歌为了解决以下三大问题:
- 多核软件架构
- 超大规模的分布式计算集群
- web开发模式导致前所未有的开发规模和更新速度
GoLang特性
编译的强类型语言
- 简单
- 25个关键字
- 关于并发编程、内存管理go内置并发支持、垃圾回收机制
- 高效
- 指针直接访问内存
- 垃圾回收
- 生产力
- 简洁清晰的依赖管理
- 独特的接口类型设计
Go语言基础
Go程序基本概念
Go程序基本结构
应用程序入口
退出返回值
获取命令行参数
变量、常量
Go语言在声明变量的时候,会自动对变量对应的内存区域进行初始化操作。每个变量会被初始化成其类型的默认值,例如: 整型和浮点型变量的默认值为0。 字符串变量的默认值为空字符串。 布尔型变量默认为false
。 切片、函数、指针变量的默认为nil
。
/*
* 常量初始化
*/
func TestConstantInit(t *testing.T) {
var a int = 1
var b int = 2
//等价于
var (
c int = 3
d = 4
)
//等价于
e := 5
t.Log(a, b, c, d, e)
//假设交换两者之间的值
t.Log("交换之前a,b值", a, b)
a, b = b, a
t.Log("交换之后a,b值", a, b)
}
=== RUN TestConstantInit
constant_test.go:18: 1 2 3 4 5
constant_test.go:20: 交换之前a,b值 1 2
constant_test.go:22: 交换之后a,b值 2 1
--- PASS: TestConstantInit (0.00s)
PASS
数据类型
数据类型的出现是为了把数据分成所需内存大小不同的数据,编程的时候需要用大数据的时候才需要申请大内存,这样就可以充分利用内存。
基本数据类型
- 数字类型主要分为有符号数和无符号数,有符号数可以用来表示负数,除此之外它们还有位数的区别,不同的位数代表它们实际存储占用空间,以及取值的范围。
- 布尔类型取值范围为
true
,false
类型转化
//不支持隐式转换
var f int32 = 1
var g int
g = int(f)
t.Log(g)
类型的预定义值
指针类型与其他主要编程语言的差异
/*
*测试字符串
*/
func TestString(t *testing.T) {
var str string
t.Log("-" + str + "-")
t.Logf("字符串:%d,地址:%p,", len(str), &str)
//由此推断,判断字符串是否为空
if str == "" {
t.Log("正确判断")
}
//invalid operation: str == nil (mismatched types string and untyped nil)
//if str == nil {
// t.Log("错误判断")
//}
//不支持指针运算
//.\constant_test.go:44:12: cannot convert 1 (untyped int constant) to *int
//n := 1
//s := &n + 1
//t.Log("-" + s + "-")
}
=== RUN TestString
constant_test.go:31: --
constant_test.go:32: 字符串:0,地址:0xc0000565f0,
constant_test.go:35: 正确判断
--- PASS: TestString (0.00s)
PASS
运算符
算术运算符
比较运算符
语义上与其他语言无区别,在比较一些特殊数据类型有区别,数组可以与数组进行比较,切片不能与切片进行比较,切片只能为nil进行比较。
在go中使用==对数组进行比较有一个前提,两个数组的维度和元素的个数相同才能进行比较。
比如:
- 二维数组A与一维数组B不能进行比较。
- 数组A【1,2,3,4】与数组B【3,2,1】不能进行比较。
- 数组A【1,2,3】与数组B【3,2,1】可以进行比较。
比较原则在于数组每个位置上的元素都要相等。
比如:
- 数组A【1,2,3】与数组B【3,2,1】不相等、数组A【1,2,3】与数组D【1,3,4】不相等。
- 数组A【1,2,3】与数组C【1,2,3】相等。
逻辑运算符
位运算符
定义:
按位清零是一种操作,即将指定位置的位清零(置为0),其余位保持不变。
作用:
1. 用于屏蔽或清除某些位的值,保留或重置其他位的值;
2. 在操作中去除某些标志位,以达到特定的逻辑功能。
使用场景:
1. 在编程中,可以使用按位清零操作来清除某些标志位,例如清零状态寄存器中的某些标志位;
2. 在嵌入式系统中,可以使用按位清零操作来控制硬件寄存器的某些位,例如清零或禁用某个外设的特定功能;
3. 在数据处理中,可以使用按位清零操作来屏蔽或清除某些控制位,控制数据流的处理流程。
条件和循环
循环
for
是 Go 中唯一可用的循环。Go 没有其他语言中存在的 while 或 do while 循环。在 Go 中,初始化、条件和发布这三个组件都是可选的。
在for循环中注意:
break
会结束所有循环。continue
会跳过当前循环直接进入下一次循环。
/*
* WhileLoop
*/
func TestWhileLoop(t *testing.T) {
n := 0
/* while(n<5) */
for n < 5 {
t.Log(n)
n++
}
}
条件
func TestIfMultiSec(t *testing.T) {
if a := 1 == 2; a {
t.Log("1==1")
} else {
t.Log("1!=1")
}
}
=== RUN TestIfMultiSec
loop_test.go:21: 1!=1
--- PASS: TestIfMultiSec (0.00s)
PASS
switch条件
func TestSwitchMultiCase(t *testing.T) {
for i := 0; i < 5; i++ {
switch i {
/*说明单个case中可以出现多个结果项*/
case 0, 2:
t.Log("偶数")
/*不需要一个完整break明确退出*/
case 1, 3:
t.Log("基数")
default:
t.Log("不在0-3之间")
}
}
}
=== RUN TestSwitchMultiCase
loop_test.go:33: 偶数
loop_test.go:36: 基数
loop_test.go:33: 偶数
loop_test.go:36: 基数
loop_test.go:38: 不在0-3之间
--- PASS: TestSwitchMultiCase (0.00s)
PASS
func TestSwitchCaseCondition(t *testing.T) {
for i := 0; i < 5; i++ {
/*不设定条件表达式之后与多个if else逻辑等同*/
switch {
case i%2 == 0:
t.Log("偶数")
case i%2 == 1:
t.Log("基数")
default:
t.Log("未知")
}
}
}
=== RUN TestSwitchCaseCondition
loop_test.go:47: 偶数
loop_test.go:49: 基数
loop_test.go:47: 偶数
loop_test.go:49: 基数
loop_test.go:47: 偶数
--- PASS: TestSwitchCaseCondition (0.00s)
PASS
【{}】数组和切片
数组
数组是具有相同 唯一类型 的一组以编号且长度固定的数据项序列。数组连续存储空间,容量不可变。Go 中的数组是值类型而不是引用类型。这意味着当数组赋值给一个新的变量时,该变量会得到一个原始数组的一个副本。如果对新变量进行更改,则不会影响原始数组。
/*
*数组初始化
*/
func TestArrayInit(t *testing.T) {
//申明并且初始化为默认值零值
var arr [3]int
t.Logf("数组:%d,长度:%d,容量:%d", arr, len(arr), cap(arr))
//声明同时初始化
arr1 := [2]int{1, 2}
t.Logf("数组:%d,长度:%d,容量:%d", arr1, len(arr1), cap(arr1))
//声明同时初始化并且不指定元素个数,仅使用与一维数组
arr2 := [...]int{1, 2, 3, 4, 5}
t.Logf("数组:%d,长度:%d,容量:%d", arr2, len(arr2), cap(arr2))
//多维数组初始化
arr3 := [4][3]int{{1, 2}, {1, 1, 1}, {1, 3, 5}, {0}}
t.Logf("数组:%v,长度:%d,容量:%d", arr3, len(arr3), cap(arr3))
//arr4 := [...][...]int{{1, 2}, {1, 1, 1}, {1, 3, 5}, {0}}
//t.Logf("数组:%d", arr4)
//输出:invalid use of [...] array (outside a composite literal) 多维数组必须声明长度
}
=== RUN TestArrayInit
array_test.go:11: 数组:[0 0 0],长度:3,容量:3
array_test.go:15: 数组:[1 2],长度:2,容量:2
array_test.go:19: 数组:[1 2 3 4 5],长度:5,容量:5
array_test.go:23: 数组:[[1 2 0] [1 1 1] [1 3 5] [0 0 0]],长度:4,容量:4
--- PASS: TestArrayInit (0.00s)
PASS
/*
*数组遍历
*/
func TestArrayTravel(t *testing.T) {
arr2 := [...]int{1, 2, 3, 4, 5}
//其他语言写法
for i := 0; i < len(arr2); i++ {
t.Log(arr2[i])
}
//go中写法,go中声明了未使用可以_表示弃用。
for idx, e := range arr2 {
t.Logf("坐标:%d,值:%d", idx, e)
}
}
=== RUN TestArrayTravel
array_test.go:37: 1
array_test.go:37: 2
array_test.go:37: 3
array_test.go:37: 4
array_test.go:37: 5
array_test.go:41: 坐标:0,值:1
array_test.go:41: 坐标:1,值:2
array_test.go:41: 坐标:2,值:3
array_test.go:41: 坐标:3,值:4
array_test.go:41: 坐标:4,值:5
--- PASS: TestArrayTravel (0.00s)
PASS
数组截取不支持负数。举例:
- a[:] 输出 {1,2,3,4,5}
- a[-1:] 报错
/*
* 数组截取
*/
func TestArraySection(t *testing.T) {
arr2 := [...]int{1, 2, 3, 4, 5}
//从零开始第三位
arr2_sec := arr2[:3]
t.Log(arr2_sec)
//默认截取全部
arr2_sec1 := arr2[:]
t.Log(arr2_sec1)
}
=== RUN TestArraySection
array_test.go:52: [1 2 3]
array_test.go:54: [1 2 3 4 5]
--- PASS: TestArraySection (0.00s)
PASS
切片
切片(slice)是对数组一个连续片段的引用(该数组我们称之为相关数组,通常是匿名的),所以切片是一个引用类型。
Slice连续数据结构,是一个结构体,包括三个基本元素。
- ptr指针:指向一片连续的存储空间或者数组。
- len:元素个数,可以访问的元素,一般指设置了值、已初始化的元素。
- cap:指针指向存储空间对应长度。当内部容量不够时当前容量*2进行扩张。
/*
* 切片初始化
*/
func TestSliceInit(t *testing.T) {
//申明且未初始化
var s0 []int
t.Logf("切片:%d,长度:%d,容量:%d", s0, len(s0), cap(s0))
s0 = append(s0, 2)
t.Logf("切片:%d,长度:%d,容量:%d", s0, len(s0), cap(s0))
//声明同时初始化
s1 := []int{1, 2, 3}
t.Logf("切片:%d,长度:%d,容量:%d", s1, len(s1), cap(s1))
s2 := make([]int, 4, 5)
t.Logf("切片:%d,长度:%d,容量:%d", s2, len(s2), cap(s2))
//t.Log(s2[0], s2[1], s2[2], s2[3], s2[4])
//panic: runtime error: index out of range [4] with length 4 [recovered]
//说明:len代表可访问的元素个数,声明4说明只初始化了前4位,跟容量没有关系。
t.Log(s2[0], s2[1], s2[2], s2[3])
//添加一个元素,且长度与容量相等
s2 = append(s2, 2)
t.Log(s2[0], s2[1], s2[2], s2[3], s2[3], s2[4])
t.Logf("切片:%d,长度:%d,容量:%d", s2, len(s2), cap(s2))
//添加一个元素,且长度大于容量
s2 = append(s2, 3)
t.Log(s2[0], s2[1], s2[2], s2[3], s2[3], s2[4], s2[5])
t.Logf("切片:%d,长度:%d,容量:%d", s2, len(s2), cap(s2))
}
=== RUN TestSliceInit
slice_test.go:11: 切片:[],长度:0,容量:0
slice_test.go:13: 切片:[2],长度:1,容量:1
slice_test.go:17: 切片:[1 2 3],长度:3,容量:3
slice_test.go:20: 切片:[0 0 0 0],长度:4,容量:5
slice_test.go:26: 0 0 0 0
slice_test.go:30: 0 0 0 0 0 2
slice_test.go:31: 切片:[0 0 0 0 2],长度:5,容量:5
slice_test.go:35: 0 0 0 0 0 2 3
slice_test.go:36: 切片:[0 0 0 0 2 3],长度:6,容量:10
--- PASS: TestSliceInit (0.00s)
PASS
/*
* 切片共享存储结构
*/
func TestSliceShareMemory(t *testing.T) {
s := []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
s1 := s[3:6]
//从3下标截取6-3位数。4,5,6,长度=3,容量=cap(s)-开始截取的坐标=12-3=9
t.Logf("切片:%d,长度:%d,容量:%d", s1, len(s1), cap(s1))
s2 := s[5:8]
//从5下标截取8-5位数。6, 7, 8,长度=3,容量=cap(s)-开始截取的坐标=12-5=7
t.Logf("切片:%d,长度:%d,容量:%d", s2, len(s2), cap(s2))
s[5] = -1
t.Log(s)
t.Log(s1)
t.Log(s2)
}
=== RUN TestSliceShareMemory
slice_test.go:45: 切片:[4 5 6],长度:3,容量:9
slice_test.go:47: 切片:[6 7 8],长度:3,容量:7
slice_test.go:49: [1 2 3 4 5 -1 7 8 9 10 11 12]
slice_test.go:50: [4 5 -1]
slice_test.go:51: [-1 7 8]
--- PASS: TestSliceShareMemory (0.00s)
PASS
区分数组与切片的关键
- 容量是否可以伸缩? 数组不可以,切片可以。
- 是否可以进行比较?数组可以与数组进行比较,切片不可以与切片进行比较,仅可与nil进行比较。
Map
map 一种无序的键值对, 它是数据结构 hash 表的一种实现方式。map工作方式就是:定义键和值,并且可以获取,设置和删除其中的值。
注意:
- 与切片一样,maps 是引用类型。当一个 map 赋值给一个新的变量,它们都指向同一个内部数据结构。因此改变其中一个也会反映到另一个。
- 须指定 key, value 的类型,插入的纪录类型必须匹配。
- key 具有唯一性,插入纪录的 key 不能重复。
- KeyType 可以为基础数据类型(例如 bool, 数字类型,字符串), 不能为数组,切片,map,它的取值必须是能够使用
==
进行比较。 - ValueType 可以为任意类型。
- 无序性。
- 线程不安全, 一个 goroutine 在对 map 进行写的时候,另外的 goroutine 不能进行读和写操作,Go 1.6 版本以后会抛出 runtime 错误信息。
Map键值对与其他语言差异点:
- 当访问key不存在时,返回零值。
- Map的value可以是一个方法。
Map基础知识
Map声明
/*
*初始化map
*/
func TestInitMap(t *testing.T) {
//初始化且赋值
m1 := map[int]int{1: 1, 2: 0, 3: 2}
t.Log(m1[1])
t.Logf("长度m1:%d", len(m1))
//初始化空的map
m2 := map[int]int{}
//给空map赋值
m2[0] = 10
t.Logf("长度m2:%d", len(m2))
//使用make初始化,初始化长度是cap
m3 := make(map[int]int, 1)
t.Logf("长度m3:%d", len(m3))
//,cap不能求map长度
//.\map_test.go:22:28: invalid argument: m3 (variable of type map[int]int) for cap
//t.Logf("长度m3:%d", cap(m3))
//思考?通过初始化map容量与切片容量对比,不会出现超过容量翻倍增长的情况。
m3[0] = 1
t.Log(m3)
t.Logf("长度m3:%d", len(m3))
m3[1] = 2
t.Log(m3)
t.Logf("长度m3:%d", len(m3))
m3[2] = 3
t.Log(m3)
t.Logf("长度m3:%d", len(m3))
}
=== RUN TestInitMap
map_test.go:11: 1
map_test.go:12: 长度m1:3
map_test.go:17: 长度m2:1
map_test.go:20: 长度m3:0
map_test.go:24: map[0:1]
map_test.go:25: 长度m3:1
map_test.go:27: map[0:1 1:2]
map_test.go:28: 长度m3:2
map_test.go:30: map[0:1 1:2 2:3]
map_test.go:31: 长度m3:3
--- PASS: TestInitMap (0.00s)
PASS
Map元素访问
问题1:如何判断当前key是否存在当前map?
问题2:如何判断当前key存在且对应value为空值?
func TestAccessNotExistingKey(t *testing.T) {
m1 := map[int]string{}
t.Logf("访问不存在map中的key,输出为:*%s*", m1[1])
m1[2] = ""
t.Logf("访问map中存在的key且值为空值,输出为:*%s*", m1[2])
//解决方案
if v, ok := m1[3]; ok {
t.Logf("存在map中的key,输出为:*%s*", v)
} else {
t.Log("key不存在map中")
}
}
=== RUN TestAccessNotExistingKey
map_test.go:39: 访问不存在map中的key,输出为:**
map_test.go:41: 访问map中存在的key且值为空值,输出为:**
map_test.go:46: key不存在map中
--- PASS: TestAccessNotExistingKey (0.00s)
PASS
Map元素遍历
Map进阶
Map与工厂模式
func TestMapWithFunValue(t *testing.T) {
m := map[int]func(v int) int{}
m[0] = func(v int) int {
return 0
}
m[1] = func(v int) int {
return v
}
m[2] = func(v int) int {
return v * v
}
m[3] = func(v int) int {
return v * v * v
}
t.Log(m[0](2), m[1](2), m[2](2), m[3](2))
//当value为方法时不能访问未定义的key
//panic: runtime error: invalid memory address or nil pointer dereference [recovered]
//t.Log(m[4](2))
if fn, ok := m[4]; ok {
t.Log(fn(2))
} else {
t.Log("不存在key")
}
m[4] = func(v int) int {
return v * 10
}
if fn, ok := m[4]; ok {
t.Log(fn(2))
} else {
t.Log("不存在key")
}
}
=== RUN TestMapWithFunValue
map_test.go:67: 0 2 4 8
map_test.go:76: 不存在key
map_test.go:83: 20
--- PASS: TestMapWithFunValue (0.00s)
PASS
在Go语言中实现Set
go未提供内置的Set
func TestMapForSet(t *testing.T) {
mySet := map[int]bool{}
mySet[1] = true
n := 2
if mySet[n] {
t.Log(n, "key存在map中")
} else {
t.Log(n, "key不存在map中")
}
mySet[2] = true
mySet[12] = true
t.Log(mySet, "map长度为", len(mySet))
//删除
delete(mySet, 2)
t.Log(mySet, "map长度为", len(mySet))
}
=== RUN TestMapForSet
map_test.go:96: 2 key不存在map中
map_test.go:100: map[1:true 2:true 12:true] map长度为 3
map_test.go:103: map[1:true 12:true] map长度为 2
--- PASS: TestMapForSet (0.00s)
PASS