一、基本类型
清晰完备的预定义基础类型,使得开发跨平台应用时无须过多考虑符合和长度差异。
类型 | 长度 | 默认值 | 说明 |
---|---|---|---|
bool | 1 | false | |
byte | 1 | 0 | uint8 |
int, uint | 4, 8 | 0 | 默认整数类型,依据目标平台,32 或 64 位 |
int8, uint8 | 1 | 0 | -128 ~ 127,0 ~ 125 |
int16, uint16 | 2 | 0 | -32,768 ~ 32,767,0 ~ 65,535 |
int32, uint32 | 4 | 0 | -21亿 ~ 21亿,0 ~ 42亿 |
int64, uint64 | 8 | 0 | |
float32 | 4 | 0.0 | |
float64 | 8 | 0.0 | 默认浮点数类型 |
complex64 | 8 | ||
complex128 | 16 | ||
rune | 4 | 0 | Unicode Code Point, int32 |
uintptr | 4, 8 | 0 | 足以存储指针的 uint |
string | "" | 字符串,默认值为空字符串,而非 NULL | |
array | 数组 | ||
struct | 结构体 | ||
function | nil | 函数 | |
interface | nil | 接口 | |
map | nil | 字典,引用类型 | |
slice | nil | 切片,引用类型 | |
channel | nil | 通道,引用类型 |
支持八进制、十进制以及科学计数法。标准库 math 定义了各数字类型的取值范围。
import ( "fmt" "math" ) func main() { a, b, c := 100, 0144, 0x64 fmt.Println(a, b, c) fmt.Printf("0b%b, %#o, %#x\n", a, a, a) fmt.Println(math.MinInt8, math.MaxInt8) }
输出:
100 100 100 0b1100100, 0144, 0x64 -128 127
标准库 strconv 可在不同进制(字符串)间转换。
import ( "strconv" ) func main() { a, _ := strconv.ParseInt("1100100", 2, 32) b, _ := strconv.ParseInt("0144", 8, 32) c, _ := strconv.ParseInt("64", 16, 32) println(a, b, c) println("0b" + strconv.FormatInt(a, 2)) println("0" + strconv.FormatInt(a, 8)) println("0x" + strconv.FormatInt(a, 16)) }
输出:
100 100 100 0b1100100 0144 0x64
使用浮点数时,须注意小数位的有效精度,相关细节可参考 IEEE-754 标准。
func main() { var a float32 = 1.1234567899 // 注意:默认浮点数类型是 float64 var b float32 = 1.12345678 var c float32 = 1.123456781 println(a, b, c) println(a == b, a == c) fmt.Printf("%v %v, %v\n", a, b, c) }
输出:
+1.123457e+000 +1.123457e+000 +1.123457e+000 true true 1.1234568 1.1234568, 1.1234568
别名
在官方的语言规范中,专门提到 两个 别名。
byte alias for unit8
rune alias for unit32
别名类型无须转换,可直接赋值。
func test(x byte) { println(x) } func main() { var a byte = 0x11 var b uint8 = a var c uint8 = a + b test(c) }
但这并不表示,拥有相同底层结构的就属于别名。就算在 64位 平台上 int 和 int64 结构完全一致,也分属不同类型,须显式转换。
func add(x, y int) int { return x + y } func main() { var x int = 100 var y int64 = x // 错误:cannot use x (type int) as type int64 in assignment add(x, y) // 错误:cannot use y (type int64) as type int in argument to add }
二、引用类型
所谓引用类型(reference type),特指 slice 、map 、channel 这三种预定义类型。相比 数字 、数组 等类型,引用类型 拥有更复杂的存储结构。除分配内存外,他们还须初始化一系列属性,诸如 指针 、长度 ,甚至包括哈希分布、数据队列等。
内置函数 new() 按指定类型长度分配零值内存,返回指针,并不关心类型内部结构和初始化方式。而 引用类型 则必须使用 make() 函数创建,编译器会将 make() 转换为目标类型专用的创建函数(或指令),以确保完成全部内存分配和相关属性初始化。
// test.go 文件
package main func mkslice() []int { s := make([]int, 0, 10) s = append(s, 100) return s } func mkmap() map[string]int { m := make(map[string]int) m["a"] = 1 return m } func main() { m := mkmap() println(m["a"]) s := mkslice() println(s[0]) }
输出:
$ go build -gcflags "-l" // 禁用函数内联 $ go tool objdump -s "main\.mk" test TEXT main.mkslie(SB) test.go CALL runtime.makeslice(SB) TEXT main.mkmap(SB) test.go CALL runtime.makemap(SB)
除 new() / make() 函数外,也可用 初始化表达式,编译器生成的指令基本相同。
当然,new() 函数也可为引用类型分配内存,但这是不完整创建。以字典(map)为例,它仅分配了字典类型本身(实际就是个指针包装)所需内存,并没有分配键值存储内存,也没有初始化散列桶等内部属性,因此它无法正常工作。
import "fmt" func main() { p := new(map[string]int) // 函数 new 返回指针 m := *p m["a"] = 1 // 报错:panic: assignment to entry in nil map [运行期错误] fmt.Println(m) }
三、类型转换
隐式转换造成的问题远大于它带来的好处。
除 常量 、别名类型 以及 未命名类型 外,Go 强制要求使用显示类型转换。加上不支持操作符重载,所以我们总是能确定语句及表达式的明确含义。
func main() { a := 10 b := byte(a) c := a + int(b) // 混合类型表达式必须确保类型一致 fmt.Println(c) }
同样不能讲 非bool 类型结果当作 true/false 使用。
func main() { x := 100 var b bool = x // 报错:cannot use x (type int) as type bool in assignment if x { // 报错:non-bool x (type int) used as if condition } }
语法歧义
如果转换的目标 指针 、单向通道 或 没有返回值的函数 类型,那么必须使用 括号(),以避免造成语法分解错误。
func main() { x := 100 p := *int(&x) // 报错:cannot convert &x (type *int) to type int // invalid indirect of int(&x) (type int) println(p) }
正确的做法是用括号,让编译器将 *int 解析为指针类型。
(*int)(p) --> 如果没有括号 --> *(int(p))
(<-chan int)(c) <-(chan int(c))
(func())(x) func() xfunc() int (x) --> 有返回值的函数类型可省略括号,但依然建议使用。
(func() int) (x) 使用括号后,更易阅读
四、自定义类型
使用关键字 type 定义用户自定义类型,包括基于现有基础类型创建,或者是 结构体 、函数类型 等。
type flags byte const ( read flags = 1 << iota write exec ) func main() { f := read | exec fmt.Printf("%b\n", f) // 输出二进制标志位 }
输出:
101
和 var 、const 类似,多个 type 定义可以合并成组,可在 函数 或 代码块内定义局部类型。
func main() { type ( // 组 user struct { // 结构体 name string age uint8 } event func(string) bool // 函数类型 ) u := user{"Tom", 20} fmt.Println(u) var f event = func(s string) bool { println(s) return s != "" } f("abc") }
输出:
{Tom 20} abc
即便指定了基础类型,也只表明它们有相同底层数据结构,两者间不存在任何关系,属完全不同的两种类型。除操作符外,自定义类型不会继承基础类型的其他信息(包括方法)。不能视作别名,不能隐式转换,不能直接用于比较表达式。
func main() { type data int var d data = 10 var x int = d // 错误:annot use d (type data) as type int in assignment println(x) println(d == x) // 错误:invalid operation: d == x (mismatched types data and int) }
未命名类型
与有明确标识符的 bool 、int 、string 等类型相比,数组 、切片 、字典 、通道 等类型与具体元素类型或长度等属性有关,故称作 未命名类型(unnamed type)。当然,可用 type 为其提供 具体名称,将其改变为 命名类型(named type)。
具有相同声明的未命名类型视作同一类型。
- 具有相同基类型的指针;
- 具有相同元素类型 和 长度的数组(array);
- 具有相同元素类型的切片(slice);
- 具有相同键值类型的字典(map);
- 具有相同数据类型及操作方向的通道(channel);
- 具有相同字段序列(字段名、字段类型、标签,以及字段顺序)的结构体(struct);
- 具有相同签名(参数和返回值列表,不包括参数名)的函数(func);
- 具有相同方法集(方法名、方法签名,不包括顺序)的接口(interface);
容易被忽视的是 struct tag,它也属于类型组成部分,而不仅仅是元数据描述。
func main() { var a struct { // 匿名结构类型 x int `X` s string `S` } var b struct { x int s string } b = a // 错误:cannot use a (type struct { x int "X"; s string "S" }) as type struct { x int; s string } in assignment fmt.Println(b) }
同样,函数的参数顺序也属签名组成部分。
func main() { var a func(int, string) var b func(string, int) b = a // 错误:cannot use a (type func(int, string)) as type func(string, int) in assignment b("s", 1) }
未命名类型转换规则:
- 所属类型相同;
- 基础类型相同,且其中一个是未命名类型
- 数据类型相同,将双向通道赋值给单向通道,且其中一个为未命名类型;
- 将默认值 nil 赋值给 切片、字典、通道、指针、函数 或 接口;
- 对象实现了目标接口;
func main() { type data [2]int var d data = [2]int{1, 2} // 基础类型相同,右值为 未命名类型 fmt.Println(d) a := make(chan int, 2) var b chan<- int = a // 双向通道 转换为 单向通道,其中 b 为 未命名类型 b <- 2 }