Go 基础之基本数据类型

2023-10-18 12:18:38 浏览数 (1)

Go 基础之基本数据类型

一、整型

所谓整型,主要用来表示现实世界中整型数量,比如年龄,分数,排名等等

Go 语言整型可以分为平台无关整型平台相关整型这两种,它们的区别主要就在,这些整数类型在不同 CPU 架构或操作系统下面,它们的长度是否是一致的。

1.1 平台无关整型

1.1.1 基本概念
  • Go语言提供了几种平台无关的整数类型,它们的长度在不同的平台上是一致的。
1.1.2 分类

平台无关的整型也可以分成两类:

有符号整型(int8~int64)

使用最高位(最左边的位)作为符号位,表示正数和负数。有符号整型的取值范围是从负数到正数,因此可以表示负数、零和正数。

无符号整型(uint8~uint64)

不使用符号位,因此只能表示非负数(零和正数)。无符号整型的取值范围是从零到正数最大值。

类型

长度

取值范围

有符号整型

int8

1个字节

[-128, 127]

int16

2个字节

[-32768, 32767]

int32

4个字节

[- 2147483648, 2147483647]

int64

8个字节

[ -9223372036854775808, 9223372036854775807]

无符号整型

uint8

1个字节

[0, 255]

uint16

2个字节

[0, 65535]

uint32

4个字节

[0, 4294967295]

uint64

8个字节

[0, 18446744073709551615]

有符号整型(int8int64)和无符号整型(uint8uint64)两者的本质差别在于最高二进制位(bit 位)是否被解释为符号位,这点会影响到无符号整型与有符号整型的取值范围

以下图中的这个 8 比特(一个字节)的整型值为例,当它被解释为无符号整型 uint8 时,和它被解释为有符号整型 int8 时表示的值是不同的:

在同样的比特位表示下,当最高比特位被解释为符号位时,它代表一个有符号整型(int8),它表示的值为 -127;当最高比特位不被解释为符号位时,它代表一个无符号整型 (uint8),它表示的值为 129。

即便最高比特位被解释为符号位,上面的有符号整型所表示值也应该为 -1 啊,怎么会是 -127 呢?

这是因为 Go 采用 2 的补码(Two’s Complement)作为整型的比特位编码方法。因此,我们不能简单地将最高比特位看成负号,把其余比特位表示的值看成负号后面的数值。Go 的补码是通过原码逐位取反后再加 1 得到的,比如,我们以 -127 这个值为例,它的补码转换过程就是这样的:

1.2 平台相关整型

1.2.1 基本概念
  • Go语言还提供了一些整数类型,它们的长度会根据运行平台的改变而改变,这些整数类型的长度依赖于具体的CPU架构和操作系统。

类型

32位长度

64位长度

默认的有符号整型

int

32位(4字节)

64位(8字节)

默认的无符号整型

unit

32位(4字节)

64位(8字节)

无符号整型

uintptr

"""大到足以存储任意一个指针的值""(Go规范描 述)"

1.2.2 注意点

在这里我们要特别注意一点,由于这三个类型的长度是平台相关的,所以我们在编写有移植性要求的代码时,千万不要强依赖这些类型的长度

1.2.3 获取三个类型在目标运行平台上的长度

如果你不知道这三个类型在目标运行平台上的长度,可以通过 unsafe 包提供的 SizeOf 函数来获取

比如在 x86-64 平台上,它们的长度均为 8:

代码语言:javascript复制
var a, b = int(5), uint(6)
var p uintptr = 0x12345678
fmt.Println("signed integer a's length is", unsafe.Sizeof(a)) // 8
fmt.Println("unsigned integer b's length is", unsafe.Sizeof(b)) // 8
fmt.Println("uintptr's length is", unsafe.Sizeof(p)) // 8

1.3 整型的溢出问题

1.3.1 什么是整形溢出?
  • 整型溢出指的是在整型变量所能表示的数值范围之外的值。整型变量通常有最大值和最小值限制

无论哪种整型,都有它的取值范围,也就是有它可以表示的值边界。如果这个整型因为参与某个运算,导致结果超出了这个整型的值边界,我们就说发生了整型溢出的问题。由于整型无法表示它溢出后的那个“结果”,所以出现溢出情况后,对应的整型变量的值依然会落到它的取值范围内,只是结果值与我们的预期不符,导致程序逻辑出错。

代码语言:javascript复制
var s int8 = 127
s  = 1 // 预期128,实际结果-128

var u uint8 = 1
u -= 2 // 预期-1,实际结果255

你看,有符号整型变量 s 初始值为 127,在加 1 操作后,我们预期得到 128,但由于 128 超出了 int8 的取值边界,其实际结果变成了 -128。无符号整型变量 u 也是一样的道理,它的初值为 1,在进行减 2 操作后,我们预期得到 -1,但由于 -1 超出了 uint8 的取值边界,它的实际结果变成了 255。

这个问题最容易发生在循环语句的结束条件判断中,因为这也是经常使用整型变量的地方。无论无符号整型,还是有符号整型都存在溢出的问题,所以我们要十分小心地选择参与循环语句结束判断的整型变量类型,以及与之比较的边界值。

1.4 整型字面值与格式化输出

Go 语言在设计开始,就继承了 C 语言关于数值字面值(Number Literal)的语法形式。早期 Go 版本支持十进制、八进制、十六进制的数值字面值形式,比如:

代码语言:javascript复制
a := 53        // 十进制
b := 0700      // 八进制,以"0"为前缀
c1 := 0xaabbcc // 十六进制,以"0x"为前缀
c2 := 0Xddeeff // 十六进制,以"0X"为前缀

Go 1.13 版本中,Go 又增加了对二进制字面值的支持和两种八进制字面值的形式,比如:

代码语言:javascript复制
d1 := 0b10000001 // 二进制,以"0b"为前缀
d2 := 0B10000001 // 二进制,以"0B"为前缀
e1 := 0o700      // 八进制,以"0o"为前缀
e2 := 0O700      // 八进制,以"0O"为前缀

为提升字面值的可读性,Go 1.13 版本还支持在字面值中增加数字分隔符“_”,分隔符可以用来将数字分组以提高可读性。比如每 3 个数字一组,也可以用来分隔前缀与字面值中的第一个数字:

代码语言:javascript复制
a := 5_3_7   // 十进制: 537
b := 0b_1000_0111  // 二进制位表示为10000111 
c1 := 0_700  // 八进制: 0700
c2 := 0o_700 // 八进制: 0700
d1 := 0x_5c_6d // 十六进制:0x5c6d

不过,这里你要注意一下,Go 1.13 中增加的二进制字面值以及数字分隔符,只在 go.mod 中的 go version 指示字段为 Go 1.13 以及以后版本的时候,才会生效,否则编译器会报错。

反过来,我们也可以通过标准库 fmt 包的格式化输出函数,将一个整型变量输出为不同进制的形式。比如下面就是将十进制整型值 59,格式化输出为二进制、八进制和十六进制的代码:

代码语言:javascript复制
var a int8 = 59
fmt.Printf("%bn", a) //输出二进制:111011
fmt.Printf("%dn", a) //输出十进制:59
fmt.Printf("%on", a) //输出八进制:73
fmt.Printf("%On", a) //输出八进制(带0o前缀):0o73
fmt.Printf("%xn", a) //输出十六进制(小写):3b
fmt.Printf("%Xn", a) //输出十六进制(大写):3B

二、浮点型

2.1 IEEE 754 标准

IEEE 754 是 IEEE 制定的二进制浮点数算术标准,它是 20 世纪 80 年代以来最广泛使用的浮点数运算标准,被许多 CPU 与浮点运算器采用。现存的大部分主流编程语言,包括 Go 语言,都提供了符合 IEEE 754 标准的浮点数格式与算术运算。

IEEE 754 标准规定了四种表示浮点数值的方式:单精度(32 位)、双精度(64 位)、扩展单精度(43 比特以上)与扩展双精度(79 比特以上,通常以 80 位实现)。后两种其实很少使用,我们重点关注前面两个就好了。

2.2 浮点类型

Go语言支持两种浮点型数:float32float64。这两种浮点型数据格式遵循IEEE 754标准。

浮点类型与前面的整型相比,Go 提供的浮点类型都是平台无关的。

2.3 float32float64 这两种浮点类型有什么异同点呢?

无论是 float32 还是 float64,它们的变量的默认值都为 0.0,不同的是它们占用的内存空间大小是不一样的,可以表示的浮点数的范围与精度也不同。那么浮点数在内存中的二进制表示究竟是怎么样的呢?

浮点数在内存中的二进制表示(Bit Representation)要比整型复杂得多,IEEE 754 规范给出了在内存中存储和表示一个浮点数的标准形式,见下图:

我们看到浮点数在内存中的二进制表示分三个部分:符号位、阶码(即经过换算的指数),以及尾数。这样表示的一个浮点数,它的值等于:

其中浮点值的符号由符号位决定:当符号位为 1 时,浮点值为负值;当符号位为 0 时,浮点值为正值。公式中 offset 被称为阶码偏移值,这个我们待会再讲。

我们首先来看单精度(float32)与双精度(float64)浮点数在阶码和尾数上的不同。这两种浮点数的阶码与尾数所使用的位数是不一样的,你可以看下 IEEE 754 标准中单精度和双精度浮点数的各个部分的长度规定:

我们看到,单精度浮点类型(float32)为符号位分配了 1 个 bit,为阶码分配了 8 个 bit,剩下的 23 个 bit 分给了尾数。而双精度浮点类型,除了符号位的长度与单精度一样之外,其余两个部分的长度都要远大于单精度浮点型,阶码可用的 bit 位数量为 11,尾数则更是拥有了 52 个 bit 位。

接着,我们再来看前面提到的“阶码偏移值”,我想用一个例子直观地让你感受一下。在这个例子中,我们来看看如何将一个十进制形式的浮点值 139.8125,转换为 IEEE 754 规定中的那种单精度二进制表示。

步骤一:我们要把这个浮点数值的整数部分和小数 部分,分别转换为二进制形式(后缀 d 表示十进制数,后缀 b 表示二进制数):

  • 整数部分:139d => 10001011b;
  • 小数部分:0.8125d => 0.1101b(十进制小数转换为二进制可采用“乘 2 取整”的竖式计算)。

这样,原浮点值 139.8125d 进行二进制转换后,就变成 10001011.1101b。

步骤二:移动小数点,直到整数部分仅有一个 1,也就是 10001011.1101b => 1.00010111101b。我们看到,为了整数部分仅保留一个 1,小数点向左移了 7 位,这样指数就为 7,尾数为 00010111101b。

步骤三:计算阶码。

IEEE754 规定不能将小数点移动得到的指数,直接填到阶码部分,指数到阶码还需要一个转换过程。对于 float32 的单精度浮点数而言,阶码 = 指数 偏移值。偏移值的计算公式为 2^(e-1)-1,其中 e 为阶码部分的 bit 位数,这里为 8,于是单精度浮点数的阶码偏移值就为 2^(8-1)-1 = 127。这样在这个例子中,阶码 = 7 127 = 134d = 10000110b。float64 的双精度浮点数的阶码计算也是这样的。

步骤四:将符号位、阶码和尾数填到各自位置,得到最终浮点数的二进制表示。尾数位数不足 23 位,可在后面补 0。

这样,最终浮点数 139.8125d 的二进制表示就为 0b_0_10000110_00010111101_000000000000

最后,我们再通过 Go 代码输出浮点数 139.8125d 的二进制表示,和前面我们手工转换的做一下比对,看是否一致。

代码语言:javascript复制
func main() {
    var f float32 = 139.8125
    bits := math.Float32bits(f)
    fmt.Printf("%bn", bits)
}

在这段代码中,我们通过标准库的 math 包,将 float32 转换为整型。在这种转换过程中,float32 的内存表示是不会被改变的。然后我们再通过前面提过的整型值的格式化输出,将它以二进制形式输出出来。运行这个程序,我们得到下面的结果:

代码语言:javascript复制
1000011000010111101000000000000

我们看到这个值在填上省去的最高位的 0 后,与我们手工得到的浮点数的二进制表示一模一样。这就说明我们手工推导的思路并没有错。

而且,你可以从这个例子中感受到,阶码和尾数的长度决定了浮点类型可以表示的浮点数范围与精度。因为双精度浮点类型(float64)阶码与尾数使用的比特位数更多,它可以表示的精度要远超单精度浮点类型,所以在日常开发中,我们使用双精度浮点类型(float64)的情况更多,这也是 Go 语言中浮点常量或字面值的默认类型。

而 float32 由于表示范围与精度有限,经常会给开发者造成一些困扰。比如我们可能会因为 float32 精度不足,导致输出结果与常识不符。比如下面这个例子就是这样,f1 与 f2 两个浮点类型变量被两个不同的浮点字面值初始化,但逻辑比较的结果却是两个变量的值相等。至于其中原因,我将作为思考题留给你,你可以结合前面讲解的浮点类型表示方法,对这个例子进行分析:

代码语言:javascript复制
var f1 float32 = 16777216.0
var f2 float32 = 16777217.0
fmt.Println(f1 == f2) // true

看到这里,你是不是觉得浮点类型很神奇?和易用易理解的整型相比,浮点类型无论在二进制表示层面,还是在使用层面都要复杂得多。

2.4 浮点型字面值与格式化输出

2.4.1 直白地用十进制表示的浮点值形式

这一类,我们通过字面值就可直接确定它的浮点值,比如:

代码语言:javascript复制
3.1415
.15  // 整数部分如果为0,整数部分可以省略不写
81.80
82. // 小数部分如果为0,小数点后的0可以省略不写
2.4.2 科学计数法形式

采用科学计数法表示的浮点字面值,我们需要通过一定的换算才能确定其浮点值。而且在这里,科学计数法形式又分为十进制形式表示的,和十六进制形式表示的两种

使用十进制科学计数法形式的浮点数字面值,这里字面值中的 e/E 代表的幂运算的底数为 10:

代码语言:javascript复制
6674.28e-2 // 6674.28 * 10^(-2) = 66.742800
.12345E 5  // 0.12345 * 10^5 = 12345.000000

接着是十六进制科学计数法形式的浮点数:

代码语言:javascript复制
0x2.p10  // 2.0 * 2^10 = 2048.000000
0x1.Fp 0 // 1.9375 * 2^0 = 1.937500

这里,我们要注意,十六进制科学计数法的整数部分、小数部分用的都是十六进制形式,但指数部分依然是十进制形式,并且字面值中的 p/P 代表的幂运算的底数为 2。

2.4.3 浮点数的格式化输出

知道了浮点型的字面值后,和整型一样,fmt 包也提供了针对浮点数的格式化输出。我们最常使用的格式化输出形式是 %f。通过 %f,我们可以输出浮点数最直观的原值形式。

代码语言:javascript复制
var f float64 = 123.45678
fmt.Printf("%fn", f) // 123.456780

我们也可以将浮点数输出为科学计数法形式,如下面代码:

代码语言:javascript复制
fmt.Printf("%en", f) // 1.234568e 02
fmt.Printf("%xn", f) // 0x1.edd3be22e5de1p 06

其中 %e 输出的是十进制的科学计数法形式,而 %x 输出的则是十六进制的科学计数法形式

2.5 math 包

math 包是Go语言标准库中的一个核心包,它提供了各种数学函数和常量,用于进行各种数学操作。

2.6 数字类型的极值

在Go语言中,数字类型的极值常量通常存储在math包中。这些常量用于表示浮点数和整数类型的最大值和最小值,以及其他数学常量。

  • intuint 族都有最大值和最小值。
  • float32float64 只有最大值和最小正数, 没有最小值。

以下是一些常见的math包中的数字类型极值常量:

  1. 整数类型的极值
    • math.MaxInt8: int8 类型的最大值。
    • math.MinInt8: int8 类型的最小值。
    • math.MaxInt16: int16 类型的最大值。
    • math.MinInt16: int16 类型的最小值。
    • math.MaxInt32: int32 类型的最大值。
    • math.MinInt32: int32 类型的最小值。
    • math.MaxInt64: int64 类型的最大值。
    • math.MinInt64: int64 类型的最小值。
  2. 浮点数类型的极值
    • math.MaxFloat32: float32 类型的最大正有限值。
    • math.SmallestNonzeroFloat32: float32 类型的最小正非零值。
    • math.MaxFloat64: float64 类型的最大正有限值。
    • math.SmallestNonzeroFloat64: float64 类型的最小正非零值。
  3. 其他数学常量
    • math.Pi: 圆周率 π 的近似值。
    • math.E: 自然对数的底数 e 的近似值。
    • math.Sqrt2math.SqrtE:平方根的近似值。

这些常量可以在你的Go程序中使用,以便在算法和数学计算中引用数字类型的极值和常量。例如,你可以使用 math.MaxInt64 来表示 int64 类型的最大值,以便进行整数计算时进行比较或限制数值范围。同样,math.Pi 可用于计算圆的周长或面积等数学运算。

代码语言:javascript复制
package main

import (
	"fmt"
	"math"
)

func main() {
	// 整数类型的极值
	fmt.Println("int8 Max:", math.MaxInt8)
	fmt.Println("int8 Min:", math.MinInt8)
	fmt.Println("int16 Max:", math.MaxInt16)
	fmt.Println("int16 Min:", math.MinInt16)
	fmt.Println("int32 Max:", math.MaxInt32)
	fmt.Println("int32 Min:", math.MinInt32)
	fmt.Println("int64 Max:", math.MaxInt64)
	fmt.Println("int64 Min:", math.MinInt64)

	// 浮点数类型的极值
	fmt.Println("float32 Max:", math.MaxFloat32)
	fmt.Println("float32 Smallest Non-zero:", math.SmallestNonzeroFloat32)
	fmt.Println("float64 Max:", math.MaxFloat64)
	fmt.Println("float64 Smallest Non-zero:", math.SmallestNonzeroFloat64)

	// 其他数学常量
	fmt.Println("Pi:", math.Pi)
	fmt.Println("E:", math.E)
	fmt.Println("Sqrt(2):", math.Sqrt2)
	fmt.Println("Sqrt(E):", math.SqrtE)
}

三、小结

  • int 家族:int8int16int32int64int。在内存中分别用 1、2、4、8 个字节来表达,而 int 用几个字节则取决于CPU。目前大多数 int 都是 8 字节。 如果犹豫不决,就优先使用int,特殊情况除外
  • uint 家族:uint8uint16uint32uint64 uint。无符号整数,类似于 int 家族,优先使用 uint
  • float 家族:float32、float64。浮点数,优先使用 float64

四、复数

4.1 复数

  • 数学课本上将形如 z=a bi(a、b 均为实数,a 称为实部,b 称为虚部)的数称为复数
  • Go 语言则原生支持复数类型。
  • 和整型、浮点型相比,复数类型在 Go 中的应用就更为局限和小众,主要用于专业领域的计算,比如矢量计算等。我们简单了解一下就可以了。

4.2 复数类型

  • Go 提供两种复数类型,它们分别是 complex64complex128
  • complex64 的实部与虚部都是 float32 类型,而 complex128 的实部与虚部都是 float64 类型。
  • 如果一个复数没有显示赋予类型,那么它的默认类型为 complex128

4.3 复数字面值

关于复数字面值的表示,我们其实有三种方法。

第一种,我们可以通过复数字面值直接初始化一个复数类型变量:

代码语言:javascript复制
var c = 5   6i
var d = 0o123   .12345E 5i // 83 12345i

第二种,Go 还提供了 complex 函数,方便我们创建一个 complex128 类型值:

代码语言:javascript复制
var c = complex(5, 6) // 5   6i
var d = complex(0o123, .12345E 5) // 83 12345i

第三种,你还可以通过 Go 提供的预定义的函数 real 和 imag,来获取一个复数的实部与虚部,返回值为一个浮点类型:

代码语言:javascript复制
var c = complex(5, 6) // 5   6i
r := real(c) // 5.000000
i := imag(c) // 6.000000

4.4 格式化输出

复数形式的格式化输出的问题,由于 complex 类型的实部与虚部都是浮点类型,所以我们可以直接运用浮点型的格式化输出方法,来输出复数类型,以下是一个示例:

代码语言:javascript复制
package main

import "fmt"

func main() {
    // 创建复数
    z := complex(3, 4) // 3   4i

    // 获取复数的实部和虚部,并使用浮点型格式化输出
    realPart := real(z)
    imagPart := imag(z)

    fmt.Printf("Real Part: %fn", realPart)
    fmt.Printf("Imaginary Part: %fn", imagPart)
}

五、布尔值

5.1 布尔类型声明

在Go语言中,可以使用bool关键字来声明布尔类型变量,这些变量只能取 true(真)或 false(假)这两个值。

代码语言:javascript复制
var isTrue bool = true
var isFalse bool = false

5.2 注意:

默认值:布尔类型变量的默认值为false

代码语言:javascript复制
	var a bool
	fmt.Println(a) // 输出为false

强制类型转换:Go语言不允许将整数或其他数据类型强制转换为布尔型。只有布尔类型的值可以被用于布尔表达式中,比如条件语句。

代码语言:javascript复制
	var x string = "2222"
	// 错误,cannot convert x (variable of type string) to type bool
	var isTrue bool = bool(x)
	fmt.Println(isTrue)

数值运算和转换:布尔型无法直接参与数值运算,也无法与其他数据类型进行数值转换。这是因为布尔类型只有两个可能的值,不适合数学运算或数值转换。

代码语言:javascript复制
var b bool = true
var i int = 10

// 错误,无法将布尔型和整数相加
// var result = b   i

// 错误,无法将整数转换为布尔型
// var b2 bool = bool(i)

5.3 逻辑运算符

运算符

说明

示例

结果

! (非)

取反,将真变假,假变真

!true

false

&& (与)

两边都为真,结果为真,否则为假

true && false

false

|| (或)

两边任意一边为真,结果为真,两边都为假,结果为假

true || false

true

== (等于)

两边相等,结果为真;不相等,结果为假

1 == 1

true

!= (不等于)

两边不相等,结果为真;相等,结果为假

1 != 2

true

代码语言:javascript复制
package main

import "fmt"

func main() {
	var isTrue bool = true
	var isFalse bool = false
	// 布尔值的逻辑运算
	andResult := isTrue && isFalse // 与运算,结果为 false
	orResult := isTrue || isFalse  // 或运算,结果为 true
	notResult := !isTrue           // 非运算,结果为 false

	fmt.Println("AND result:", andResult)
	fmt.Println("OR result:", orResult)
	fmt.Println("NOT result:", notResult)
}

六、字符串

6.1 两种写法

6.1.1 单行字符串

使用双引号" "来定义:

代码语言:javascript复制
s1 := "This is a string"
6.1.2 多行字符串

使用反引号 `` 来定义:

代码语言:javascript复制
var s string = `         ,_---~~~~~----._
    _,,_,*^____      _____*g*"*,--,
   / __/ /'     ^.  /       ^@q   f
  [  @f | @))    |  | @))   l  0 _/
   /   ~____ / __ _____/     
    |           _l__l_           I
    }          [______]           I
    ]            | | |            |
    ]             ~ ~             |
    |                            |
     |                           |`
fmt.Println(s)

多行字符串中可以直接加入换行,并且会原样保留换行符。

多行字符串常用于需要编写包含换行的长文本。

需要注意:

  • 单双引号定义的字符串效果一样
  • 多行字符串会保留文字中的空格和换行
  • 不能在单行字符串内直接换行,需要使用转义符n

6.2 字符串转义符

Go 语言的字符串常见转义符包含回车、换行、单双引号、制表符等,如下表所示。

转义符

含义

r

回车符(返回行首)

n

换行符(直接跳到下一行的同列位置)

t

制表符

'

单引号

"

双引号

\

反斜杠

举个例子,我们要打印一个Windows平台下的一个文件路径:

代码语言:javascript复制
package main
import (
    "fmt"
)
func main() {
    fmt.Println("str := "c:\Code\lesson1\go.exe"")
}

6.3 字符串特性

6.3.1 string 类型的数据是不可变的
  • string 类型的数据是不可变的,提高了字符串的并发安全性和存储利用率。

Go 语言规定,字符串类型的值在它的生命周期内是不可改变的。这就是说,如果我们声明了一个字符串类型的变量,那我们是无法通过这个变量改变它对应的字符串值的,但这并不是说我们不能为一个字符串类型变量进行二次赋值。

什么意思呢?我们看看下面的代码就好理解了:

代码语言:javascript复制
var s string = "hello"
s[0] = 'k'   // 错误:字符串的内容是不可改变的
s = "gopher" // ok

在这段代码中,我们声明了一个字符串类型变量 s。当我们试图通过下标方式把这个字符串的第一个字符由 h 改为 k 的时候,我们会收到编译器错误的提示:字符串是不可变的。但我们仍可以像最后一行代码那样,为变量 s 重新赋值为另外一个字符串。

Go 这样的“字符串类型数据不可变”的性质给开发人员带来的最大好处,就是我们不用再担心字符串的并发安全问题。这样,Go 字符串可以被多个 Goroutine(Go 语言的轻量级用户线程)共享,开发者不用因为担心并发安全问题,使用会带来一定开销的同步机制。

另外,也由于字符串的不可变性,针对同一个字符串值,无论它在程序的几个位置被使用,Go 编译器只需要为它分配一块存储就好了,大大提高了存储利用率。

6.3.2 Go 语言里的字符串的内部实现使用UTF-8编码
  • 对非 ASCII 字符提供原生支持,消除了源码在不同环境下显示乱码的可能。

Go 语言源文件默认采用的是 Unicode 字符集,Unicode 字符集是目前市面上最流行的字符集,它囊括了几乎所有主流非 ASCII 字符(包括中文字符)。Go 字符串中的每个字符都是一个 Unicode 字符,并且这些 Unicode 字符是以 UTF-8 编码格式存储在内存当中的。

6.4 字符串的常用操作

6.4.1 字符串拼接

使用 操作符拼接字符串

代码语言:javascript复制
	s := "hello"   " world" 
	println(s)

通过fmt.Sprintf进行格式化拼接

代码语言:javascript复制
println(fmt.Sprintf("hello %d", 123))
6.4.2 字符串长度

使用len() 获取字符串字节长度:

代码语言:javascript复制
	println(len("你好")) // 输出6
	println(len("你好abc")) // 输出9

使用utf8.RuneCountInString()函数获取字符个数:

代码语言:javascript复制
println(utf8.RuneCountInString("你好abc")) // 输出5
6.4.3 索引取值

在字符串的实现中,真正存储数据的是底层的数组。字符串的下标操作本质上等价于底层数组的下标操作。可以通过索引下标访问字符串中每个字符:

代码语言:javascript复制
var s = "中国人"
fmt.Printf("0x%xn", s[0]) // 0xe4:字符“中” utf-8编码的第一个字节

我们可以看到,通过下标操作,我们获取的是字符串中特定下标上的字节,而不是字符。

6.4.4 字符迭代

Go 有两种迭代形式:常规 for 迭代与 for range 迭代。你要注意,通过这两种形式的迭代对字符串进行操作得到的结果是不同的。

(一)、for 迭代

通过常规 for 迭代对字符串进行的操作是一种字节视角的迭代,每轮迭代得到的的结果都是组成字符串内容的一个字节,以及该字节所在的下标值,这也等价于对字符串底层数组的迭代,比如下面代码:

代码语言:javascript复制
var s = "中国人"

for i := 0; i < len(s); i   {
  fmt.Printf("index: %d, value: 0x%xn", i, s[i])
}

运行这段代码,我们会看到,经过常规 for 迭代后,我们获取到的是字符串里字符的 UTF-8 编码中的一个字节:

代码语言:javascript复制
index: 0, value: 0xe4
index: 1, value: 0xb8
index: 2, value: 0xad
index: 3, value: 0xe5
index: 4, value: 0x9b
index: 5, value: 0xbd
index: 6, value: 0xe4
index: 7, value: 0xba
index: 8, value: 0xba
(二)、for range 迭代

像下面这样使用 for range 迭代,我们得到的又是什么呢?我们继续看代码:

代码语言:javascript复制
var s = "中国人"

for i, v := range s {
    fmt.Printf("index: %d, value: 0x%xn", i, v)
}

同样运行一下这段代码,我们得到:

代码语言:javascript复制
index: 0, value: 0x4e2d
index: 3, value: 0x56fd
index: 6, value: 0x4eba

我们看到,通过 for range 迭代,我们每轮迭代得到的是字符串中 Unicode 字符的码点值,以及该字符在字符串中的偏移值。我们可以通过这样的迭代,获取字符串中的字符个数,而通过 Go 提供的内置函数 len,我们只能获取字符串内容的长度(字节个数)。当然了,获取字符串中字符个数更专业的方法,是调用标准库 UTF-8 包中的 RuneCountInString 函数。

6.4.5 字符串比较

Go 字符串类型支持各种比较关系操作符,包括 = =、!= 、>=、<=、> 和 <。在字符串的比较上,Go 采用字典序的比较策略,分别从每个字符串的起始处,开始逐个字节地对两个字符串类型变量进行比较。

当两个字符串之间出现了第一个不相同的元素,比较就结束了,这两个元素的比较结果就会做为串最终的比较结果。如果出现两个字符串长度不同的情况,长度比较小的字符串会用空元素补齐,空元素比其他非空元素都小。

以下是Go 字符串比较的示例:

代码语言:javascript复制
func main() {
        // ==
        s1 := "世界和平"
        s2 := "世界"   "和平"
        fmt.Println(s1 == s2) // true

        // !=
        s1 = "Go"
        s2 = "C"
        fmt.Println(s1 != s2) // true

        // < and <=
        s1 = "12345"
        s2 = "23456"
        fmt.Println(s1 < s2)  // true
        fmt.Println(s1 <= s2) // true

        // > and >=
        s1 = "12345"
        s2 = "123"
        fmt.Println(s1 > s2)  // true
        fmt.Println(s1 >= s2) // true
}

你可以看到,鉴于 Go string 类型是不可变的,所以说如果两个字符串的长度不相同,那么我们不需要比较具体字符串数据,也可以断定两个字符串是不同的。但是如果两个字符串长度相同,就要进一步判断,数据指针是否指向同一块底层存储数据。如果还相同,那么我们可以说两个字符串是等价的,如果不同,那就还需要进一步去比对实际的数据内容。

6.4.6 字符串转换

在这方面,Go 支持字符串与字节切片、字符串与 rune 切片的双向转换,并且这种转换无需调用任何函数,只需使用显式类型转换就可以了。我们看看下面代码:

代码语言:javascript复制
var s string = "中国人"
                      
// string -> []rune
rs := []rune(s) 
fmt.Printf("%xn", rs) // [4e2d 56fd 4eba]
                
// string -> []byte
bs := []byte(s) 
fmt.Printf("%xn", bs) // e4b8ade59bbde4baba
                
// []rune -> string
s1 := string(rs)
fmt.Println(s1) // 中国人
                
// []byte -> string
s2 := string(bs)
fmt.Println(s2) // 中国人
6.4.7 strings 提供的常用API

strings包提供了Go语言字符串操作的常用API:

函数

说明

strings.Contains(s, substr)

判断字符串s是否包含子串substr

strings.Index(s, substr)

返回子串substr在s中首次出现的索引

strings.Join(a[]string, sep)

将字符串数组a通过sep连接起来

strings.Repeat(s, count)

重复s字符串count次

strings.Replace(s, old, new, n)

将s中的old子串替换为new,最多n次

strings.Split(s, sep)

通过sep分割s字符串,返回子串数组

strings.ToLower(s)

s全部转为小写

strings.ToUpper(s)

s全部转为大写

strings.Fields(s)

将字符串s按空格分解为子串数组

strings.TrimSpace(s)

去除s头尾空白字符

七、byte和rune类型

7.1 字符

组成每个字符串的元素叫做“字符”,可以通过遍历或者单个获取字符串元素获得字符。 字符用单引号(’)包裹起来,如:

代码语言:javascript复制
var a = '中'
var b = 'x'

7.2 byte

  • byte类型代表了ASCII码的一个字符。字节的值范围是0到255。是 uint8 的别名。
  • byte类型经常用于处理二进制数据流,或需要处理ASCII字符时,如读写文件,数据流的编码解码等。

例如:

代码语言:javascript复制
var a byte = 'A'

7.3 rune

  • runeint32 的别名,它用于表示32位的Unicode字符,范围从0到65535,。
  • rune类型代表一个UTF-8字符。实际上它是一个int32的别名。
  • rune 类型通常用于处理文本和字符串,特别是当需要支持多语言字符集(如UTF-8编码的Unicode字符)时。比如:需要处理中文、日文或者其他复合字符时,则需要用到rune类型。

例如:

代码语言:javascript复制
var a rune = '国'

7.4 简单示例

以下是一些示例,演示了byterune 类型的用法:

代码语言:javascript复制
package main

import "fmt"

func main() {
    // 使用 byte 表示单个 ASCII 字符
    var ch byte = 'A'
    fmt.Printf("byte: %cn", ch)

    // 使用 rune 表示 Unicode 字符
    var ru rune = '你'
    fmt.Printf("rune: %cn", ru)

    // 使用 rune 处理字符串中的 Unicode 字符
    str := "你好,世界!"
    for _, char := range str {
        fmt.Printf("rune: %cn", char)
    }
}

在上述示例中,我们首先使用 byterune 分别表示单个ASCII字符和Unicode字符。然后,我们使用 rune 处理包含多个Unicode字符的字符串。

总之,byterune 类型在Go语言中用于处理字符和字节,其中 byte 主要用于处理ASCII字符和字节数据,而 rune 用于处理Unicode字符,特别是用于处理多语言文本。

八、类型转换

Go语言中只有强制类型转换,没有隐式类型转换。该语法只能在两个类型之间支持相互转换的时候使用。

强制类型转换的基本语法如下:

代码语言:javascript复制
T(expression)

其中,T 表示要转换的目标类型,expression 是要转换的表达式。这个语法只能在两种数据类型之间支持相互转换的情况下使用。

以下是一些示例,演示了不同数据类型之间的强制类型转换:

代码语言:javascript复制
package main

import "fmt"

func main() {
    // 整数到浮点数的转换
    var x int = 42
    y := float64(x)
    fmt.Printf("x: %d, y: %fn", x, y)

    // 浮点数到整数的转换(截断小数部分)
    var a float64 = 3.14
    b := int(a)
    fmt.Printf("a: %f, b: %dn", a, b)

    // 类型不匹配,需要显式转换
    var c int = 10
    var d int64 = int64(c)
    fmt.Printf("c: %d, d: %dn", c, d)

    // 字符串到字节切片的转换
    str := "Hello, Go!"
    bytes := []byte(str)
    fmt.Printf("str: %s, bytes: %vn", str, bytes)
}

要注意的是,强制类型转换必须在相互兼容的类型之间进行,且需要明确指定目标类型,不会自动进行隐式转换。

九、自定义类型

9.1 type 关键字

如果我们要通过 Go 提供的类型定义语法,来创建自定义的数值类型,我们可以通过 type 关键字基于原生内置类型来声明一个新类型。

9.2 自定义类型

下面我们就来建立一个名为 MyInt 的新的数值类型看看:

代码语言:javascript复制
type MyInt int32

这里,因为 MyInt 类型的底层类型是 int32,所以它的数值性质与 int32 完全相同,但它们仍然是完全不同的两种类型。根据 Go 的类型安全规则,我们无法直接让它们相互赋值,或者是把它们放在同一个运算中直接计算,这样编译器就会报错。

代码语言:javascript复制
var m int = 5
var n int32 = 6
var a MyInt = m // 错误:在赋值中不能将m(int类型)作为MyInt类型使用
var a MyInt = n // 错误:在赋值中不能将n(int32类型)作为MyInt类型使用

要避免这个错误,我们需要借助显式转型,让赋值操作符左右两边的操作数保持类型一致,像下面代码中这样做:

代码语言:javascript复制
var m int = 5
var n int32 = 6
var a MyInt = MyInt(m) // ok
var a MyInt = MyInt(n) // ok

我们也可以通过 Go 提供的类型别名(Type Alias)语法来自定义数值类型。和上面使用标准 type 语法的定义不同的是,通过类型别名语法定义的新类型与原类型别无二致,可以完全相互替代。我们来看下面代码:

代码语言:javascript复制
type MyInt = int32

var n int32 = 6
var a MyInt = n // ok

你可以看到,通过类型别名定义的 MyInt 与 int32 完全等价,所以这个时候两种类型就是同一种类型,不再需要显式转型,就可以相互赋值。

十、数字类型基本运算

10.1 数字类型的基本运算符表格

运算符

描述

示例

加法

x y

-

减法

x - y

*

乘法

x * y

/

除法

x / y

%

求余

x % y

自增

x

--

自减

x--

10.2 基本运算

在Go语言中,数字类型(包括整数和浮点数)支持基本的数学运算,包括加法、减法、乘法和除法。以下是这些运算的示例:

代码语言:javascript复制
package main

import "fmt"

func main() {
    // 整数运算
    var a, b int = 10, 5

    // 加法
    sum := a   b
    fmt.Printf("a   b = %dn", sum)

    // 减法
    difference := a - b
    fmt.Printf("a - b = %dn", difference)

    // 乘法
    product := a * b
    fmt.Printf("a * b = %dn", product)

    // 除法
    quotient := a / b
    fmt.Printf("a / b = %dn", quotient)

    // 浮点数运算
    var x, y float64 = 3.14, 1.5

    // 加法
    sumFloat := x   y
    fmt.Printf("x   y = %fn", sumFloat)

    // 减法
    differenceFloat := x - y
    fmt.Printf("x - y = %fn", differenceFloat)

    // 乘法
    productFloat := x * y
    fmt.Printf("x * y = %fn", productFloat)

    // 除法
    quotientFloat := x / y
    fmt.Printf("x / y = %fn", quotientFloat)
}

十一、思考

下面例子中 f1 为何会与 f2 相等?

代码语言:javascript复制
package main

import "fmt"

func main() {
	var f1 float32 = 16777216.0
	var f2 float32 = 16777217.0
	fmt.Println(f1 == f2) // true
}

欢迎在留言区留下你的答案。

0 人点赞