Skip to content

Latest commit

 

History

History
executable file
·
628 lines (444 loc) · 14.1 KB

Golang入门笔记-CH03-Go语言基本数据类型.md

File metadata and controls

executable file
·
628 lines (444 loc) · 14.1 KB

1. 常量

1.1 常量的定义

常量是一种特殊的变量,被初始化之后就无法再改变。

Go 语言中,常量的类型只能是布尔型数字型(整型、浮点型和复数)和字符串型

常量可以使用关键字 const 来定义,定义格式为 const variable [type] = value

const m string = "abc" // 显示声明
const n = "xyz" // 隐式声明

常量的值必须在编译时能确定,给常量赋值时可以涉及表达式的计算,但计算值必须能在编译时确定。

const m = 2/3 // 正确
const n = getValue() // 错误,编译时自定义函数属于未知,无法用于常量赋值,但可以使用内置函数,如 len()

1.2 枚举

常量也可以用于枚举:

Unknown 表示未知性别,Female 表示女性,Male 表示男性。

const (
    Unknown = 0
    Female = 1
    Male = 2
)

itoa 是一个特殊的常量,itoaconst 关键字出现时被重置为 0const 中每多声明一行常量,itos 会自动加 1 itoa 可理解成常量的行索引)。如:

const (
    a = itoa // a 的值为 0
    b = itoa // b 的值为 1
    c = itoa // c 的值为 2
)

当声明多行常量时,若不指定常量的值和类型,那么该常量的类型和值与上一个常量相同

const (
    a = 100
    b // b 的值为 100
)
const (
    a = itoa // a 的值为 0
    b // b 的值为 1
    c // c 的值为 2
)

我们来看一个例子:

package main

import "fmt"

func main() {
	const (
		a = iota // 0
		b        // 1
		c        // 2
		d = "ha" // iota += 1
		e        // "ha" iota += 1
		f = 100  // iota +=1
		g        // 100  iota += 1
		h = iota // 7
		i        // 8
	)

	fmt.Println(a, b, c, d, e, f, g, h, i)
}

运行结果为:

0 1 2 ha ha 100 100 7 8

2. 变量

2.1 定义变量

我们在上一篇文章 Golang 入门笔记-02-Go 语言基本语法和结构 中已阐述了变量的定义方式和注意点。

2.2 值类型和引用类型

基本数据类型 intfloatboolstring 以及数组结构体都属于值类型值类型的变量直接存储值,内存通常在中分配。

指针,slicemapchan 等都属于引用类型引用类型的变量存储的是地址,内存通常在中分配,比栈拥有更大的空间,通过 GC 进行回收。

Go 语言中可以通过 & 来获取变量的内存地址,如获取变量 i 的内存地址:&i

若一个变量被引用,那么当该变量发生变化时,该变量的引用都会指向被修改后的内容。

我们来看一个例子:

package main

import "fmt"

func main() {
	a := 1
	c := &a // c 的类型为 *int,是变量 a 的引用
	d := &a // d 的类型为 *int,是变量 a 的引用
	fmt.Println("c = ", c, ", d = ", d)
	fmt.Println("*c = ", *c, ", *d = ", *d)

	a = 2 // 修改 a 的值,引用类型变量 c 与 d 会指向修改后的 a
	fmt.Println("c = ", c, ", d = ", d)
	fmt.Println("*c = ", *c, ", *d = ", *d)
}

运行结果为:

c =  0xc00000a0a0 , d =  0xc00000a0a0
*c =  1 , *d =  1
c =  0xc00000a0a0 , d =  0xc00000a0a0
*c =  2 , *d =  2

3. 基本类型和运算符

3.1 基本类型

3.1.1 布尔类型

定义 bool 类型的变量:

var b1 bool = true
var b2 = true
b3 := false

bool 类型的值只能是 truefalse

可以通过运算符等于 == 或不等于 != 得到 bool 类型的值,如:

var m = 6

m == 5 // false
m == 6 // true
m != 5 // true
m != 6 // false

还可以通过与逻辑运算符!,与 && ,或 || 结合得到 bool 类型的值。

Go 语言中,&&|| 具有快捷性质,当 &&|| 左边的表达式已经能够决定整个表达式结果时(当 && 左边值为 false|| 左边值为 true 时),右边的表达式不会被执行。因此,我们应尽量将复杂的表达式放在右边,以减少运算量。

var T = true
var F = false

!T // false
!F // true
T && T // true
T && F // false
F && T // false
F && F // false
T || T // true
T || F // true
F || T // true
F || F // false

3.1.2 字符串

Go 语言中字符串的字节使用 UTF-8 编码表示 Unicode 文本,所以 Go 语言字符串是变宽字符序列,这和其他语言(Java,Python)完全不同,后者为定宽字符序列。Go 语言这样做,就不需要对 UTF-8 字符集文本进行编码和解码,节省了内存和空间。

Go 语言支持以下两种形式定义字符串:解释字符串

  • 解释字符串用双引号包裹起来,如:

    package main
    
    import "fmt"
    
    func main() {
    	var s = "abc\nefg"
    
    	fmt.Println("s: ", s)
    }

    运行结果为:

    s:  abc
    efg

    同时,以下这些字符串将被转义:

    • \n:换行符
    • \r:回车符
    • \t:tab 键
    • \u\U:Unicode 字符
    • \\:反斜杠
  • 非解释字符串

    非解释字符串用反引号包裹起来,与解释字符串不同,非解释字符串会按照用户的输入形式保存起来,且 \n\r 等字符串不会被转义, 如:

    package main
    
    import "fmt"
    
    func main() {
      var s = `
    		Hello World!\n
        		I am a gopher!
    	`
    	fmt.Println("s: ", s)
    }

    运行结果为:

    s:  
    		Hello World!\n
        		I am a gopher!

Go 语言中的字符串和 C/C++ 不一样,不以 \0 表示结尾,而是以长度限定。

长度为 0 的字符串是空字符串 ""

可以通过 len() 来获取字符串的长度,如:

s := "abc"
length := len(s) // 3

可以通过数组下标获取字符串中的字符,如:

s := "abc"
s1 := s[0] // 'a'
s2 := s[len(s) - 1] // 'c'

可以通过 + 进行字符串拼接 :

s1 := "Hello "
s2 := "World"
s3 := s1 + s2

s4 := "He" + "llo "
s4 += "World" // 等同于 s4 = s4 + "World"

s5 := "Hello " +  // 多行拼接 + 必须放在上一行
"World"

+ 来拼接字符串效率并不是太高,后续我们会讲到使用字节缓冲 bytes.Buffer 来进行字符串拼接。

3.1.3 整型

Go 语言中比较常见的整型有 intuintuintptr,这三个类型的长度和计算机架构有关。

  • intuint 在 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 不是同类型,以下代码是错误的:

    var a int = 1
    var b int64 = 2
    a = b // a 与 b 属于不同类型变量,无法赋值
  • 声明整型变量时,若不指定类型,默认为 int

    var a = 1 // int
    b := 1 // int
  • 短变量声明中可以通过指定类型来定义变量:

    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 表示虚部,如:

var c complex64 = 1 + 2i

可以通过 real(c)imag(c) 函数来获取复数变量 c实部虚部

复数和其他数据类型一样,支持 ==!= 的比较,比较时需注意复数精确度。若对性能没有太高要求,建议使用精确度更高的 complex128

3.2 运算符

3.2.1 位运算

注意:位运算是对给定数所对应的二进制数进行运算。

  • 二元运算符
    • 按位与 &

      当两位都为 1 时,值才为 1,否则值为 0:

      1 & 1 // 1
      1 & 0 // 0
      0 & 1 // 0
      0 & 0 // 0
    • 按位或 |

      两位中有一个为 1,值即为 1,否则,值为 0:

      1 | 1 // 1
      1 | 0 // 1
      0 | 1 // 1
      0 | 0 // 0
    • 按位异或 ^

      若两位的值相同,值为 0,若不相同,值为 1:

      1 ^ 1 // 0
      1 ^ 0 // 1
      0 ^ 1 // 1
      0 ^ 0 // 0
    • 按位置零 &^

      p &^ q:当 q 为 0 时,则结果为 p;否则,结果为 0:

      1 &^ 0 // 1
      1 &^ 1 // 0
  • 一元运算符
    • 位左移 <<

      用法:a << n,将 a 左移 n 位,右侧部分用 0 填充。相当于 a 乘以 2 的 n 次方。

      1 << 10 // 2^10 -> 1KB
      1 << 20 // 2^20 -> 1MB
      1 << 30 // 2^30 -> 1GB
    • 位右移 >>

      用法:a >> n,将 a 右移 n 位,左侧部分用 0 填充。相当于 a 除以 2 的 n 次方。

      8 >> 1 // 8/(2^1) -> 4 
      1024 >> 6 // 1024/(2^6) -> 16

3.2.2 逻辑运算符

  • 逻辑非 !

    ! 运算符表示取反,当 Ttrue 时,!T 值为 false,反之则为 true

  • 逻辑与 &&

    && 运算符表示逻辑与,当 && 两边表达式都为 true 时,值才为 true,否则为 false

  • 逻辑或 ||

    || 运算符表示逻辑或,当 || 有一边表达式为 true 时,值就为 true,仅当两边表达式都为 false,值才为 false

3.2.3 算术运算符

  • + 加法

    a := 1
    b := 2
    c := a + b // 3
  • - 减法

    a := 2
    b := 1
    c := a - b // 1
  • * 乘法

    a := 1
    b := 2
    c := a * b // 2
  • / 除法

    a := 2
    b := 1
    c := a / b // 2
  • % 求余

    a := 6
    b := 5
    c := a % b // 1
  • ++ 自增

    变量自增 1。

    a := 1
    a++ // 2,相当于 a = a + 1
  • -- 自减

    变量自减 1。

    a := 2
    a-- // 1,相当于 a = a - 1

注意

  • Go 语言中,++-- 仅仅是语句,不能作为表达式,以下写法是错误的:

    a := 1
    b := a++ // 错误,++ 不能作为表达式
  • 运算符的优先级

    优先级   运算符
     7      ^ !
     6      * / % << >> & &^
     5      + - | ^
     4      == != < <= >= >
     3      <-
     2      &&
     1      ||

4. 指针

Go 语言为我们提供了指针功能,但不能进行指针运算。Go 语言允许我们控制特定数据结构,分配数量和内存访问,有利于构建强大的网络应用。

指针在 Go 语言中被拆分为两个概念:

  • 类型指针:允许对这个指针类型的数据进行修改,传递参数可以使用指针,无需拷贝数据。
  • 切片:由指向起始元素的原始指针、元素容量和容量构成。

4.1 指针地址和指针类型

一个指针变量可以指向任意一个值的地址,它所指向的值的内存地址在 32 位和 64 位计算机上分别占用 4 个字节和 8 个字节。(占用字节大小与值大小无关)

当一个指针被定义后,若没有被分配变量,则它的默认值为 nil(相当于于 C 语言中的 null)。

每一个变量都有一个地址,Go 语言中可以通过取址符号 & 来获取一个变量的内存地址:

a := 1
p := &a // &a 表示取 a 的地址

我们通过一个例子来了解地址:

package main

import "fmt"

func main() {
	a := 1 // 定义 int 型变量 a
	s := "abc" // 定义 string 型变量 s

	fmt.Printf("%p %p", &a, &s) // 打印 a 和 s 的内存地址
}

运行结果为:

0xc00000a0a0 0xc00003c1f0

任意变量都有地址,指针变量保存的就是地址。

4.2 获取指针指向的值

可以对指针使用 * 操作符来获取指针指向的值,例如我们定义了指针变量 p,可以通过 *p 来获取指针 p 指向的值:

package main

import "fmt"

func main() {
	a := 1  // 定义 int 型变量 a
	p := &a // 定义指针变量 p,p 保存 a 的地址

	fmt.Printf("p -> type %T\n", p)    // p 的类型
	fmt.Printf("p -> value %p\n", p)   // p 的值
	fmt.Printf("*p -> type %T\n", *p)   // *p 的类型
	fmt.Printf("*p -> value %v\n", *p) // *p 的值
}

运行结果为:

p -> type *int
p -> value 0xc00000a0a0
*p ->type int
*p -> value 1

4.3 通过指针修改值

指针也可以修改值:

package main

import "fmt"

func swap(a, b *int) {
	t := *a // t 保存 a 指向的变量的值

	*a = *b // 将 b 指向的变量的值赋值给 a 指向的变量

	*b = t // 将 t 赋值给 b 指向的变量
}

func main() {
	m, n := 1, 2

	swap(&m, &n)

	fmt.Println(m, n)
}

运行结果为:

2 1

* 指针操作符作为右值时,如 t := *a ,表示取指针指向的变量的值;作为左值时,如 *b = t,表示指针指向的变量。

我们还可以通过 new 函数来创建指针变量,如:

s := new(string)
*s = "Hello World"

new() 函数可以创建一个对应类型的指针,创建时会分配内存,创建完成后指针指向默认值。

注意

  • 取址符号 & 和指针操作符 * 是一对互逆操作,通过取址符号 & 来获取变量的地址,通过指针操作符 * 来获取指针指向的变量的值。