mirror of
https://github.com/gopl-zh/gopl-zh.github.com.git
synced 2024-11-19 21:03:43 +00:00
192 lines
10 KiB
Markdown
192 lines
10 KiB
Markdown
## 3.1. 整型
|
|
|
|
Go语言的数值类型包括几种不同大小的整形数, 浮点数, 和复数. 每种数值类型都决定了对应的大小范围和是否有正负符号. 让我们先从整形数类型开始介绍.
|
|
|
|
Go同时提供了有符号和无符号的整数运算. 这里有四种int8, int16, int32 和 int64截然不同大小的有符号整形数类型, 分别对应 8, 16, 32, 64 bit 大小的有符号整形数, 与此对应的是 uint8, uint16, uint32, 和 uint64 四种无符号整形数类型.
|
|
|
|
这里还有两种对应特定平台最天然或最有效率的大小有符号和无符号整数int和uint; 其中int是应用最广泛的数值类型. 这两种类型都有同样的大小, 32 或 64 bit, 但是我们不能对此做任何的假设; 因为不同的编译器在相同的硬件平台上可能产生不同的大小.
|
|
|
|
字符rune类型是和int32等价的类型, 通常用于表示一个Unicode码点. 这两个名称可以互换使用. 同样byte也是uint8类型的等价类型, byte类型用于强调数值是一个原始的数据而不是一个小的整数.
|
|
|
|
最好, 还有一个无符号的整数类型 uintptr, 没有指定具体的bit大小但是足以容纳指针. uintptr 类型只有在底层编程是才需要, 特别是Go语言和C函数库或操作系统相交互的地方. 我们将在第十三章的 unsafe 包相关部分看到类似的例子.
|
|
|
|
不管它们的大小, int, uint, 和 uintptr 是不同类型大小的兄弟类型. 其中 int 和 int32 也是不同的类型, 即使int的大小也是32bit, 在需要将int当作int32类型的地方需要一个显式的类型转换, 反之亦然.
|
|
|
|
有符号数采用2的补码形式表示, 也就是最高位用作符号位, 一个nbit的有符号数的值域是 `-2^(n-1)` 到 `(2^(n-1)) - 1`. 无符号整数的所有bit位都用于表示非负数, 值域是 0 到 `(2^n) - 1`. 例如, int8 的值域是 -128 到 127, 而 uint8 的值域是 0 到 255.
|
|
|
|
下面是Go中关于算术, 逻辑和比较的二元运算符按照先级递减的顺序的列表:
|
|
|
|
```
|
|
* / % << >> & &^
|
|
+ - | ^
|
|
== != < <= > >=
|
|
&&
|
|
||
|
|
```
|
|
|
|
二元运算符有五种优先级. 在同一优先级, 使用左优先结合律, 使用括号可以明确优先顺序, 括号也可以用于提升优先级, 例如 `mask & (1 << 28)`.
|
|
|
|
对于上表中前两行的运算符, 例如 + 有一个相应的赋值结合运算符 +=, 可以用于简化赋值语句.
|
|
|
|
整数的算术运算符 +, -, *, 和 / 可以适用与整数, 浮点数和复数, 但是取模运算符 % 仅用于整数. 不同编程语言间, % 取模运算的行为并不相同. 在Go语言中, % 取模运算符的符号和被取模数的符号总是一致的, 因此 `-5%3` 和 `-5%-3` 结果都是 -2.除法运算符 `/` 的行为依赖于操作数是否为整数, 因此 `5.0/4.0` 的结果是 1.25, 但是 5/4 的结果是 1, 因此整数除法会向着0方向截断余数.
|
|
|
|
|
|
如果一个算术运算的结果, 不管是有符号或者是无符号的, 如果需要更多的bit位才能表示, 就说明是溢出了. 超出的高位的bit位部分将被丢弃. 如果原始的数值是有符号类型, 那么最终结果可能是负的, 如果最左边的bit为是1的话, 例如int8的例子:
|
|
|
|
```Go
|
|
var u uint8 = 255
|
|
fmt.Println(u, u+1, u*u) // "255 0 1"
|
|
|
|
var i int8 = 127
|
|
fmt.Println(i, i+1, i*i) // "127 -128 1"
|
|
```
|
|
|
|
两个相同的整数类型可以使用下面的二元比较运算符进行比较; 比较表达式的结果是布尔类型.
|
|
|
|
```
|
|
== equal to
|
|
!= not equal to
|
|
< less than
|
|
<= less than or equal to
|
|
> greater than
|
|
>= greater than or equal to
|
|
```
|
|
|
|
事实上, 布尔型, 数字类型 和 字符串 等基本类型都是可比较的, 也就是说两个相同类型的值可以用 == 和 != 进行比较. 此外, 整数, 浮点数和字符串可以根据比较结果排序. 许多其他类型的值是不可比较, 因此也就是不可排序的. 对于我们遇到的每种类型, 我们需要保证规则是类似的.
|
|
|
|
这里是一元的加法和减法运算符:
|
|
|
|
```
|
|
+ 一元加法 (无效果)
|
|
- 负数
|
|
```
|
|
|
|
对于整数, +x 是 0+x 的简写, -x 是 0-x 的简写; 对于浮点数和复数, +x 就是 x, -x 则是 x 的负数.
|
|
|
|
Go语言还提供了以下的bit位操作运算符, 前面4个操作运算符并不区分是有符号还是无符号数:
|
|
|
|
```
|
|
& 位运算 AND
|
|
| 位运算 OR
|
|
^ 位运算 XOR
|
|
&^ 位清空 (AND NOT)
|
|
<< 左移
|
|
>> 右移
|
|
```
|
|
|
|
位操作运算符 `^` 作为二元运算符时是按位异或(XOR), 当用作一元运算符时表示按位取反; 也就是说, 它返回一个每个bit位都取反的数. 位操作运算符 `&^` 用于按位置零(AND NOT): 表达式 `z = x &^ y` 结果z的bit位1, 如果对应y中bit位为1, 否则对应的bit位等于x相应的bit位的值.
|
|
|
|
|
|
|
|
下面的代码演示了如何使用位操作解释uint8类型值的8个独立的bit位. 它使用了 Printf 函数的 %b 参数打印二进制格式的数字; 其中 %08b 中08表示打印至少8个数字, 不足的前缀用0填充.
|
|
|
|
```Go
|
|
var x uint8 = 1<<1 | 1<<5
|
|
var y uint8 = 1<<1 | 1<<2
|
|
|
|
fmt.Printf("%08b\n", x) // "00100010", the set {1, 5}
|
|
fmt.Printf("%08b\n", y) // "00000110", the set {1, 2}
|
|
|
|
fmt.Printf("%08b\n", x&y) // "00000010", the intersection {1}
|
|
fmt.Printf("%08b\n", x|y) // "00100110", the union {1, 2, 5}
|
|
fmt.Printf("%08b\n", x^y) // "00100100", the symmetric difference {2, 5}
|
|
fmt.Printf("%08b\n", x&^y) // "00100000", the difference {5}
|
|
|
|
for i := uint(0); i < 8; i++ {
|
|
if x&(1<<i) != 0 { // membership test
|
|
fmt.Println(i) // "1", "5"
|
|
}
|
|
}
|
|
|
|
fmt.Printf("%08b\n", x<<1) // "01000100", the set {2, 6}
|
|
fmt.Printf("%08b\n", x>>1) // "00010001", the set {0, 4}
|
|
```
|
|
|
|
(6.5节给出了一个可以远大于一个字节的整数集的实现.)
|
|
|
|
在 x<<n 和 x>>n 移位运算中, 决定了移位操作bit数部分必须是无符号数; 被操作的 x 数可以是有符号或无符号数. 算术上, 一个 x<<n 左移运算等价于乘以 2^n, 一个 x>>n 右移运算等价于除以 2^n.
|
|
|
|
左移运算用零填充右边空缺的bit位, 无符号数的右移运算也是用0填充左边空缺的bit位, 但是有符号数的右移运算会用符号位的值填充左边空缺的bit位. 因为这个原因, 最好用无符号运算, 这样你可以将整数完全当作一个bit位模式处理.
|
|
|
|
尽管Go提供了无符号数和运算, 即使数值本身不可能出现负数我们还是倾向于使用有符号的int类型, 就是数组的长度那样, 虽然使用 uint 似乎是一个更合理的选择. 事实上, 内置的 len 函数返回一个有符号的int, 我们可以像下面这个逆序循环那样处理.
|
|
|
|
```Go
|
|
medals := []string{"gold", "silver", "bronze"}
|
|
for i := len(medals) - 1; i >= 0; i-- {
|
|
fmt.Println(medals[i]) // "bronze", "silver", "gold"
|
|
}
|
|
```
|
|
|
|
另一个选择将是灾难性的. 如果 len 返回一个无符号数, 那么 i 也将是无符号的 uint, 然后条件 i >= 0 则永远为真. 在三次迭代之后, 也就是 i == 0 时, i-- 语句将不会产生 -1, 而是变成一个uint的最大值(可能是 2^64 - 1), 然后 medals[i] 表达式将发生运行时 panic 异常(§5.9), 也就是试图访问一个切片范围以外的元素.
|
|
|
|
出于这个原因, 无符号数往往只有在位运算或其它特殊的运算常见才会使用, 就像 bit 集合, 分形二进制文件格式, 或者是哈希和加密操作等. 它们通常并不用于仅仅是表达非负数量的场合.
|
|
|
|
一般来说, 需要一个显式的转换将一个值从一种类型转化位另一种类型, 并且算术和逻辑运算的二元操作中必须是相同的类型. 虽然这偶尔会导致很长的表达式, 但是它消除了所有的类型相关的问题, 也使得程序容易理解.
|
|
|
|
从其他类似场景下, 考虑下面这个代码:
|
|
|
|
```Go
|
|
var apples int32 = 1
|
|
var oranges int16 = 2
|
|
var compote int = apples + oranges // compile error
|
|
```
|
|
|
|
当尝试编译这三个语句时, 将产生一个错误信息:
|
|
|
|
```
|
|
invalid operation: apples + oranges (mismatched types int32 and int16)
|
|
```
|
|
|
|
这种类型不匹配的问题可以有几种不同的方法修复, 最常见方法是将它们都显式转型位一个常见类型:
|
|
|
|
```Go
|
|
var compote = int(apples) + int(oranges)
|
|
```
|
|
|
|
如2.5节所述, 对于每种类型T, 类型转换操作T(x)将x转换位T类型, 如果转换允许的话. 许多 整形数之间的相互转换并不会改变数值; 它们只是告诉编译器如何解释这个值. 但是对于将一个大尺寸的整数类型转位一个小尺寸的整数类型, 或者是将一个浮点数转位整数, 可能会改变数值或丢失精度:
|
|
|
|
```Go
|
|
f := 3.141 // a float64
|
|
i := int(f)
|
|
fmt.Println(f, i) // "3.141 3"
|
|
f = 1.99
|
|
fmt.Println(int(f)) // "1"
|
|
```
|
|
|
|
浮点数到整数的转换将丢失任何小数部分, 向数轴零方向截断. 你应该避免操作目标类型表示范围的数值类型转换, 因为截断的行为依赖于具体的实现:
|
|
|
|
```Go
|
|
f := 1e100 // a float64
|
|
i := int(f) // 结果依赖于具体实现
|
|
```
|
|
|
|
任何大小的整数字面值都可以用以0开始的八进制格式书写, 例如 0666, 或用以0x或0X开头的十六进制格式书写, 例如 0xdeadbeef. 十六进制数字可以用大写或小写字母. 如今八进制数据通常用于POSIX操作系统上的文件访问权限标志, 十六进制数字则更强调数字值的bit位模式.
|
|
|
|
当使用 fmt 包打印一个数值时, 我们可以用 %d, %o, 或 %x 控制输出的进制格式, 就像下面的例子:
|
|
|
|
```Go
|
|
o := 0666
|
|
fmt.Printf("%d %[1]o %#[1]o\n", o) // "438 666 0666"
|
|
x := int64(0xdeadbeef)
|
|
fmt.Printf("%d %[1]x %#[1]x %#[1]X\n", x)
|
|
// Output:
|
|
// 3735928559 deadbeef 0xdeadbeef 0XDEADBEEF
|
|
```
|
|
|
|
请注意 fmt 的两个使用技巧. 通常 Printf 格式化字符串包含多个 % 参数时将对应相同数量的额外操作数, 但是 % 之后的 `[1]` 副词告诉Printf函数再次使用第一个操作数. 第二, % 后的 `#` 副词告诉 Printf 在用 %o, %x 或 %X 输出时生成 0, 0x 或 0X前缀.
|
|
|
|
字符面值通过一对单引号直接包含对应字符. 最简单的例子是 ASCII 中类似 'a' 字符面值, 但是我们可以通过转义的数值来表示任意的Unicode码点对应的字符, 马上将会看到例子.
|
|
|
|
字符使用 `%c` 参数打印, 或者是 `%q` 参数打印带单引号的字符:
|
|
|
|
```Go
|
|
ascii := 'a'
|
|
unicode := '国'
|
|
newline := '\n'
|
|
fmt.Printf("%d %[1]c %[1]q\n", ascii) // "97 a 'a'"
|
|
fmt.Printf("%d %[1]c %[1]q\n", unicode) // "22269 国 '国'"
|
|
fmt.Printf("%d %[1]q\n", newline) // "10 '\n'"
|
|
```
|
|
|
|
|