1. 常量
1.1 常量的定义
常量是一种特殊的变量,被初始化之后就无法再改变。
Go 语言中,常量的类型只能是布尔型,数字型(整型、浮点型和复数)和字符串型。
常量可以使用关键字 const
来定义,定义格式为 const variable [type] = value
。
1 | const m string = "abc" // 显示声明 |
常量的值必须在编译时能确定,给常量赋值时可以涉及表达式的计算,但计算值必须能在编译时确定。
1 | const m = 2/3 // 正确 |
1.2 枚举
常量也可以用于枚举:
Unknown 表示未知性别,Female 表示女性,Male 表示男性。
1 | const ( |
itoa
是一个特殊的常量,itoa
在 const
关键字出现时被重置为 0
;const
中每多声明一行常量,itos
会自动加 1
( itoa
可理解成常量的行索引)。如:
1 | const ( |
当声明多行常量时,若不指定常量的值和类型,那么该常量的类型和值与上一个常量相同。
1 | const ( |
1 | const ( |
我们来看一个例子:
1 | package main |
运行结果为:
1 | 0 1 2 ha ha 100 100 7 8 |
2. 变量
2.1 定义变量
我们在上一篇文章 Golang 入门笔记-02-Go 语言基本语法和结构 中已阐述了变量的定义方式和注意点。
2.2 值类型和引用类型
基本数据类型 int
,float
,bool
,string
以及数组和结构体都属于值类型,值类型的变量直接存储值,内存通常在栈中分配。
指针,slice
,map
和 chan
等都属于引用类型,引用类型的变量存储的是地址,内存通常在堆中分配,比栈拥有更大的空间,通过 GC 进行回收。
Go 语言中可以通过 &
来获取变量的内存地址,如获取变量 i
的内存地址:&i
。
若一个变量被引用,那么当该变量发生变化时,该变量的引用都会指向被修改后的内容。
我们来看一个例子:
1 | package main |
运行结果为:
1 | c = 0xc00000a0a0 , d = 0xc00000a0a0 |
3. 基本类型和运算符
3.1 基本类型
3.1.1 布尔类型
定义 bool
类型的变量:
1 | var b1 bool = true |
bool
类型的值只能是 true
或 false
。
可以通过运算符等于 ==
或不等于 !=
得到 bool
类型的值,如:
1 | var m = 6 |
还可以通过与逻辑运算符非 !
,与 &&
,或 ||
结合得到 bool
类型的值。
Go 语言中,
&&
和||
具有快捷性质,当&&
和||
左边的表达式已经能够决定整个表达式结果时(当&&
左边值为false
或||
左边值为true
时),右边的表达式不会被执行。因此,我们应尽量将复杂的表达式放在右边,以减少运算量。
1 | var T = true |
3.1.2 字符串
Go 语言中字符串的字节使用 UTF-8 编码表示 Unicode 文本,所以 Go 语言字符串是变宽字符序列,这和其他语言(Java,Python)完全不同,后者为定宽字符序列。Go 语言这样做,就不需要对 UTF-8 字符集文本进行编码和解码,节省了内存和空间。
Go 语言支持以下两种形式定义字符串:解释字符串
解释字符串用双引号包裹起来,如:
1
2
3
4
5
6
7
8
9package main
import "fmt"
func main() {
var s = "abc\nefg"
fmt.Println("s: ", s)
}运行结果为:
1
2s: abc
efg同时,以下这些字符串将被转义:
\n
:换行符\r
:回车符\t
:tab 键\u
或\U
:Unicode 字符\\
:反斜杠
非解释字符串
非解释字符串用反引号包裹起来,与解释字符串不同,非解释字符串会按照用户的输入形式保存起来,且
\n
,\r
等字符串不会被转义, 如:1
2
3
4
5
6
7
8
9
10
11package main
import "fmt"
func main() {
var s = `
Hello World!\n
I am a gopher!
`
fmt.Println("s: ", s)
}运行结果为:
1
2
3s:
Hello World!\n
I am a gopher!
Go 语言中的字符串和 C/C++ 不一样,不以 \0
表示结尾,而是以长度限定。
长度为 0 的字符串是空字符串 ""
。
可以通过 len()
来获取字符串的长度,如:
1 | s := "abc" |
可以通过数组下标获取字符串中的字符,如:
1 | s := "abc" |
可以通过 +
进行字符串拼接 :
1 | s1 := "Hello " |
用 +
来拼接字符串效率并不是太高,后续我们会讲到使用字节缓冲 bytes.Buffer
来进行字符串拼接。
3.1.3 整型
Go 语言中比较常见的整型有 int
,uint
,uintptr
,这三个类型的长度和计算机架构有关。
int
和uint
在 32 位操作系统上,长度为 32 位(4 个字节);64 位操作系统上,长度为 64 位(8 个字节)。uintptr
的长度可存放一个指针。
还有与计算机架构无关的整型,从命名上就可以看出:
- 整型
int8
(-128 ~ 127)int16
(-32768 ~ 32767)int32
(-2,147,483,648 ~ 2,147,483,647)int64
(-9,223,372,036,854,775,808 ~ 9,223,372,036,854,775,807)
- 无符号整型
uint8
(0 ~ 255)uint16
(0 ~ 65,535)uint32
(0 ~ 4,294,967,295)uint64
(0 ~ 18,446,744,073,709,551,615)
可以通过前缀 0
来表示八进制数:0666
;通过前缀 0x
表示十六进制数:0xEF
;通过 e
来表示 10 的幂次方:1e2
:100,3.14e20
:3.14 x (10^20)。
注意 :
int 和 int64 不是同类型,以下代码是错误的:
1
2
3var a int = 1
var b int64 = 2
a = b // a 与 b 属于不同类型变量,无法赋值声明整型变量时,若不指定类型,默认为
int
:1
2var a = 1 // int
b := 1 // int短变量声明中可以通过指定类型来定义变量:
1
b := uint64(2) // uint64
3.1.4 浮点型
Go 语言中没有 float
类型,仅存在两种浮点类型(遵循 IEEE-754 标准):
float32
(+- 1e-45 ~ +- 3.4 * 1e38)float64
(+- 5 * 1e-324 ~ 107 * 1e308)
浮点型默认值为 0.0
。
float32
精确到小数点后 7 位,float64
精确到小数点后 15 位。
对于精确度要求较高的运算,应使用 float64
类型。
3.1.5 复数
Go 语言中,复数有两种类型:
complex64
(32 位实数和虚数)complex128
(64 位实数和虚数)
我们可以通过 a + bi
的方式来定义复数,a
表示实部,b
表示虚部,如:
1 | var c complex64 = 1 + 2i |
可以通过 real(c)
和 imag(c)
函数来获取复数变量 c
的实部和虚部。
复数和其他数据类型一样,支持 ==
和 !=
的比较,比较时需注意复数精确度。若对性能没有太高要求,建议使用精确度更高的 complex128
。
3.2 运算符
3.2.1 位运算
注意:位运算是对给定数所对应的二进制数进行运算。
- 二元运算符
按位与
&
当两位都为 1 时,值才为 1,否则值为 0:
1
2
3
41 & 1 // 1
1 & 0 // 0
0 & 1 // 0
0 & 0 // 0按位或
|
两位中有一个为 1,值即为 1,否则,值为 0:
1
2
3
41 | 1 // 1
1 | 0 // 1
0 | 1 // 1
0 | 0 // 0按位异或
^
若两位的值相同,值为 0,若不相同,值为 1:
1
2
3
41 ^ 1 // 0
1 ^ 0 // 1
0 ^ 1 // 1
0 ^ 0 // 0按位置零
&^
p &^ q
:当q
为 0 时,则结果为p
;否则,结果为 0:1
21 &^ 0 // 1
1 &^ 1 // 0
- 一元运算符
位左移
<<
用法:
a << n
,将a
左移n
位,右侧部分用 0 填充。相当于a
乘以 2 的n
次方。1
2
31 << 10 // 2^10 -> 1KB
1 << 20 // 2^20 -> 1MB
1 << 30 // 2^30 -> 1GB位右移
>>
用法:
a >> n
,将a
右移n
位,左侧部分用 0 填充。相当于a
除以 2 的n
次方。1
28 >> 1 // 8/(2^1) -> 4
1024 >> 6 // 1024/(2^6) -> 16
3.2.2 逻辑运算符
逻辑非
!
!
运算符表示取反,当T
为true
时,!T
值为false
,反之则为true
。逻辑与
&&
&&
运算符表示逻辑与,当&&
两边表达式都为true
时,值才为true
,否则为false
。逻辑或
||
||
运算符表示逻辑或,当||
有一边表达式为true
时,值就为true
,仅当两边表达式都为false
,值才为false
。
3.2.3 算术运算符
+
加法1
2
3a := 1
b := 2
c := a + b // 3-
减法1
2
3a := 2
b := 1
c := a - b // 1*
乘法1
2
3a := 1
b := 2
c := a * b // 2/
除法1
2
3a := 2
b := 1
c := a / b // 2%
求余1
2
3a := 6
b := 5
c := a % b // 1++
自增变量自增 1。
1
2a := 1
a++ // 2,相当于 a = a + 1--
自减变量自减 1。
1
2a := 2
a-- // 1,相当于 a = a - 1
注意:
Go 语言中,
++
和--
仅仅是语句,不能作为表达式,以下写法是错误的:1
2a := 1
b := a++ // 错误,++ 不能作为表达式运算符的优先级
1
2
3
4
5
6
7
8优先级 运算符
7 ^ !
6 * / % << >> & &^
5 + - | ^
4 == != < <= >= >
3 <-
2 &&
1 ||
4. 指针
Go 语言为我们提供了指针功能,但不能进行指针运算。Go 语言允许我们控制特定数据结构,分配数量和内存访问,有利于构建强大的网络应用。
指针在 Go 语言中被拆分为两个概念:
- 类型指针:允许对这个指针类型的数据进行修改,传递参数可以使用指针,无需拷贝数据。
- 切片:由指向起始元素的原始指针、元素容量和容量构成。
4.1 指针地址和指针类型
一个指针变量可以指向任意一个值的地址,它所指向的值的内存地址在 32 位和 64 位计算机上分别占用 4 个字节和 8 个字节。(占用字节大小与值大小无关)
当一个指针被定义后,若没有被分配变量,则它的默认值为 nil
(相当于于 C 语言中的 null
)。
每一个变量都有一个地址,Go 语言中可以通过取址符号 &
来获取一个变量的内存地址:
1 | a := 1 |
我们通过一个例子来了解地址:
1 | package main |
运行结果为:
1 | 0xc00000a0a0 0xc00003c1f0 |
任意变量都有地址,指针变量保存的就是地址。
4.2 获取指针指向的值
可以对指针使用 *
操作符来获取指针指向的值,例如我们定义了指针变量 p
,可以通过 *p
来获取指针 p
指向的值:
1 | package main |
运行结果为:
1 | p -> type *int |
4.3 通过指针修改值
指针也可以修改值:
1 | package main |
运行结果为:
1 | 2 1 |
*
指针操作符作为右值时,如 t := *a
,表示取指针指向的变量的值;作为左值时,如 *b = t
,表示指针指向的变量。
我们还可以通过 new
函数来创建指针变量,如:
1 | s := new(string) |
new()
函数可以创建一个对应类型的指针,创建时会分配内存,创建完成后指针指向默认值。
注意:
- 取址符号
&
和指针操作符*
是一对互逆操作,通过取址符号&
来获取变量的地址,通过指针操作符*
来获取指针指向的变量的值。
转载请注明来源,欢迎对文章中的引用来源进行考证,欢迎指出任何有错误或不够清晰的表达。可以在下面评论区评论,也可以邮件至 richffan@outlook.com