Golang基础(一)
Go的学习网上有很多详细的博客文章,推荐:
Go基础
Go语言的主要特征
思想:Less can be more 大道至简,小而蕴真 让事情变得复杂很容易,让事情变得简单才难 深刻的工程文化。
Go优点:
- 自带gc;
- 静态编译,编译好后,扔服务器直接运行;
- 简单的思想,没有继承,多态,类等;
- 丰富的库和详细的开发文档;
- 语法层支持并发,和拥有同步并发的channel类型,使并发开发变得非常方便;
- 简洁的语法,提高开发效率,同时提高代码的阅读性和可维护性;
- 超级简单的交叉编译,仅需更改环境变量。
Go主要特征:
- 自动立即回收;
- 更丰富的内置类型;
- 函数多返回值;
- 错误处理;
- 匿名函数和闭包;
- 类型和接口;
- 并发编程;
- 反射;
- 语言交互性。
golang文件命名:所有的go源码都是以 .go
结尾。
Go语言命名:
Go的函数、变量、常量、自定义类型、包(package)的命名方式遵循以下规则:
- 首字符可以是任意的Unicode字符或者下划线
- 剩余字符可以是Unicode字符、下划线、数字
- 字符长度不限
Go只有25个关键字:
1 | break default func interface select |
Go还有37个保留字:
-
Constants:
1
true false iota nil
-
Types:
1
2
3
4int int8 int16 int32 int64
uint uint8 uint16 uint32 uint64 uintptr
float32 float64 complex128 complex64
bool byte rune string error -
Functions:
1
2
3make len cap new append copy close delete
complex real imag
panic recover
可见性:
- 声明在函数内部,是函数的本地值,类似private;
- 声明在函数外部,是对当前包可见(包内所有
.go
文件都可见)的全局值,类似protect; - 声明在函数外部且首字母大写是所有包可见的全局值,类似public。
Go语言的四种主要声明方式:
- var(声明变量)
- const(声明常量)
- type(声明类型)
- func(声明函数)
最常用的,还是:=
的使用。可以直接定义没有声明过的变量,且无需我们自己指定类型。例如:
1 | package main |
Golang内置类型和内置函数
值类型和引用类型
- 值类型:
bool
int
(32 or 64),int8
,int16
,int32
,int64
uint
(32 or 64),uint8
(byte
),uint16
,uint32
,uint64
float32
,float64
string
complex64
,complex128
(复数)array
(固定长度的数组)
- 引用类型:
slice
(切片,或者叫序列数组)(最常用)map
(映射)chan
(管道)
例子:
1 | package main |
内置函数
Go 语言拥有一些不需要进行导入操作就可以使用的内置函数。它们有时可以针对不同的类型进行操作,例如:len
、cap
和 append
,或必须用于系统级的操作,例如:panic
。因此,它们需要直接获得编译器的支持。
append
:用来追加元素到slice(或数组)中,返回修改后的slice(或数组)close
:主要用来关闭channeldelete
:从map中删除key对应的valuepanic
:停止常规的goroutine (panic和recover:用来做错误处理)recove
:允许程序定义goroutine的panic动作real
:返回complex的实部 (complex、real imag:用于创建和操作复数)imag
:返回complex的虚部make
:用来分配内存,返回Type本身(只能应用于slice, map, channel)new
:用来分配内存,主要用来分配值类型,比如int、struct。返回指向Type的指针cap
:capacity是容量的意思,用于返回某个类型的最大容量(只能用于切片和 map)copy
:用于复制和连接slice,返回复制的数目len
:来求长度,比如string、array、slice、map、channel ,返回长度print
、println
:底层打印函数,在部署环境中建议使用 fmt 包
内置接口error:
返回值为String的都实现了error接口。
1 | type error interface { |
Init函数和main函数
init函数:
go语言中init
函数用于包(package)的初始化,该函数是go语言的一个重要特性。
特征如下:
init
函数是用于程序执行前做包的初始化的函数,比如初始化包里的变量等- 每个包可以拥有多个
init
函数 - 包的每个源文件也可以拥有多个
init
函数 - 同一个包中多个
init
函数的执行顺序go语言没有明确的定义(说明) - 不同包的
init
函数按照包导入的依赖关系决定该初始化函数的执行顺序 init
函数不能被其他函数调用,而是在main函数执行之前,自动被调用
main函数:
Go语言程序的默认入口函数(主函数):func main()
。函数体用{}
一对括号包裹。
1 | func main(){ |
init函数和main函数的异同:
-
相同点:
- 两个函数在定义时不能有任何的参数和返回值,且Go程序自动调用。
-
不同点:
- init可以应用于任意包中,且可以重复定义多个;
- main函数只能用于main包中,且只能定义一个。
两个函数的执行顺序:
- 对同一个go文件的
init()
调用顺序是从上到下的; - 对同一个package中不同文件是按文件名字符串比较“从小到大”顺序调用各文件中的
init()
函数; - 对于不同的package,如果不相互依赖的话,按照main包中"先import的后调用"的顺序调用其包中的
init()
,如果package存在依赖,则先调用最早被依赖的package中的init()
,最后调用main
函数。 - 如果
init
函数中使用了println()
或者print()
你会发现在执行过程中这两个不会按照你想象中的顺序执行。这两个函数官方只推荐在测试环境中使用,对于正式环境不要使用。
Go相关命令
安装好golang环境后,有如下命令:
- go env:打印Go语言的环境信息
- go run:编译并运行命令源码文件
- go get:根据要求和实际情况从互联网上下载或更新指定的代码包及其依赖包,并对它们进行编译和安装
- go build:编译我们指定的源码文件或代码包以及它们的依赖包
- go install:用于编译并安装指定的代码包及它们的依赖包
- go clean:删除掉执行其它命令时产生的一些文件和目录
- go doc:打印附于Go语言程序实体上的文档。我们可以通过把程序实体的标识符作为该命令的参数来达到查看其文档的目的
- go test:对Go语言编写的程序进行测试
- go list:列出指定的代码包的信息
- go fix:把指定代码包的所有Go语言源码文件中的旧版本代码修正为新版本的代码
- go vet:用于检查Go语言源码中静态错误的简单工具
- go tool pprof:交互式地访问概要文件的内容
Go运算符
Go 语言内置的运算符有:
-
算术运算符
运算符 描述 + 相加 - 相减 * 相乘 / 相除 % 求余 注意:
++
(自增)和--
(自减)在Go语言中是单独的语句,并不是运算符。 -
关系运算符
运算符 描述 == 检查两个值是否相等,如果相等返回 True 否则返回 False。 != 检查两个值是否不相等,如果不相等返回 True 否则返回 False。 > 检查左边值是否大于右边值,如果是返回 True 否则返回 False。 >= 检查左边值是否大于等于右边值,如果是返回 True 否则返回 False。 < 检查左边值是否小于右边值,如果是返回 True 否则返回 False。 <= 检查左边值是否小于等于右边值,如果是返回 True 否则返回 False。 -
逻辑运算符
&& 逻辑 AND 运算符。 如果两边的操作数都是 True,则为 True,否则为 False。 ll 逻辑 OR 运算符。 如果两边的操作数有一个 True,则为 True,否则为 False。 ! 逻辑 NOT 运算符。 如果条件为 True,则为 False,否则为 True。 -
位运算符
位运算符对整数在内存中的二进制位进行操作。
运算符 描述 & 参与运算的两数各对应的二进位相与。(两位均为1才为1) l 参与运算的两数各对应的二进位相或。(两位有一个为1就为1) ^ 参与运算的两数各对应的二进位相异或,当两对应的二进位相异时,结果为1。(两位不一样则为1) << 左移n位就是乘以2的n次方。“a<<b”是把a的各二进位全部左移b位,高位丢弃,低位补0。 >> 右移n位就是除以2的n次方。“a>>b”是把a的各二进位全部右移b位。 -
赋值运算符
运算符 描述 = 简单的赋值运算符,将一个表达式的值赋给一个左值 += 相加后再赋值 -= 相减后再赋值 *= 相乘后再赋值 /= 相除后再赋值 %= 求余后再赋值 <<= 左移后赋值 >>= 右移后赋值 &= 按位与后赋值 l= 按位或后赋值 ^= 按位异或后赋值
整体来说运算符和Java相比并没有什么区别。
给个例子:
1 | package main |
Go下划线_
在Golang里,_
是特殊标识符,用来忽略结果。
下划线在import中
在Golang里,import的作用是导入其他package。
import _
(如:import hello/imp)的作用:当导入一个包时,该包下的文件里所有init()函数都会被执行,然而,有些时候我们并不需要把整个包都导入进来,仅仅是是希望它执行init()函数而已。这个时候就可以使用 import 引用该包。即使用import _ 包路径
,仅仅是为了调用该包的init()函数,无法通过包名来调用包中的其他函数。
下划线在代码中
看个例子:
1 | package main |
- 解释1:下划线
_
意思是忽略这个变量。比如os.Open,返回值为*os.File,error。普通写法是f,err := os.Open("xxxxxxx")
。如果此时不需要知道返回的错误值,就可以用f, _ := os.Open("xxxxxx")
,如此则忽略了error变量。 - 解释2:
_
表示占位符,意思是那个位置本应赋给某个值,但是我们不需要这个值,所以就把该值赋给下划线,意思是丢掉不要。这样编译器可以更好的优化,任何类型的单个值都可以丢给下划线。这种情况是占位用的,方法返回两个结果,而你只想要一个结果,那另一个就用_
占位;而如果用变量的话,不使用,编译器是会报错的。
补充:
1
2 import "database/sql"
import _ "github.com/go-sql-driver/mysql"第二个import就是不直接使用mysql包,只是执行一下这个包的init函数,把mysql的驱动注册到sql包里,然后程序里就可以使用sql包来访问mysql数据库了。
Go变量和常量
变量
变量(Variable)的功能是存储数据。不同的变量保存的数据类型可能会不一常见变量的数据类型有:整型、浮点型、布尔型等。
Go语言中的每一个变量都有自己的类型,并且变量必须经过声明才能开始使用。同一作用域内不支持重复声明,并且Go语言的变量声明后必须使用。
所以接下来看一下Go中变量的声明。
-
标准声明:
1
2
3
4var 变量名 变量类型
var name string
var age int
var isOk bool -
批量变量:
1
2
3
4
5
6var (
a string
b int
c bool
d float32
) -
短变量声明:在函数内部,可以使用更简略的
:=
方式声明并初始化变量:1
2
3
4
5
6
7
8
9
10
11
12package main
import "fmt"
// 全局变量m
var m = 100
func main() {
n := 10
m := 200 // 此处声明局部变量m
fmt.Println(m, n)
}结果为:
200 10
然后看一下变量初始化。
Go语言在声明变量的时候,会自动对变量对应的内存区域进行初始化操作。每个变量会被初始化成其类型的默认值,例如: 整型和浮点型变量的默认值为0。 字符串变量的默认值为空字符串。 布尔型变量默认为false
。 切片、函数、指针变量的默认为nil
。
我们也可在声明变量的时候为其指定初始值。变量初始化的标准格式如下:
1 | var 变量名 类型 = 表达式 |
最后注意一下匿名变量。在使用多重赋值时,如果想要忽略某个值,可以使用匿名变量(anonymous variable)。 匿名变量用一个下划线_
表示,例如:
1 | package main |
匿名变量不占用命名空间,不会分配内存,所以匿名变量之间不存在重复声明。 (在Lua等编程语言里,匿名变量也被叫做哑元变量。)
注意:
- 函数外的每个语句都必须以关键字开始(
var
、const
、func
等):=
不能使用在函数外!(所以全局变量不能使用:=)_
多用于占位,表示忽略值
常量
相对于变量,常量是恒定不变的值,多用于定义程序运行期间不会改变的那些值。 常量的声明和变量声明非常类似,只是把var
换成了const
,常量在定义的时候必须赋值。
1 | const pi = 3.1415 |
声明了pi
和e
这两个常量之后,在整个程序运行期间它们的值都不能再发生变化了。
多个常量也可以一起声明:
1 | const ( |
const
同时声明多个常量时,如果省略了值则表示和上面一行的值相同。 例如:
1 | const ( |
上面示例中,常量n1、n2、n3
的值都是100
。
iota
iota是在Java中没有的。iota
是go
语言的常量计数器,只能在常量的表达式中使用。 iota
在const
关键字出现时将被重置为0
。const
中每新增一行常量声明将使iota
计数一次(iota
可理解为const
语句块中的行索引)。
使用iota
能简化定义,在定义枚举时很有用。
举个例子:
1 | const ( |
几个常见的iota示例:
-
使用
_
跳过某些值:1
2
3
4
5
6const (
n1 = iota //0
n2 //1
_
n4 //3
) -
iota
声明中间插队:1
2
3
4
5
6
7const (
n1 = iota //0
n2 = 100 //100
n3 = iota //2
n4 //3
)
const n5 = iota //0 -
定义数量级 (这里的
<<
表示左移操作,1<<10
表示将1
的二进制表示向左移10
位,也就是由1
变成了10000000000
,也就是十进制的1024
。同理2<<2
表示将2
的二进制表示向左移2
位,也就是由10
变成了1000
,也就是十进制的8
。)1
2
3
4
5
6
7
8const (
_ = iota
KB = 1 << (10 * iota)
MB = 1 << (10 * iota)
GB = 1 << (10 * iota)
TB = 1 << (10 * iota)
PB = 1 << (10 * iota)
) -
多个
iota
定义在一行:1
2
3
4
5const (
a, b = iota + 1, iota + 2 //1,2(ioat=0)
c, d //2,3(ioat=1)
e, f //3,4(ioat=2)
)
Go基本类型
Golang更明确数字类型的命名,支持 Unicode,支持常用数据结构。
类型 | 长度(字节) | 默认值 | 说明 |
---|---|---|---|
bool | 1 | false | |
byte | 1 | 0 | uint8(ASCII码字符) |
rune | 4 | 0 | Unicode Code Point, int32(UTF-8字符) |
int, uint | 4或8 | 0 | 32 或 64 位 |
int8, uint8 | 1 | 0 | -128 ~ 127, 0 ~ 255,byte是uint8 的别名 |
int16, uint16 | 2 | 0 | -32768 ~ 32767, 0 ~ 65535 |
int32, uint32 | 4 | 0 | -21亿~ 21亿, 0 ~ 42亿,rune是int32 的别名 |
int64, uint64 | 8 | 0 | -9223372036854775808 ~ 9223372036854775807,0 ~ 18446744073709551615 |
float32 | 4 | 0.0 | |
float64 | 8 | 0.0 | |
complex64 | 8 | ||
complex128 | 16 | ||
uintptr | 4或8 | 以存储指针的 uint32 或 uint64 整数 | |
array | 值类型 | ||
struct | 值类型 | ||
string | “” | UTF-8 字符串 | |
slice | nil | 引用类型 | |
map | nil | 引用类型 | |
channel | nil | 引用类型 | |
interface | nil | 接口 | |
function | nil | 函数 |
支持八进制、 六进制,以及科学记数法。标准库 math 定义了各数字类型取值范围。例如:
1 | a, b, c, d := 071, 0x1F, 1e9, math.MinInt16 |
空指针值 nil
,而非Java的 null。
整型
整型分为以下两个大类:
- 按长度分为:
int8
、int16
、int32
、int64
- 对应的无符号整型:
uint8
、uint16
、uint32
、uint64
其中,uint8
就是我们熟知的byte
型,int16
对应C语言中的short
型,int64
对应C语言中的long
型。
浮点型
Go语言支持两种浮点型数:float32
和float64
。这两种浮点型数据格式遵循IEEE 754
标准:
float32
的浮点数的最大范围约为3.4e38
,可以使用常量定义:math.MaxFloat32
float64
的浮点数的最大范围约为1.8e308
,可以使用常量定义:math.MaxFloat64
复数
complex64
的实部和虚部为32位complex128
的实部和虚部为64位
布尔值
Go语言中以bool
类型进行声明布尔型数据,布尔型数据只有true
和false
两个值。
注意:布尔类型变量的默认值为false。Go 语言中不允许将整型强制转换为布尔型,布尔型无法参与数值运算,也无法与其他类型进行转换。
字符串
Go语言中的字符串以原生数据类型出现,使用字符串就像使用其他原生数据类型int
、bool
、float32
、float64
等一样。 Go 语言里的字符串的内部实现使用UTF-8编码。 字符串的值为双引号""
中的内容,可以在Go语言的源码中直接添加非ASCII
码字符,例如:
1 | s1 := "hello" |
字符串转义符
Go 语言的字符串常见转义符包含回车、换行、单双引号、制表符等,如下表所示:
转义 | 含义 |
---|---|
\r |
回车符(返回行首) |
\n |
换行符(直接跳到下一行的同列位置) |
\t |
制表符 |
\' |
单引号' |
\" |
双引号" |
\\ |
反斜杠\ |
举个例子:
1 | package main |
多行字符串
Go语言中要定义一个多行字符串时,就必须使用反引号字符(键盘Tab键的上方):
1 | package main |
反引号间换行将被作为字符串中的换行,但是所有的转义字符均无效,文本将会原样输出。
字符串的常用操作
方法 | 介绍 |
---|---|
len(str) |
求长度 |
+ 或fmt.Sprintf |
拼接字符串 |
strings.Split(s, sep) |
分割 |
strings.Contains(s, substr) |
判断是否包含 |
strings.HasPrefix(s, suffix) ,strings.HasSuffix(s, suffix) |
前缀/后缀判断 |
strings.Index(s, substr) ,strings.LastIndex(s, substr) |
子串出现的位置 |
strings.Join(a[]string, sep string) |
join操作 |
举个例子:
1 | package main |
byte和rune类型
组成每个字符串的元素叫做“字符”,可以通过遍历或者单个获取字符串元素获得字符。 字符用单引号’
包裹起来,如:
1 | var a := '中' |
Go 语言的字符有以下两种:
uint8
类型(或者叫byte
型):代表一个ASCII码字符rune
类型:代表一个UTF-8字符。
字符串底层是一个byte数组,所以可以和[]byte类型相互转换。字符串是由byte字节组成,所以字符串的长度是byte字节的长度。
rune类型用来表示utf8字符,一个rune字符由一个或多个byte组成。
类型转换
Go语言中只有强制类型转换,没有隐式类型转换。该语法只能在两个类型之间支持相互转换的时候使用。
强制类型转换的基本语法如下:
1 | T(表达式) |
其中,T表示要转换的类型。表达式包括变量、复杂算子和函数返回值等。
举个例子,比如计算直角三角形的斜边长时使用math包的Sqrt()函数,该函数接收的是float64类型的参数,而变量a和b都是int类型的,这个时候就需要将a和b强制类型转换为float64类型:
1 | func sqrtDemo() { |
Go的类型别名和自定义类型
自定义类型
在Go语言中有一些基本的数据类型,如string、整型、浮点型、布尔等数据类型,Go语言中可以使用type
关键字来定义自定义类型。
自定义类型是定义了一个全新的类型。我们可以基于内置的基本类型定义,也可以通过struct
定义。例如:
1 | //将MyInt定义为int类型 |
通过type
关键字的定义,MyInt就是一种新的类型,它具有int的特性。
类型别名
类型别名是Go1.9
版本添加的新功能。
类型别名规定:TypeAlias只是Type的别名,本质上TypeAlias与Type是同一个类型。就像一个孩子小时候有小名、乳名,上学后用学名,英语老师又会给他起英文名,但这些名字都指的是他本人。
1 | type TypeAlias = Type |
之前见过的rune
和byte
就是类型别名,在Go源码中:
1 | // rune is an alias for int32 and is equivalent to int32 in all ways. It is |
类型定义和类型别名的区别
类型别名与类型定义表面上看只有一个等号=
的差异,可以通过以下代码看一下:
1 | package main |
数组array
Golang的array和以往认知的数组有很大不同。
1.数组是同一种数据类型的固定长度的序列。 数组定义:
1 | var a [len]int |
比如:var a [5]int
,数组长度必须是常量,且是类型的组成部分。一旦定义,长度不能变。长度是数组类型的一部分,因此,var a[5] int
和var a[10]int
是不同的类型。
2.数组可以通过下标进行访问,下标是从0开始,最后一个元素下标是len-1
1 | for i := 0; i < len(a); i++ { |
3.访问越界:如果下标在数组合法范围之外,则触发访问越界,会panic
4.数组是值类型,赋值和传参会复制整个数组,而不是指针。因此改变副本的值,不会改变本身的值。
5.支持 ==
、!=
操作符,因为内存总是被初始化过的。
1 | package main |
6.注意指针数组 [n]*T
和数组指针 *[n]T
的区别。
一维数组
一维数组初始化:
1 | package main |
输出结果如下:
多维数组
二维数组初始化:
1 | package main |
注意在二维数组中第 2 纬度不能用 ...
。
上面已经说到过了,数组是值类型,赋值和传参会复制整个数组,而不是指针。因此改变副本的值,不会改变本身的值。值拷贝行为会造成性能问题,通常会建议使用 slice,或数组指针。
内置函数 len
和 cap
都返回数组长度 (元素数量):
1 | package main |
二维数组遍历:
1 | package main |
也可以这么用:
1 | package main |
切片Slice
需要说明,slice 并不是数组或数组指针。它通过内部指针和相关属性引用数组片段,以实现变长方案。
1.切片是数组的一个引用,因此切片是引用类型。但自身是结构体,值拷贝传递。
2.切片的长度可以改变,因此,切片是一个可变的数组。
3.切片遍历方式和数组一样,可以用len()
求长度,表示可用元素数量,读写操作不能超过该限制。
4.cap()
可以求出slice最大扩张容量,不能超出数组限制。0 <= len(slice) <= len(array)
,其中array是slice引用的数组。
5.切片的定义:var 变量名 []类型
,比如 :
1 | var str []string |
6.如果 slice == nil
,那么 len、cap 结果都等于 0。
创建切片
首先看一下创建切片的各种方式:
1 | package main |
可以看到,用var声明切片和声明数组的区别就在于:数组要在定义的时候就指定长度,而切片不用:
- 声明数组:
var arr [5]int
- 声明切片:
var s1 []int
切片初始化
1 | 全局: |
切片大体上跟Python差不多,注意下是前闭后开即可。看个demo就能懂:
1 | package main |
通过make来创建切片
通过make来创建切片的方式:
var slice []type = make([]type, len)
slice := make([]type, len)
slice := make([]type, len, cap)
看个例子就能懂:
1 | package main |
切片的内存布局:
读写操作实际目标是底层数组,只需注意索引号的差别。看个例子:
1 | package main |
可直接创建 slice 对象,自动分配底层数组:
1 | package main |
使用 make 动态创建slice,避免了数组必须用常量做长度的麻烦。还可以用指针直接访问底层数组,退化成普通数组操作:
1 | package main |
[][]T
,是指元素类型为 []T
:
1 | package main |
可直接修改 struct
、array
、slice
成员:
1 | package main |
append切片追加
用append内置函数操作切片(切片追加).
append
:向 slice 尾部添加数据,返回新的 slice 对象。
看个例子就能懂:
1 | package main |
slice扩容
切片超出原 slice.cap 限制,就会重新分配底层数组,即便原数组并未填满。
1 | package main |
从输出结果可以看出,append
后的 s 重新分配了底层数组,并复制数据。如果只追加一个值,则不会超过 s.cap 限制,也就不会重新分配。 通常以 2 倍容量重新分配底层数组。在大批量添加数据时,建议一次性分配足够大的空间,以减少内存分配和数据复制开销。或初始化足够长的 len 属性,改用索引号进行操作。及时释放不再使用的 slice 对象,避免持有过期数组,造成 GC 无法回收。
可以通过代码看一下slice中cap重新分配规律:
1 | package main |
结果如下:
slice复制
copy
:函数 copy 在两个 slice 间复制数据,复制长度以 len 小的为准。两个 slice 可指向同一底层数组,允许元素区间重叠。
看一下go源码的注释说明:
1 | // The copy built-in function copies elements from a source slice into a |
看个例子:
1 | package main |
再看一个两个 slice 指向同一底层数组的例子:
1 | package main |
应及时将所需数据 copy 到较小的 slice,以便释放超大号底层数组内存。
切片遍历
看个例子就行:
1 | package main |
结果如下:
数组和切片的内存布局
先看个例子:
1 | package main |
为什么切片b的长度只有1,却能通过c := b[0:3]
来得到一个长度为3的切片c呢,这就要看一下数组和切片的内存布局:
字符串和切片(string and slice)
string底层就是一个byte的数组,因此,也可以进行切片操作。
1 | package main |
string本身是不可变的,因此要改变string中字符(如实现str[4]='m'
的操作)。需要如下操作:
1 | package main |
对于含有中文字符串,需要用[]rune(str)
:
1 | package main |
golang slice
data[:6:8]
两个冒号的理解:
- 常规slice , data[6:8],从第6位到第8位(返回6, 7),长度len为2, 最大可扩充长度cap为4(6-9)
- 另一种写法: data[:6:8] 每个数字前都有个冒号, slice内容为data从0到第6位,长度len为6,最大扩充项cap设置为8
a[x:y:z]
:切片内容 [x:y],切片长度: y-x,切片容量:z-x。
1
2
3
4
5
6
7
8
9
10
11 package main
import "fmt"
func main() {
slice := []int{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
d1 := slice[6:8]
fmt.Println(d1, len(d1), cap(d1)) // [6 7] 2 4
d2 := slice[:6:8]
fmt.Println(d2, len(d2), cap(d2)) // [0 1 2 3 4 5] 6 8
}
1 | package main |
数组or切片转字符串
1 | strings.Replace(strings.Trim(fmt.Sprint(array_or_slice), "[]"), " ", ",", -1) |
-
fmt.Sprint()
:Go语言格式的fmt.Sprint()
函数使用其操作数的默认格式,并返回结果字符串。当任何字符串不用作常量时,此处在操作数之间添加空格(这里的作用时将slice类型转为string类型,方便后续Trim
操作) -
(strings.Trim(s, cutset string)
:返回将 s 前后端所有 cutset 包含的 utf-8 码值都去掉的字符串(这里就去掉了前端的[
和后端的]
) -
strings.Replace(s, old, new string, n int)
:这里的作用时将原字符的所有空格" "
替换成逗号","
,-1表示替换所有的空格。看一下相关源码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24// Sprint formats using the default formats for its operands and returns the resulting string.
// Spaces are added between operands when neither is a string.
func Sprint(a ...interface{}) string {
...
}
// Trim returns a slice of the string s with all leading and
// trailing Unicode code points contained in cutset removed.
func Trim(s, cutset string) string {
if s == "" || cutset == "" {
return s
}
return TrimFunc(s, makeCutsetFunc(cutset))
}
// Replace returns a copy of the string s with the first n
// non-overlapping instances of old replaced by new.
// If old is empty, it matches at the beginning of the string
// and after each UTF-8 sequence, yielding up to k+1 replacements
// for a k-rune string.
// If n < 0, there is no limit on the number of replacements.
func Replace(s, old, new string, n int) string {
...
}
例子:
1 | package main |
Slice底层实现
(面试常问)
Map
map是一种无序的基于key-value
的数据结构,Go语言中的map是引用类型,必须初始化才能使用。
map定义
Go语言中 map的定义语法如下:
1 | map[KeyType]ValueType |
KeyType
:表示键的类型ValueType
:表示键对应的值的类型
map类型的变量默认初始值为nil
,需要使用make()
函数来分配内存。语法为:
1 | make(map[KeyType]ValueType, cap) |
其中cap表示map的容量,该参数虽然不是必须的,但是我们应该在初始化map的时候就为其指定一个合适的容量。
map基本使用
map中的数据都是成对出现的,map的基本使用示例代码如下:
1 | package main |
map也支持在声明的时候填充元素,例如:
1 | package main |
判断某个键是否存在
Go语言中有个判断map中键是否存在的特殊写法,格式如下:
1 | value, ok := map[key] |
看个例子:
1 | package main |
map的遍历
Go语言中使用for range
遍历map。如下:
1 | package main |
只遍历key或value:
1 | package main |
注意: 遍历map时的元素顺序与添加键值对的顺序无关。(map是无序的)
使用delete()函数删除键值对
使用delete()
函数从map中删除一组键值对,delete()函数的格式如下:
1 | delete(map, key) |
其中:
- map:表示要删除键值对的map
- key: 表示要删除的键值对的键
示例如下:
1 | package main |
按照指定顺序遍历map
示例如下:
1 | package main |
元素为map类型的切片
示例如下:
1 | package main |
值为切片类型的map
示例如下:
1 | package main |
Map实现原理
(面试常问)
Go指针
区别于C/C++中的指针,Go语言中的指针不能进行偏移和运算,是安全指针。
要搞明白Go语言中的指针需要先知道3个概念:
- 指针地址
- 指针类型
- 指针取值
Go语言中的指针
Go语言中的函数传参都是值传递,当我们想要修改某个变量的时候,我们可以创建一个指向该变量地址的指针变量。传递数据使用指针,而无须拷贝数据。类型指针不能进行偏移和运算。Go语言中的指针操作非常简单,只需要记住两个符号:
&
(取地址)*
(根据地址取值)
最终我们可以确认的是Go语言中所有的传参都是值传递,都是一个副本,一个拷贝。因为拷贝的内容有时候是非引用类型(int、string、struct等这些),这样就在函数中就无法修改原内容数据;有的是引用类型(指针、map、slice、chan等这些),这样就可以修改原内容数据。
是否可以修改原内容数据,和值传递、引用传递没有必然的关系。在C++中,传引用肯定是可以修改原内容数据的,在Go语言里,虽然只有传值,但是我们也可以修改原内容数据,因为参数是引用类型。
请记住:
- Go里只有值传递
- 引用传递和引用类型是两个概念
指针地址和指针类型
每个变量在运行时都拥有一个地址,这个地址代表变量在内存中的位置。Go语言中使用&
字符放在变量前面对变量进行取地址操作。 Go语言中的值类型(int
、float
、bool
、string
、array
、struct
)都有对应的指针类型,如:*int
、*int64
、*string
等。
取变量指针的语法如下:
1 | ptr := &v // v的类型为T |
其中:
- v:代表被取地址的变量,类型为T
- ptr:用于接收地址的变量,ptr的类型就为T,称做T的指针类型。代表指针
举个例子:
1 | package main |
我们来看一下b := &a
的图示:
指针取值
在对普通变量使用&
操作符取地址后会获得这个变量的指针,然后可以对指针使用*
操作,也就是指针取值。
示例如下:
1 | package main |
总结: 取地址操作符
&
和取值操作符*
是一对互补操作符:
&
取出地址*
根据地址取出地址指向的值
变量、指针地址、指针变量、取地址、取值的相互关系和特性如下:
- 对变量进行取地址
&
操作,可以获得这个变量的指针变量 - 指针变量的值是指针地址
- 对指针变量进行取值
*
操作,可以获得指针变量指向的原变量的值
指针传值示例:
1 | package main |
空指针
当一个指针被定义后没有分配到任何变量时,它的值为 nil
。
空指针的判断:p==nil
进行判断即可。
new和make
先看一个例子:
1 | package main |
执行上面的代码会引发panic
,因为在Go语言中对于引用类型的变量,我们在使用的时候不仅要声明它,还要为它分配内存空间,否则我们的值就没办法存储。而对于值类型的声明不需要分配内存空间,是因为它们在声明的时候已经默认分配好了内存空间。
要分配内存,就引出来new
和make
。 Go语言中new
和make
是内建的两个函数,主要用来分配内存。
new
new是一个内置的函数,在go源码中它的函数签名如下:
1 | // The new built-in function allocates memory. The first argument is a type, |
其中:
Type
表示类型,new函数只接受一个参数,这个参数是一个类型*Type
表示类型指针,new函数返回一个指向该类型内存地址的指针
new函数不太常用,使用new函数得到的是一个类型的指针,并且该指针对应的值为该类型的零值。
举个例子:
1 | package main |
在最上面的示例代码var a *int
中只是声明了一个指针变量a但是没有初始化,指针作为引用类型需要初始化后才会拥有内存空间,才可以给它赋值。
按照如下方式使用内置的new
函数对a进行初始化之后就可以正常对其赋值了:
1 | package main |
make
make
也是用于内存分配的,区别于new,它只用于slice
、map
以及chan
的内存创建,而且它返回的类型就是这三个类型本身,而不是他们的指针类型,因为这三种类型就是引用类型,所以就没有必要返回他们的指针了。
make函数的函数签名如下:
1 | func make(t Type, size ...IntegerType) Type |
make函数是无可替代的,我们在使用slice、map以及channel的时候,都需要使用make进行初始化,然后才可以对它们进行操作。
示例如下:
1 | package main |
new与make的区别
new
和make
都是用来做内存分配的- make只用于slice、map以及channel的初始化,返回的还是这三个引用类型本身
- new用于类型的内存分配,并且内存对应的值为类型零值,返回的是指向类型的指针。
结构体
Go语言中没有“类”的概念,也不支持“类”的继承等面向对象的概念。Go语言中通过结构体的内嵌再配合接口比面向对象具有更高的扩展性和灵活性。
Go语言中的基础数据类型可以表示一些事物的基本属性,但是当我们想表达一个事物的全部或部分属性时,这时候再用单一的基本数据类型明显就无法满足需求了,Go语言提供了一种自定义数据类型,可以封装多个基本数据类型,这种数据类型叫结构体,英文名称struct。 也就是我们可以通过struct
来定义自己的类型了。
Go语言中通过struct来实现面向对象。
结构体的定义
使用type
和struct
关键字来定义结构体,具体代码格式如下:
1 | type 类型名 struct { |
其中:
- 类型名:标识自定义结构体的名称,在同一个包内不能重复;
- 字段名:表示结构体字段名。结构体中的字段名必须唯一;
- 字段类型:表示结构体字段的具体类型。
看个例子就行:
1 | type person struct { |
同样类型的字段可以写在一行:
1 | type person struct { |
结构体实例化
只有当结构体实例化时,才会真正地分配内存。也就是必须实例化后才能使用结构体的字段。
结构体本身也是一种类型,我们可以像声明内置类型一样使用var关键字声明结构体类型:
1 | var 结构体实例 结构体类型 |
基本实例化
示例如下:
1 | package main |
我们通过.
来访问结构体的字段(成员变量),例如p1.name和p1.age等。
创建指针类型结构体
我们还可以通过使用new
关键字对结构体进行实例化,得到的是结构体的地址。
如下:
1 | package main |
从打印的结果中我们可以看出2是一个结构体指针(*main.person)。
需要注意的是在Go语言中支持对结构体指针直接使用.
来访问结构体的成员。(这是Go语言帮我们实现的语法糖)
取结构体的地址实例化
使用&
对结构体进行取地址操作相当于对该结构体类型进行了一次new
实例化操作。
示例如下:
1 | package main |
p.name = "jack"
其实在底层是(*p).name = "jack"
,这是Go语言帮我们实现的语法糖。
匿名结构体
在定义一些临时数据结构等场景下还可以使用匿名结构体。
示例如下:
1 | package main |
结构体初始化
声明一个结构体不进行初始化,如下:
1 | package main |
使用键值对初始化
使用键值对对结构体进行初始化时,键对应结构体的字段,值对应该字段的初始值。如下:
1 | package main |
也可以对结构体指针进行键值对初始化,例如:
1 | package main |
当某些字段没有初始值的时候,该字段可以不写。此时,没有指定初始值的字段的值就是该字段类型的零值。
使用值的列表初始化
初始化结构体的时候可以简写,也就是初始化的时候不写键,直接写值:
1 | package main |
使用这种格式初始化时,需要注意:
- 必须初始化结构体的所有字段
- 初始值的填充顺序必须与字段在结构体中的声明顺序一致
- 该方式不能和键值初始化方式混用
结构体内存布局
看个例子:
1 | package main |
再看一个示例:
1 | package main |
Map+Struct的Demo
代码如下:
1 | package main |
运行结果如下:
1 | 张三 --> {张三 18} |
结构体的构造函数(自己实现的)
Go语言的结构体没有构造函数,我们可以自己实现。
例如:
1 | package main |
上面的代码就实现了一个student的构造函数。 因为struct是值类型,如果结构体比较复杂的话,值拷贝性能开销会比较大,所以该构造函数返回的是结构体指针类型。
方法和接收者
关于Go的函数和方法后续会更详细的提到,这里简单讲一下。
Go语言中的方法(Method)是一种作用于特定类型变量的函数。这种特定类型变量叫做接收者(Receiver)。接收者的概念就类似于其他语言中的this
或者self
。
方法的定义格式如下:
1 | func (接收者变量 接收者类型) 方法名(参数列表) (返回参数) { |
其中:
- 接收者变量:接收者中的参数变量名在命名时,官方建议使用接收者类型名的第一个小写字母,而不是self、this之类的命名。例如,Person类型的接收者变量应该命名为 p,Connector类型的接收者变量应该命名为c等;
- 接收者类型:接收者类型和参数类似,可以是指针类型和非指针类型;
- 方法名、参数列表、返回参数:具体格式与函数定义相同。
举个例子:
1 | package main |
方法与函数的区别是:函数不属于任何类型,方法属于特定的类型。
指针类型的接收者
指针类型的接收者由一个结构体的指针组成,由于指针的特性,调用方法时修改接收者指针的任意成员变量,在方法结束后,修改是有效的。这种方式就十分接近于其他语言中面向对象中的this或者self。
例如我们为Person添加一个SetAge方法,来修改实例变量的年龄:
1 | package main |
值类型的接收者
当方法作用于值类型接收者时,Go语言会在代码运行时将接收者的值复制一份。在值类型接收者的方法中可以获取接收者的成员值,但修改操作只是针对副本,无法修改接收者变量本身。
例如:
1 | package main |
什么时候应该使用指针类型接收者
- 需要修改接收者中的值
- 接收者是拷贝代价比较大的大对象
- 保证一致性,如果有某个方法使用了指针接收者,那么其他的方法也应该使用指针接收者。
接收者的类型可以是任何类型
在Go语言中,接收者的类型可以是任何类型,不仅仅是结构体,任何类型都可以拥有方法。
举个例子,我们基于内置的int类型使用type关键字可以定义新的自定义类型,然后为我们的自定义类型添加方法:
1 | package main |
结构体的匿名字段
结构体允许其成员字段在声明时没有字段名而只有类型,这种没有名字的字段就称为匿名字段。
1 | package main |
匿名字段默认采用类型名作为字段名,结构体要求字段名称必须唯一,因此一个结构体中同种类型的匿名字段只能有一个。
嵌套结构体
一个结构体中可以嵌套包含另一个结构体或结构体指针。
1 | package main |
嵌套匿名结构体
看个例子就行:
1 | package main |
当访问结构体成员时会先在结构体中查找该字段,找不到再去匿名结构体中查找。(嵌套匿名结构体可以直接访问,如上面的s.province
)
嵌套结构体的字段名冲突
嵌套结构体内部可能存在相同的字段名。这个时候为了避免歧义需要指定具体的内嵌结构体的字段。
看个例子就能懂:
1 | package main |
结构体的“继承”
Go语言中使用结构体也可以实现其他编程语言中面向对象的继承。
看个例子:
1 | package main |
结构体字段的可见性
- 结构体中字段大写开头表示可公开访问
- 小写表示私有(仅在定义当前结构体的包中可访问)
结构体与JSON序列化
JSON(JavaScript Object Notation) 是一种轻量级的数据交换格式。易于人阅读和编写。同时也易于机器解析和生成。JSON键值对是用来保存JS对象的一种方式,键/值对组合中的键名写在前面并用双引号""
包裹,使用冒号:
分隔,然后紧接着值;
,多个键值之间使用英文,
分隔。(JSON笔记)
看个例子:
1 | package main |
注意私有变量不能被json包访问!
结构体标签(Tag)
Tag是结构体的元信息,可以在运行的时候通过反射的机制读取出来。
Tag在结构体字段的后方定义,由一对反引号包裹起来,具体的格式如下:
1 | `key1:"value1" key2:"value2"` |
结构体标签由一个或多个键值对组成。键与值使用冒号分隔,值用双引号括起来。键值对之间使用一个空格分隔。
注意事项: 为结构体编写Tag时,必须严格遵守键值对的规则。结构体标签的解析代码的容错能力很差,一旦格式写错,编译和运行时都不会提示任何错误,通过反射也无法正确取值。例如不要在key和value之间添加空格。
例如我们为Student结构体的每个字段定义json序列化时使用的Tag:
1 | package main |
流程控制
条件语句if
没什么好说的,直接看个demo:
1 | package main |
注意:**代码块左括号
{
必须在条件表达式尾部!**这是因为go会自动补充;
的原因。
条件语句switch
switch 语句用于基于不同条件执行不同动作,每一个 case 分支都是唯一的,从上直下逐一测试,直到匹配为止。 Golang switch 分支表达式可以是任意类型,不限于常量。可省略 break,默认自动终止。
Go 编程语言中 switch 语句的语法如下:
1 | switch var1 { |
变量 var1 可以是任何类型,而 val1 和 val2 则可以是同类型的任意值。类型不被局限于常量或整数,但必须是相同的类型;或者最终结果为相同类型的表达式。 可以同时测试多个可能符合条件的值,使用逗号分割它们,例如:case val1, val2, val3
。
给个例子:
1 | package main |
补充:
fallthrough
关键字的使用:Go里面switch默认相当于每个case最后带有break,匹配成功后不会自动向下执行其他case,而是跳出整个switch, 但是可以使用fallthrough强制执行后面的case代码(这里只执行后一个case)。
switch 语句还可以被用于 type-switch 来判断某个 interface
变量中实际存储的变量类型。
Type Switch 语法格式如下:
1 | switch x.(type){ |
举个例子:
1 | package main |
运行结果为: x 的类型 :<nil>
Go的switch非常灵活,表达式可以是常量也可以是整数,执行的过程从上至下,直到找到匹配项;而如果switch没有表达式,它会匹配true。
Go里面switch默认相当于每个case最后带有break,匹配成功后不会自动向下执行其他case,而是跳出整个switch,但是可以使用
fallthrough
强制执行后面的case代码。
条件语句select
select 语句类似于 switch 语句,但是select会随机执行一个可运行的case。如果没有case可运行,它将阻塞,直到有case可运行。
select 是Go中的一个控制结构,类似于用于通信的switch语句。每个case必须是一个通信操作,要么是发送要么是接收。 select 随机执行一个可运行的case。如果没有case可运行,它将阻塞,直到有case可运行。一个默认的子句应该总是可运行的。
Go 编程语言中 select 语句的语法如下:
1 | select { |
每个case都必须是一个通信,所有channel表达式都会被求值,所有被发送的表达式都会被求值。
如果任意某个通信可以进行,它就执行;其他被忽略。如果有多个case都可以运行,Select会随机公平地选出一个执行,其他不会执行。
否则:如果有default子句,则执行该语句;如果没有default字句,select将阻塞,直到某个通信可以运行;Go不会重新对channel或值进行求值。
(具体参考条件语句select,后面需要用到了在进行补充)
循环语句for
Golang的循环只有for
。 for支持三种循环方式,包括类似 while 的语法。
语法:
for init; condition; post { }
(类似Java的普通for循环)for condition { }
(类似Java的while(condition)循环)for { }
(类似Java的while(true)循环)
语法没什么好说的,看一个输出100以内全部素数的结果的例子即可:
1 | package main |
循环语句range
range
类似迭代器操作,返回 (索引, 值) 或 (键, 值)。
for 循环的 range 格式可以对 slice、map、数组、字符串等进行迭代循环。格式如下:
1st value | 2nd value | ||
---|---|---|---|
string | index | s[index] | unicode, rune |
array/slice | index | s[index] | |
map | key | m[key] | |
channel | element |
可忽略不想要的返回值,使用 _
即可。
例如:
1 | package main |
注意:range 会复制对象。建议改用引用类型,其底层数据不会被复制。具体例子可以参考循环语句range
for
和 for range
的区别主要体现在使用场景不同:
- for可以:
- 遍历array和slice
- 遍历key为整型递增的map
- 遍历string
- for range可以完成所有for可以做的事情,也能做到for不能做的,包括:
- 遍历key为string类型的map并同时获取key和value
- 遍历channel
循环控制goto、break、continue
循环控制语句可以控制循环体内语句的执行过程。GO 语言支持以下几种循环控制语句:goto
、break
、continue
。
一般推荐不使用goto
。break
和continue
没什么好说的。