Go语言基础(2)
Go语言中支持函数、匿名函数和闭包
Go语言中定义函数
定义函数使用func关键字,语法如下:
func 函数名(参数)(返回值){
函数体
}
说明:
1) 函数名:由字母、数字、下划线组成。但函数名的第一个字母不能是数字。在同一个包内,函数名也称不能重名(包的概念详见后文)。
2) 参数:参数由参数变量和参数变量的类型组成,多个参数之间使用,分隔。
3) 返回值:返回值由返回值变量和其变量类型组成,也可以只写返回值的类型,多个返回值必须用()包裹,并用,分隔。
4) 函数体:实现指定功能的代码块。
例:
func intSum(x int, y int) int {
return x+y
}
func main() {
fmt.Println(intSum(3,4))
}
函数的参数和返回值都属于可选项
函数调用
可以通过函数名()的方式调用函数
可变参数
可变参数是指函数的参数数量不固定。Go语言中的可变参数通过在参数名后加...来标识
func intSum2(x ...int) int {
fmt.Printf("x type is: %T\n", x) // x type is: []int
sum := 0
for _, item := range x {
sum = sum + item
}
return sum
}
多返回值:
func calc(x,y int)(int,int) {
return x+y, x-y
}
一个函数返回值类型为slice时,nil可以看做是一个有效的slice,没必要显示返回一个长度为0的切片。
func demo() []int {
return nil
}
变量作用域
全局变量是定义在函数外部的变量,它在程序整个运行周期内都有效。
局部变量又分为两种: 1)函数内定义的变量无法在该函数外使用;
2) 语句块定义的变量在语句块外无法使用,通常会在if条件判断、for循环、switch语句上使用这种定义变量的方式
函数类型的变量
使用type关键字来定义一个函数类型
type calculation func(x,y int) int
func add(x,y int) int {
return x + y
}
func sub(x,y int) int {
return x - y
}
func main() {
var c1 calculation
c1 = add
fmt.Println(c1(3,4))
fmt.Printf("type of c:%T\n", c1) //type of c:main.calculation
}
匿名函数
函数当然还可以作为返回值,但是在Go语言中函数内部不能再像之前那样定义函数了,只能定义匿名函数。匿名函数就是没有函数名的函数,匿名函数的定义格式如下:
func(参数)(返回值){
函数体
}
闭包
闭包: 外层函数返回内层函数,内层函数调用外层函数的变量;
func f1(x int) func(int) int{
return func (y int) int {
return x*y
}
}
func main() {
a1 :=f1(3)
fmt.Println(a1(4)) // 输出12
}
高价函数
func add(x,y int) int {
return x + y
}
func main() {
fmt.Println(f2(5,2, add)) // 输出7
}
defer语句
Go语言中的defer语句会将其后面跟随的语句进行延迟处理。在defer归属的函数即将返回时,将延迟处理的语句按defer定义的逆序进行执行,也就是说,先被defer的语句最后被执行,最后被defer的语句,最先被执行
在Go语言的函数中return语句在底层并不是原子操作,它分为给返回值赋值和RET指令两步。而defer语句执行的时机就在返回值赋值操作后,RET指令执行前。具体如下图所示
内置函数
内置函数 | 介绍 |
---|---|
close | 主要用来关闭channel |
len | 用来求长度,比如string、array、slice、map、channel |
new | 用来分配内存,主要用来分配值类型,比如int、struct。返回的是指针 |
make | 用来分配内存,主要用来分配引用类型,比如chan、map、slice |
append | 用来追加元素到数组、slice中 |
panic和recover | 用来做错误处理 |
panic/recover
Go语言中目前(Go1.12)是没有异常机制,但是使用panic/recover模式来处理错误。 panic可以在任何地方引发,但recover只有在defer调用的函数中有效。
func t1() {
fmt.Println("func t1")
}
func t2() {
defer func() {
err := recover()
if err != nil{
fmt.Println("recover in func t2")
}
}()
panic("panic in func t2")
}
func t3() {
fmt.Println("func t3")
}
func main() {
t1()
t2()
t3()
}
注意:
- recover()必须搭配defer使用。
- defer一定要在可能引发panic的语句之前定义
结构体
自定义类型
自定义类型是定义了一个全新的类型。可以基于内置的基本类型定义,也可以通过struct定义。例如:
//将MyInt定义为int类型
type MyInt int
通过type关键字的定义,MyInt就是一种新的类型,它具有int的特性。
类型别名
类型别名规定:TypeAlias只是Type的别名,本质上TypeAlias与Type是同一个类型。就像儿时的乳名,上学后用学名,英语老师又会给起英文名,但这些名字都指的是他本人。
type TypeAlias = Type
rune和byte就是类型别名,内置的定义如下:
type byte = uint8
type rune = int32
类型别名与类型定义表面上看只有一个等号的差异,区别如下:
//类型定义
type NewInt int
//类型别名
type MyInt = int
func main() {
var a NewInt
var b MyInt
fmt.Printf("type of a:%T\n", a) //type of a:main.NewInt
fmt.Printf("type of b:%T\n", b) //type of b:int
}
结构体
Go语言提供了一种自定义数据类型,可以封装多个基本数据类型,这种数据类型叫结构体,英文名称struct。
语法如下:
type 类型名 struct {
字段名 字段类型
字段名 字段类型
…
}
说明:
1) 类型名:标识自定义结构体的名称,在同一个包内不能重复。
2) 字段名:表示结构体字段名。结构体中的字段名必须唯一。
3) 字段类型:表示结构体字段的具体类型。
结构体实例化
只有当结构体实例化时,才会真正地分配内存。也就是必须实例化后才能使用结构体的字段。
结构体本身也是一种类型,可以像声明内置类型一样使用var关键字声明结构体类型。
var 结构体实例 结构体类型
Go语言支持匿名结构体,也支持指针类型结构体
例:
type person struct {
name string
age int
marrired bool
}
func main() {
var p01 person
p01 = person{
name: "zhsansan",
age: 18,
marrired: false,
}
fmt.Println(p01) //{zhsansan 18 false}
var s01 struct{name string; score int} //匿名结构体
s01.name = "tom"
s01.score = 80
fmt.Println(s01) //{tom 80}
p02 := new(person) //通过new关键字对结构体进行实例化,得到的是结构体的地址。p02的类型是一个结构指针
p02.name = "eric"
p02.age = 25
p02.marrired = true
fmt.Println(*p02) //{eric 25 true}
p03 := &person{} //使用&对结构体进行取地址操作相当于对该结构体类型进行了一次new实例化操作
p03.name = "robin"
p03.age = 22
p03.marrired = false
fmt.Println(*p03) //{robin 22 false}
p04 := &person{name: "hallen", age: 20, marrired: false}
fmt.Println(*p04) //{hallen 20 false}
}
实例化之后的结构体占用一块连续的内存。空结构体是不占用空间的。
构造函数
Go语言的结构体没有内置的构造函数,需要自定义构造函数。如果结构体比较复杂的话,值拷贝性能开销会比较大,所以该构造函数返回的是结构体指针类型。
Go语言中的方法(Method)是一种作用于特定类型变量的函数。这种特定类型变量叫做接收者(Receiver)。
方法的定义格式如下:
func (接收者变量 接收者类型) 方法名(参数列表) (返回参数) {
函数体
}
例:
func newPerson(name string, age int, married bool) *person {
return &person{name: name, age: age, marrired: married}
}
func (p person)Dream(){
fmt.Printf("%s's dream is rich\n", p.name)
}
func main(){
p05 := newPerson("natasha", 24, false)
fmt.Println(*p05) //{natasha 24 false}
p05.Dream() //natasha's dream is rich
}
方法与函数的区别是,函数不属于任何类型,方法属于特定的类型。
指针类型的接收者
指针类型的接收者由一个结构体的指针组成,由于指针的特性,调用方法时修改接收者指针的任意成员变量,在方法结束后,修改都是有效的。
当方法作用于值类型接收者时,Go语言会在代码运行时将接收者的值复制一份。在值类型接收者的方法中可以获取接收者的成员值,但修改操作只是针对副本,无法修改接收者变量本身。
什么时候应该使用指针类型接收者
1)需要修改接收者中的值
2)接收者是拷贝代价比较大的大对象
3)保证一致性,如果有某个方法使用了指针接收者,那么其他的方法也应该使用指针接收者
例:
func (p *person)setAge(age int){
p.age = age
}
func main(){
p05.setAge(21)
fmt.Println(*p05) //{natasha 21 false}
}
为内置类型添加方法
例:
type MyInt int
func (m MyInt)SayTest(){
fmt.Println("hello world")
}
func main() {
var m1 MyInt
m1.SayTest() // hello world
m1 = 100
fmt.Printf("%v %T\n", m1, m1) //100 main.MyInt
}
结构的嵌套
一个结构体中可以嵌套包含另一个结构体或结构体指针,如下所示:
type Address struct {
Province string
City string
}
type User struct {
Name string
Gender string
Address Address
}
type User2 struct {
Name string
Gender string
Address //匿名字段
}
func main() {
user1 := User{
Name: "Sam",
Gender: "male",
Address: Address{
Province: "河北",
City: "保定",
},
}
fmt.Println(user1) //{Sam man {河北 保定}}
var user2 User2
user2.Name = "Alex"
user2.Gender = "male"
user2.Address.Province = "辽宁"
user2.City = "大连"
fmt.Println(user2) //{Alex male {辽宁 大连}}
}
结构体继承
Go语言中使用结构体也可以实现结构体的继承,如下所示:
type Animal struct {
name string
}
func (a *Animal)move() {
fmt.Println("会动了")
}
type Dog struct {
Feet int
*Animal //通过嵌套匿名结构体实现继承
}
func (d *Dog)wang() {
fmt.Println("汪汪汪")
}
func main() {
d1 := &Dog{
Feet: 4,
Animal: &Animal{ //注意嵌套的是结构体指针
name: "hely",
},
}
d1.move()
d1.wang()
}
结构体中字段大写开头表示可公开访问,小写表示私有(仅在定义当前结构体的包中可访问)
结构体标签
Tag是结构体的元信息,可以在运行的时候通过反射的机制读取出来。 Tag在结构体字段的后方定义,由一对反引号包裹起来,具体的格式如下:
key1:"value1" key2:"value2"
结构体tag由一个或多个键值对组成。键与值使用冒号分隔,值用双引号括起来。同一个结构体字段可以设置多个键值对tag,不同的键值对之间使用空格分隔。
注意事项: 为结构体编写Tag时,必须严格遵守键值对的规则。结构体标签的解析代码的容错能力很差,一旦格式写错,编译和运行时都不会提示任何错误,通过反射也无法正确取值。例如不要在key和value之间添加空格。
包(package)
包(package)是多个Go源码的集合,是一种高级的代码复用方案,Go语言为我们提供了很多内置包,如fmt、os、io等
可以根据自己的需要创建自己的包。一个包可以简单理解为一个存放.go文件的文件夹。 该文件夹下面的所有go文件都要在代码的第一行添加如下代码,声明该文件归属的包。
package 包名
注意事项:
1) 一个文件夹下面直接包含的文件只能归属一个package,同样一个package的文件不能在多个文件夹下。
2) 包名可以不和文件夹的名字一样,包名不能包含 - 符号。
3) 包名为main的包为应用程序的入口包,这种包编译后会得到一个可执行文件,而编译不包含main包的源代码则不会得到可执行文件。
在一个包中引用另外一个包里的标识符(如变量、常量、类型、函数等)时,该标识符必须是对外可见的(public)。在Go语言中只需要将标识符的首字母大写就可以让标识符对外可见了。
结构体中的字段名和接口中的方法名如果首字母都是大写,外部包可以访问这些字段和方法。
要在代码中引用其他包的内容,需要使用import关键字导入使用的包。具体语法如下:
import "包的路径"
注意事项:
1) import导入语句通常放在文件开头包声明语句的下面。
2) 导入的包名需要使用双引号包裹起来。
3) 包名是从$GOPATH/src/后开始计算的,使用/进行路径分隔。
4) Go语言中禁止循环导入包。
在导入包名的时候,还可以为导入的包设置别名。
import 别名 "包的路径"
如果只希望导入包,而不使用包内部的数据时,可以使用匿名导入包。具体的格式如下:
import _ "包的路径"
匿名导入的包与其他方式导入的包一样都会被编译到可执行文件中。
init()函数
在Go语言程序执行时导入包语句会自动触发包内部init()函数的调用。需要注意的是: init()函数没有参数也没有返回值。 init()函数在程序运行时自动被调用执行,不能在代码中主动调用它。
包初始化执行的顺序是: 全局声明--> init() ---> main()
init()函数执行顺序
Go语言包会从main包开始检查其导入的所有包,每个包中又可能导入了其他的包。Go编译器由此构建出一个树状的包引用关系,再根据引用顺序决定编译顺序,依次编译这些包的代码。
在运行时,被最后导入的包会最先初始化并调用其init()函数, 如下图示:
有疑问加站长微信联系(非本文作者)