Go基础系列:常量和变量
常量(constants)和iota
常量包含不会发生更改的数据。常量的数据类型只能是boolean、number(int/float/complex)或string。
定义方式:
const name [type] = value
type基本可以省略,因为常量都是简单数据类型,编译器可以根据值推断出它的数据类型。
例如:
const pi = 3.14159
常量在编译期间被评估,因此定义的常量必须是在编译期间就能计算出来的结果。例如调用一些运行期间的函数来生成常量的值就是错误的,因为在编译期间无法调用这些运行期间的函数。常量的值定义好后,无法在运行期间更改,否则会报错。
const c = 3+2 // 正确 const d = getnumber() // 错误
常量的精度可以随意长,go不会出现精度溢出的问题。且常量赋值时,如果值太长,可以使用续行符\
:
const ln2= 0.693147180559945309417232121458\ 176568075500134360255254120680009 const log2e= 1/ln2 const billion = 1e9
go中只有将超出变量精度的值赋值给变量时才会出现溢出问题。
可以一次性定义多个常量:
const beef, two, c = "meat", 2, "veg" const monday, tuesday, wednesday = 1, 2, 3 const ( monday, tuesday, wednesday = 1, 2, 3 thursday, friday, saturday = 4, 5, 6 )
常量可以用枚举。定义了下面的常量后,female就代表了数值1。
const ( unknown = 0 female = 1 male = 2 )
可以使用iota
实现枚举,iota
自身是builtin包中定义的一个常量,其值为0,它用于在常量中定义序列数,从0开始增加:
const ( a = iota b = iota c = iota )
当iota
第一次调用时,产生数值0,在新行中再次调用iota,将自动增加1,所以上面的a=0,b=1,c=2
。上面的常量枚举可以简写成等价形式:
const ( a = iota b c )
iota不能用于运行期间,因为它是小写字母开头的常量,不会被导出。下面的代码会报错:iota未定义
var a int = iota
iota
也可以用于表达式中,例如iota+50
表示将当前的iota值加上50。
每个常量块(const block)结构都会重置和初始化iota的值为0。
func main() { const a = iota // a=0 const b = iota + 3 // b=3 const c,d = iota,iota+3 // c=0,d=3 const ( e = iota // e=0 f = iota + 4 // f=5 g // g=6 ) println(a,b,c,d,e,f,g) }
变量
在使用变量之前,有两个过程:声明变量、变量赋值。声明变量也常被称为"定义变量"。变量声明后必须使用,否则会报错。
定义变量的常用方式:
var identifier type
例如:
var a int var b bool var str string // 或者 var ( a int b bool str string )
当变量声明的时候,会做默认的赋0初始化,每种数据类型的默认赋0初始化的0值不同。例如int类型的0值为数值0,float的0值为0.0,string类型的0值为空"",bool类型的0值为false,数据结构的0值为nil,struct的0值为字段全部赋0。
变量在编译期间就可以获取到它的值,但如果赋值给变量的值需要经过运行期间的计算,则需要延迟到运行期间才能获取对应的值。
var a int = 15 // 编译期间赋值好 var b int = 15/3 // 编译期间赋值好 var c = getnumber() // 运行期间才赋值
声明和赋值可以结合:
var a int = 15 var i = 5 var b bool = false var str string = "hello world"
声明和赋值结合的时候,对于简单数据类型的值,可以省略type部分,因为go可以根据值自己推断出类型:
var a = 15 var b = false var str = "hello world" var ( a = 15 b = false str = "hello world" numships = 50 city string )
因为要推断数据类型,所以类型推断操作是在运行期间完成的。
在使用推断类型的赋值时,如果想要指定特定类型,需要显式指定。例如整数数值推断的类型为int,要想让它保存到int64中,则必须显式指定类型:
var a int64 = 2
要推断类型必须是声明和赋值一起的,否则没有值,无法根据值去推断。例如var a
是错的。
除了上面的推断方式,通过:=
符号也能实现声明和赋值结合,它也会根据数据类型进行推断,连var关键字都省略了:
a := 50
需要注意的是,变量声明之后不能再次声明(除非在不同的作用域),之后只能使用=
进行赋值。例如,执行下面的代码将报错:
package main import ("fmt") func main(){ x:=10 fmt.println("x =",x) x:=11 fmt.println("x =",x) }
错误如下:
# command-line-arguments .\test.go:8:3: no new variables on left side of :=
报错信息很明显,:=
左边没有新变量。
如果仔细看上面的报错信息,会发现no new variables
是一个复数。实际上,go允许我们使用:=
一次性声明、赋值多个变量,而且只要左边有任何一个新变量,语法就是正确的。
func main(){ name,age := "longshuai",23 fmt.println("name:",name,"age:",age) // name重新赋值,因为有一个新变量weight weight,name := 90,"malongshuai" fmt.println("name:",name,"weight:",weight) }
需要注意,name第二次被:=
赋值,go第一次推断出该变量的数据类型之后,就不允许:=
再改变它的数据类型,因为只有第一次:=
对name进行声明,之后所有的:=
对name都只是简单的赋值操作。
例如,下面将报错:
weight,name := 90,80
错误信息:
.\test.go:11:14: cannot use 80 (type int) as type string in assignment
另外,变量声明之后必须使用,否则会报错,因为go对规范的要求非常严格。例如,下面定义了weight
但却没使用:
weight,name := 90,"malongshuai" fmt.println("name:",name)
错误信息:
.\test.go:11:2: weight declared and not used
变量作用域(scope)
go语言的作用域采用的是词法作用域,意味着文本段定义所在位置决定了可看见的值范围。关于词法作用域和动态作用域,详细内容参见:
- 定义在函数内部的变量为局部变量,只在函数内部可见
- 定义在代码块内(如
{...code...}
)的变量也是局部变量,除了代码块就消失
- 定义在代码块外、函数外的变量为包变量或者全局变量,它们可以被同一个目录下同一个包的多个文件访问(因为go中一个目录下只能定义一个包,但一个包可以分成多个文件)
- 如果变量的名称以小写字母开头,则其它包不能访问该变量
- 如果变量的名称以大写字母开头,则其它包可以访问该变量
- 如果变量的名称以小写字母开头,则其它包不能访问该变量
不同scope的变量名可以冲突,但建议采取名称唯一的方式为变量命名。