Go 언어는 Google이 2009년에 출시한 오픈 소스 프로그래밍 언어입니다. Go 언어는 원래 Google의 Robert Griesemer, Ken Thompson 및 Rob Pike가 2007년에 설계하고 발명했으며, 2009년에 공식적으로 출시되었습니다. 세 창립자의 궁극적인 목표는 네트워크와 멀티 코어에 적합한 언어를 설계하는 것입니다. C 언어이므로 Go 언어는 종종 "C와 유사한 언어" 또는 "21세기의 C 언어"로 설명됩니다. Go는 C에서 유사한 구문, 프로그래밍 아이디어 등을 상속받습니다.
이 튜토리얼의 운영 환경: Windows 7 시스템, GO 버전 1.18, Dell G3 컴퓨터.
Go 언어의 기본 문법을 자세히 알아보기 전에 Go 언어의 출현 시기와 특징을 살펴보겠습니다.
Go 언어는 원래 Google의 Robert Griesemer, Ken Thompson 및 Rob Pike가 2007년에 설계하고 발명했습니다. Go 언어는 2009년 11월에 오픈 소스로 공개되었으며 처음에는 Google 내에서 20% 프로젝트로 실행되었습니다.
Go 언어는 2007년에 시작되어 2009년에 공식적으로 출시되었습니다. 2009년 9월 21일 Google에서 20% 파트타임 프로젝트로 시작되었습니다. 즉, 관련 직원이 여가 시간의 20%를 Go 언어 연구 및 개발에 참여하는 데 사용합니다.
창립자 3인의 궁극적인 목표는 네트워크와 멀티코어 시대에 적합한 C 언어를 설계하는 것이기 때문에 Go 언어는 종종 "C와 같은 언어" 또는 "세계의 C 언어"로 묘사됩니다. 물론 다양한 관점에서 볼 때 Go 언어는 실제로 C 언어의 유사한 표현 구문, 제어 흐름 구조, 기본 데이터 유형, 호출 매개변수 값 전송, 포인터 및 기타 많은 프로그래밍 아이디어를 상속받았습니다. 그러나 Go 언어는 C 언어의 가장 완전한 포기입니다. C 언어의 유연하지만 위험한 포인터 연산을 포기하고 C 언어의 일부 불합리한 연산자의 우선 순위를 재설계하고 많은 미묘한 부분에서 필요한 다듬기와 변경 사항을 적용합니다. 만들어졌습니다.
이 부분에서는 "hello World" 프로그램을 사용하여 Go 언어로 작성된 프로그램의 기본 구성을 소개합니다.
package main import "fmt" func main() { // 终端输出hello world fmt.Println("Hello world!") }
C 언어와 유사하게 Go 언어의 기본 구성 요소는 다음과 같습니다.
<span class="hljs-keyword">패키지</span> <span class="hljs-title">기본</span>
. <span class="hljs-keyword">package</span> <span class="hljs-title">main</span>
。<span class="hljs-keyword">import</span> <span class="hljs-string">"fmt"</span>
<span class="hljs-keyword">가져오기</span> <span class="와 같이 이 프로그램이 사용해야 하는 패키지가 무엇인지 Go 컴파일러에 알려줍니다. hljs-string">"fmt"</span>
는 실제로 fmt 패키지를 도입합니다. 함수는 C 언어와 동일합니다. 즉, 특정 기능을 실현할 수 있는 함수 본체입니다. 모든 실행 프로그램에는 기본 기능이 있어야 합니다. 변수, Go 언어 변수 이름은 문자, 숫자, 밑줄로 구성되며 첫 번째 문자는 숫자가 될 수 없습니다. Statement/expression, Go 프로그램에서 한 줄은 문의 끝을 나타냅니다. 각 명령문은 C 계열의 다른 언어처럼 세미콜론으로 끝날 필요가 없습니다. 이 작업은 Go 컴파일러에 의해 자동으로 수행되기 때문입니다. 주석은 C 언어의 주석과 동일하며 //로 시작하는 한 줄 주석은 어디에서나 사용할 수 있습니다. 여러 줄 주석을 작성하려면 /*로 시작하고 */로 끝나야 하며, 중첩될 수 없습니다. 여러 줄 주석은 일반적으로 패키지 문서 설명이나 블록에 주석 처리된 코드 조각에 사용됩니다. 주의해야 할 점: 식별자
는 변수 및 유형과 같은 프로그램 엔터티의 이름을 지정하는 데 사용됩니다. 식별자는 실제로 하나 이상의 문자, 숫자 및 밑줄의 시퀀스이지만 첫 번째 문자는 숫자가 아닌 문자 또는 밑줄이어야 합니다.
- 식별자(상수, 변수, 유형, 함수 이름, 구조 필드 등 포함)가 Group1과 같이 대문자로 시작하는 경우 이러한 형식의 식별자를 사용하는 개체는 외부적으로 패키지된 코드를 사용할 수 있습니다(클라이언트 프로그램이 이 패키지를 먼저 가져와야 함) 이를 내보내기라고 합니다(객체 지향 언어의 public과 유사).
- 식별자가 소문자로 시작하면 패키지 외부에는 표시되지 않지만 표시되고 사용 가능합니다. 패키지 전반에 걸쳐(객체 지향 언어에서 보호되는 것과 같음)
数据类型的出现是为了把数据分成所需内存大小不同的数据,编程的时候需要用大数据的时候才需要申请大内存,就可以充分利用内存。具体分类如下:
类型 | 详解 |
---|---|
布尔型 | 布尔型的值只可以是常量 true 或者 false。 |
数字类型 | 整型 int 和浮点型 float。Go 语言支持整型和浮点型数字,并且支持复数,其中位的运算采用补码。 |
字符串类型 | 字符串就是一串固定长度的字符连接起来的字符序列。Go 的字符串是由单个字节连接起来的。Go 语言的字符串的字节使用 UTF-8 编码标识 Unicode 文本。 |
派生类型 | (a) 指针类型(Pointer)(b) 数组类型© 结构化类型(struct)(d) Channel 类型(e) 函数类型(f) 切片类型(g) 接口类型(interface)(h) Map 类型 |
声明变量的一般形式是使用 var 关键字,具体格式为:<span class="hljs-keyword">var</span> identifier typename
。如下的代码中我们定义了一个类型为int的变量。
package main import "fmt" func main() { var a int = 27 fmt.Println(a); }
在go语言中定义了一个变量,指定变量类型,如果没有初始化,则变量默认为零值。零值就是变量没有做初始化时系统默认设置的值。
类型 | 零值 |
---|---|
数值类型 | 0 |
布尔类型 | false |
字符串 | “”(空字符串) |
在go语言中如果没有指定变量类型,可以通过变量的初始值来判断变量类型。如下代码
package main import "fmt" func main() { var d = true fmt.Println(d) }
当我们定义一个变量后又使用该符号初始化变量,就会产生编译错误,因为该符号其实是一个声明语句。
使用格式:<span class="hljs-keyword">typename</span> := value
也就是说<span class="hljs-built_in">int</span>Val := <span class="hljs-number">1</span>
相等于:
var intVal int intVal =1
可以同时声明多个类型相同的变量(非全局变量),如下图所示:
var x, y int var c, d int = 1, 2 g, h := 123, "hello"
关于全局变量的声明如下:
<span class="hljs-keyword">var</span> ( vname1 v_type1 vname2 v_type2 )
具体举例如下:
var ( a int b bool )
匿名变量的特点是一个下画线<span class="hljs-literal">_</span>
,这本身就是一个特殊的标识符,被称为空白标识符。它可以像其他标识符那样用于变量的声明或赋值(任何类型都可以赋值给它),但任何赋给这个标识符的值都将被抛弃,因此这些值不能在后续的代码中使用,也不可以使用这个标识符作为变量对其它变量进行赋值或运算。
使用匿名变量时,只需要在变量声明的地方使用下画线替换即可。
示例代码如下:
func GetData() (int, int) { return 10, 20 } func main(){ a, _ := GetData() _, b := GetData() fmt.Println(a, b) }
需要注意的是匿名变量不占用内存空间,不会分配内存。匿名变量与匿名变量之间也不会因为多次声明而无法使用。
作用域指的是已声明的标识符所表示的常量、类型、函数或者包在源代码中的作用范围,在此我们主要看一下go中变量的作用域,根据变量定义位置的不同,可以分为一下三个类型:
函数内定义的变量为局部变量,这种局部变量的作用域只在函数体内,函数的参数和返回值变量都属于局部变量。这种变量在存在于函数被调用时,销毁于函数调用结束后。
函数外定义的变量为全局变量,全局变量只需要在一个源文件中定义,就可以在所有源文件中使用,甚至可以使用import引入外部包来使用。全局变量声明必须以 var 关键字开头,如果想要在外部包中使用全局变量的首字母必须大写。
函数定义中的变量成为形式参数,定义函数时函数名后面括号中的变量叫做形式参数(简称形参)。形式参数只在函数调用时才会生效,函数调用结束后就会被销毁,在函数未被调用时,函数的形参并不占用实际的存储单元,也没有实际值。形式参数会作为函数的局部变量来使用。
类型 | 描述 |
---|---|
uint8 / uint16 / uint32 / uint64 | 无符号 8 / 16 / 32 / 64位整型 |
int8 / int16 / int32 / int64 | 有符号8 / 16 / 32 / 64位整型 |
float32 / float64 | IEEE-754 32 / 64 位浮点型数 |
complex64 / complex128 | 32 / 64 位实数和虚数 |
byte | 类似 uint8 |
rune | 类似 int32 |
uintptr | 无符号整型,用于存放一个指针 |
以上就是go语言基本的数据类型,有了数据类型,我们就可以使用这些类型来定义变量,Go 语言变量名由字母、数字、下划线组成,其中首个字符不能为数字。
与C相同,Go语言让程序员决定何时使用指针。变量其实是一种使用方便的占位符,用于引用计算机内存地址。Go 语言中的的取地址符是<span class="hljs-meta">&</span>
,放到一个变量前使用就会返回相应变量的内存地址。
指针变量其实就是用于存放某一个对象的内存地址。
和基础类型数据相同,在使用指针变量之前我们首先需要申明指针,声明格式如下:<span class="hljs-keyword">var</span> var_name *<span class="hljs-keyword">var</span>-<span class="hljs-keyword">type</span>
,其中的var-type 为指针类型,var_name 为指针变量名,* 号用于指定变量是作为一个指针。
代码举例如下:
var ip *int /* 指向整型*/ var fp *float32 /* 指向浮点型 */
指针的初始化就是取出相对应的变量地址对指针进行赋值,具体如下:
var a int= 20 /* 声明实际变量 */ var ip *int /* 声明指针变量 */ ip = &a /* 指针变量的存储地址 */
当一个指针被定义后没有分配到任何变量时,它的值为 nil,也称为空指针。它概念上和其它语言的null、NULL一样,都指代零值或空值。
和c语言相同,Go语言也提供了数组类型的数据结构,数组是具有相同唯一类型的一组已编号且长度固定的数据项序列,这种类型可以是任意的原始类型例如整型、字符串或者自定义类型。
Go 语言数组声明需要指定元素类型及元素个数,语法格式如下:
var <span class="hljs-keyword">variable</span><span class="hljs-number">_n</span>ame [SIZE] <span class="hljs-keyword">variable</span><span class="hljs-number">_</span>type
以上就可以定一个一维数组,我们举例代码如下:
var balance [10] float32
数组的初始化方式有不止一种方式,我们列举如下:
直接进行初始化:<span class="hljs-keyword">var</span> balance = [<span class="hljs-number">5</span>]<span class="hljs-type">float32</span>{<span class="hljs-number">1000.0</span>, <span class="hljs-number">2.0</span>, <span class="hljs-number">3.4</span>, <span class="hljs-number">7.0</span>, <span class="hljs-number">50.0</span>}
通过字面量在声明数组的同时快速初始化数组:balance := [<span class="hljs-number">5</span>]<span class="hljs-type">float32</span>{<span class="hljs-number">1000.0</span>, <span class="hljs-number">2.0</span>, <span class="hljs-number">3.4</span>, <span class="hljs-number">7.0</span>, <span class="hljs-number">50.0</span>}
数组长度不确定,编译器通过元素个数自行推断数组长度,在[ ]中填入<span class="hljs-meta prompt_">...</span>
,举例如下:<span class="hljs-keyword">var</span> balance = [...]<span class="hljs-type">float32</span>{<span class="hljs-number">1000.0</span>, <span class="hljs-number">2.0</span>, <span class="hljs-number">3.4</span>, <span class="hljs-number">7.0</span>, <span class="hljs-number">50.0</span>}
和balance := [...]<span class="hljs-type">float32</span>{<span class="hljs-number">1000.0</span>, <span class="hljs-number">2.0</span>, <span class="hljs-number">3.4</span>, <span class="hljs-number">7.0</span>, <span class="hljs-number">50.0</span>}
数组长度确定,指定下标进行部分初始化:balanced := [<span class="hljs-number">5</span>]<span class="hljs-type">float32</span>(<span class="hljs-number">1</span>:<span class="hljs-number">2.0</span>, <span class="hljs-number">3</span>:<span class="hljs-number">7.0</span>)
注意:
- 初始化数组中 {} 中的元素个数不能大于 [] 中的数字。
如果忽略 [] 中的数字不设置数组大小,Go 语言会根据元素的个数来设置数组的大小。
在c语言中我们知道数组名在本质上是数组中第一个元素的地址,而在go语言中,数组名仅仅表示整个数组,是一个完整的值,一个数组变量即是表示整个数组。
所以在go中一个数组变量被赋值或者被传递的时候实际上就会复制整个数组。如果数组比较大的话,这种复制往往会占有很大的开销。所以为了避免这种开销,往往需要传递一个指向数组的指针,这个数组指针并不是数组。关于数组指针具体在指针的部分深入的了解。
通过数组和指针的知识我们就可以定义一个数组指针,代码如下:
var a = [...]int{1, 2, 3} // a 是一个数组 var b = &a // b 是指向数组的指针
数组指针除了可以防止数组作为参数传递的时候浪费空间,还可以利用其和<span class="hljs-keyword">for</span> <span class="hljs-keyword">range</span>
来遍历数组,具体代码如下:
for i, v := range b { // 通过数组指针迭代数组的元素 fmt.Println(i, v) }
具体关于go语言的循环语句我们在后文中再进行详细介绍。
通过上述数组的学习,我们就可以直接定义多个同类型的变量,但这往往也是一种限制,只能存储同一种类型的数据,而我们在结构体中就可以定义多个不同的数据类型。
在声明结构体之前我们首先需要定义一个结构体类型,这需要使用type和struct,type用于设定结构体的名称,struct用于定义一个新的数据类型。具体结构如下:
type struct_variable_type struct { member definition member definition ... member definition }
定义好了结构体类型,我们就可以使用该结构体声明这样一个结构体变量,语法如下:
variable_name := structure_variable_type {value1, value2...valuen} variable_name := structure_variable_type { key1: value1, key2: value2..., keyn: valuen}
如果要访问结构体成员,需要使用点号 .
操作符,格式为:结构体变量名.成员名
。举例代码如下:
package main import "fmt" type Books struct { title string author string } func main() { var book1 Books Book1.title = "Go 语言入门" Book1.author = "mars.hao" }
关于结构体指针的定义和申明同样可以套用前文中讲到的指针的相关定义,从而使用一个指针变量存放一个结构体变量的地址。
定义一个结构体变量的语法:<span class="hljs-keyword">var</span> struct_pointer *Books
。
这种指针变量的初始化和上文指针部分的初始化方式相同<span class="hljs-attr">struct_pointer</span> = &Book1
,但是和c语言中有所不同,使用结构体指针访问结构体成员仍然使用.
操作符。格式如下:struct_pointer.<span class="hljs-built_in">title</span>
一个字符串是一个不可改变的字节序列,字符串通常是用来包含人类可读的文本数据。和数组不同的是,字符串的元素不可修改,是一个只读的字节数组。每个字符串的长度虽然也是固定的,但是字符串的长度并不是字符串类型的一部分。
Go语言字符串的底层结构在reflect.StringHeader中定义,具体如下:
type StringHeader struct { Data uintptr Len int }
也就是说字符串结构由两个信息组成:第一个是字符串指向的底层字节数组,第二个是字符串的字节的长度。
字符串其实是一个结构体,因此字符串的赋值操作也就是reflect.StringHeader结构体的复制过程,并不会涉及底层字节数组的复制,所以我们也可以将字符串数组看作一个结构体数组。
字符串和数组类似,内置的len函数返回字符串的长度。
根据Go语言规范,Go语言的源文件都是采用UTF8编码。因此,Go源文件中出现的字符串面值常量一般也是UTF8编码的(对于转义字符,则没有这个限制)。提到Go字符串时,我们一般都会假设字符串对应的是一个合法的UTF8编码的字符序列。
Go语言的字符串中可以存放任意的二进制字节序列,而且即使是UTF8字符序列也可能会遇到坏的编码。如果遇到一个错误的UTF8编码输入,将生成一个特别的Unicode字符‘\uFFFD’,这个字符在不同的软件中的显示效果可能不太一样,在印刷中这个符号通常是一个黑色六角形或钻石形状,里面包含一个白色的问号‘�’。
下面的字符串中,我们故意损坏了第一字符的第二和第三字节,因此第一字符将会打印为“�”,第二和第三字节则被忽略;后面的“abc”依然可以正常解码打印(错误编码不会向后扩散是UTF8编码的优秀特性之一)。代码如下:
fmt.Println("\xe4\x00\x00\xe7\x95\x8cabc") // �界abc
不过在for range迭代这个含有损坏的UTF8字符串时,第一字符的第二和第三字节依然会被单独迭代到,不过此时迭代的值是损坏后的0:
// 0 65533 // \uFFFD, 对应 � // 1 0 // 空字符 // 2 0 // 空字符 // 3 30028 // 界 // 6 97 // a // 7 98 // b // 8 99 // c
在上文中我们知道源代码往往会采用UTF8编码,如果不想解码UTF8字符串,想直接遍历原始的字节码:
可以将字符串强制转为[]byte字节序列后再行遍历(这里的转换一般不会产生运行时开销):
采用传统的下标方式遍历字符串的字节数组
除此以外,字符串相关的强制类型转换主要涉及到[]byte和[]rune两种类型。每个转换都可能隐含重新分配内存的代价,最坏的情况下它们的运算时间复杂度都是O(n)。
不过字符串和[]rune的转换要更为特殊一些,因为一般这种强制类型转换要求两个类型的底层内存结构要尽量一致,显然它们底层对应的[]byte和[]int32类型是完全不同的内部布局,因此这种转换可能隐含重新分配内存的操作。
简单地说,切片就是一种简化版的动态数组。因为动态数组的长度不固定,切片的长度自然也就不能是类型的组成部分了。数组虽然有适用它们的地方,但是数组的类型和操作都不够灵活,而切片则使用得相当广泛。
切片高效操作的要点是要降低内存分配的次数,尽量保证append操作(在后续的插入和删除操作中都涉及到这个函数)不会超出cap的容量,降低触发内存分配的次数和每次分配内存大小。
我们先看看切片的结构定义,reflect.SliceHeader:
type SliceHeader struct { Data uintptr // 指向底层的的数组指针 Len int // 切片长度 Cap int // 切片最大长度 }
和数组一样,内置的len函数返回切片中有效元素的长度,内置的cap函数返回切片容量大小,容量必须大于或等于切片的长度。
切片可以和nil进行比较,只有当切片底层数据指针为空时切片本身为nil,这时候切片的长度和容量信息将是无效的。如果有切片的底层数据指针为空,但是长度和容量不为0的情况,那么说明切片本身已经被损坏了
只要是切片的底层数据指针、长度和容量没有发生变化的话,对切片的遍历、元素的读取和修改都和数组是一样的。在对切片本身赋值或参数传递时,和数组指针的操作方式类似,只是复制切片头信息(reflect.SliceHeader),并不会复制底层的数据。对于类型,和数组的最大不同是,切片的类型和长度信息无关,只要是相同类型元素构成的切片均对应相同的切片类型。
当我们想定义声明一个切片时可以如下:
在对切片本身赋值或参数传递时,和数组指针的操作方式类似,只是复制切片头信息·(reflect.SliceHeader),并不会复制底层的数据。对于类型,和数组的最大不同是,切片的类型和长度信息无关,只要是相同类型元素构成的切片均对应相同的切片类型。
<span class="hljs-function"><span class="hljs-title">append</span><span class="hljs-params">()</span></span>
:内置的泛型函数,可以向切片中增加元素。
在切片尾部追加N个元素
var a []int a = append(a, 1) // 追加1个元素 a = append(a, 1, 2, 3) // 追加多个元素, 手写解包方式 a = append(a, []int{1,2,3}...) // 追加一个切片, 切片需要解包
注意:尾部添加在容量不足的条件下需要重新分配内存,可能导致巨大的内存分配和复制数据代价。即使容量足够,依然需要用append函数的返回值来更新切片本身,因为新切片的长度已经发生了变化。
在切片开头位置添加元素
var a = []int{1,2,3} a = append([]int{0}, a...) // 在开头位置添加1个元素 a = append([]int{-3,-2,-1}, a...) // 在开头添加1个切片
注意:在开头一般都会导致内存的重新分配,而且会导致已有的元素全部复制1次。因此,从切片的开头添加元素的性能一般要比从尾部追加元素的性能差很多。
append链式操作
var a []int a = append(a[:i], append([]int{x}, a[i:]...)...) // 在第i个位置插入x a = append(a[:i], append([]int{1,2,3}, a[i:]...)...) // 在第i个位置插入切片
每个添加操作中的第二个append调用都会创建一个临时切片,并将a[i:]的内容复制到新创建的切片中,然后将临时创建的切片再追加到a[:i]。
append和copy组合
a = append(a, 0) // 切片扩展1个空间 copy(a[i+1:], a[i:]) // a[i:]向后移动1个位置 a[i] = x // 设置新添加的元素
第三个操作中会创建一个临时对象,我们可以借用copy函数避免这个操作,这种方式操作语句虽然冗长了一点,但是相比前面的方法,可以减少中间创建的临时切片。
根据要删除元素的位置有三种情况:
1、从开头位置删除;
a = []int{1, 2, 3, ...} a = a[1:] // 删除开头1个元素 a = a[N:] // 删除开头N个元素
a = []int{1, 2, 3, ...} a = append(a[:0], a[1:]...) // 删除开头1个元素 a = append(a[:0], a[N:]...) // 删除开头N个元素
a = []int{1, 2, 3} a = a[:copy(a, a[1:])] // 删除开头1个元素 a = a[:copy(a, a[N:])] // 删除开头N个元素
2、从中间位置删除;
对于删除中间的元素,需要对剩余的元素进行一次整体挪动,同样可以用append或copy原地完成:
a = []int{1, 2, 3, ...} a = append(a[:i], a[i+1], ...) a = append(a[:i], a[i+N:], ...)
a = []int{1, 2, 3} a = a[:copy(a[:i], a[i+1:])] // 删除中间1个元素 a = a[:copy(a[:i], a[i+N:])] // 删除中间N个元素
3、从尾部删除。
代码如下所示:
a = []int{1, 2, 3, ...} a = a[:len(a)-1] // 删除尾部1个元素 a = a[:len(a)-N] // 删除尾部N个元素
删除切片尾部的元素是最快的
为完成某一功能的程序指令(语句)的集合,称为函数。
在Go语言中,函数是第一类对象,我们可以将函数保持到变量中。函数主要有具名和匿名之分,包级函数一般都是具名函数,具名函数是匿名函数的一种特例,当匿名函数引用了外部作用域中的变量时就成了闭包函数,闭包函数是函数式编程语言的核心。
举例代码如下:
具名函数:就和c语言中的普通函数意义相同,具有函数名、返回值以及函数参数的函数。
func Add(a, b int) int { return a+b }
匿名函数:指不需要定义函数名的一种函数实现方式,它由一个不带函数名的函数声明和函数体组成。
var Add = func(a, b int) int { return a+b }
解释几个名词如下:
- 闭包函数:返回为函数对象,不仅仅是一个函数对象,在该函数外还包裹了一层作用域,这使得,该函数无论在何处调用,优先使用自己外层包裹的作用域。
- 一级对象:支持闭包的多数语言都将函数作为第一级对象,就是说函数可以存储到变量中作为参数传递给其他函数,最重要的是能够被函数动态创建和返回。
- 包:go的每一个文件都是属于一个包的,也就是说go是以包的形式来管理文件和项目目录结构的。
Go 语言函数定义格式如下:
func fuction_name([parameter list])[return types]{ 函数体 }
解析 | |
---|---|
func | 函数由func开始声明 |
function_name | 函数名称 |
parameter list | 参数列表 |
return_types | 返回类型 |
函数体 | 函数定义的代码集合 |
Go语言中的函数可以有多个参数和多个返回值,参数和返回值都是以传值的方式和被调用者交换数据。在语法上,函数还支持可变数量的参数,可变数量的参数必须是最后出现的参数,可变数量的参数其实是一个切片类型的参数。
当可变参数是一个空接口类型时,调用者是否解包可变参数会导致不同的结果,我们解释一下解包的含义,代码如下:
func main(){ var a = []int{1, 2, 3} Print(a...) // 解包 Print(a) // 未解包 } func Print(a ...int{}) { fmt.Println(a...) }
以上当传入参数为<span class="hljs-selector-tag">a</span>...
时即是对切片a进行了解包,此时其实相当于直接调用<span class="hljs-attribute">Print</span>(<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>)
。当传入参数直接为 <span class="hljs-selector-tag">a</span>
时等价于直接调用<span class="hljs-attribute">Print</span>([]int{}{<span class="hljs-number">1</span>,<span class="hljs-number">2</span>,<span class="hljs-number">3</span>})
不仅函数的参数可以有名字,也可以给函数的返回值命名。
举例代码如下:
func Find(m map[int]int, key int)(value int, ok bool) { value,ok = m[key] return }
如果返回值命名了,可以通过名字来修改返回值,也可以通过defer语句在return语句之后修改返回值,举例代码如下:
func mian() { for i := 0 ; i<3; i++ { defer func() { println(i) } } } // 该函数最终的输出为: // 3 // 3 // 3
以上代码中如果没有defer其实返回值就是<span class="hljs-attribute">0</span>,<span class="hljs-number">1</span>,<span class="hljs-number">2</span>
,但defer语句会在函数return之后才会执行,也就是或只有以上函数在执行结束return之后才会执行defer语句,而该函数return时的<span class="hljs-selector-tag">i</span>
值将会达到3,所以最终的defer语句执行printlin的输出都是3。
defer语句延迟执行的其实是一个匿名函数,因为这个匿名函数捕获了外部函数的局部变量v,这种函数我们一般叫闭包。闭包对捕获的外部变量并不是传值方式访问,而是以引用的方式访问。
这种方式往往会带来一些问题,修复方法为在每一轮迭代中都为defer函数提供一个独有的变量,修改代码如下:
func main() { for i := 0; i < 3; i++ { i := i // 定义一个循环体内局部变量i defer func(){ println(i) } () } } func main() { for i := 0; i < 3; i++ { // 通过函数传入i // defer 语句会马上对调用参数求值 // 不再捕获,而是直接传值 defer func(i int){ println(i) } (i) } }
Go语言中,函数还可以直接或间接地调用自己,也就是支持递归调用。Go语言函数的递归调用深度逻辑上没有限制,函数调用的栈是不会出现溢出错误的,因为Go语言运行时会根据需要动态地调整函数栈的大小。这部分的知识将会涉及goroutint和动态栈的相关知识,我们将会在之后的博文中向大家解释。
它的语法和c很相似,格式如下:
func recursion() { recursion() /* 函数调用自身 */ } func main() { recursion() }
위 내용은 go 언어는 언제 등장했나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!