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