Go语言基础数据类型详解

本文深入剖析了Go语言五大基础数据类型（bool、整数、浮点数、复数、string）的核心特性与常见陷阱：强调无隐式转换的严格类型系统、string的不可变性与UTF-8字节本质、rune对Unicode字符的正确处理；澄清byte和rune仅为别名而非新类型；揭示map/slice/struct等引用与值类型的panic根源；对比数组与切片在内存、比较、传参上的本质差异；并警示interface{}和type alias的误用风险，同时指出Go泛型已成更安全的替代方案——这些看似基础的知识点，恰恰是写出健壮、高效、无bug Go代码的关键防线。

Go 有哪些基础类型？直接列出来，别绕弯

Go 的基础类型就五类： bool、整数（int8/int32/uint64 等）、浮点数（float32/float64）、复数（complex64/complex128）、string。其中 byte 是 uint8 的别名，rune 是 int32 的别名——它们不是新类型，只是语义更清晰的写法。

关键点在于：没有隐式转换。比如 int 和 int32 完全是不同类型，var x int32 = 5; var y int = x 会编译失败，必须显式写成 int(x)。

• string 是只读字节序列，s[0] = 'a' 直接报错；要改内容得先转 []byte，再转回 string
• len("你好") 返回 6（UTF-8 字节数），不是字符数；想按“字”取第 0 个，得用 []rune("你好")[0]
• float64 是默认浮点类型，但 0.1 + 0.2 == 0.3 为 false；比较浮点数务必用误差容忍，比如 math.Abs(a-b)

map、slice、struct 这些为什么总 panic？

因为它们是引用类型，零值是 nil，不是空容器。直接对 nil map 赋值或遍历，运行时 panic；nil slice 可以 len()、append()（Go 会自动 make），但 nil struct 没这待遇——它就是个普通值类型。

• var m map[string]int → m["k"] = 1 panic；必须 m = make(map[string]int) 或字面量 m := map[string]int{"k": 1}
• var s []int → len(s) 返回 0，append(s, 1) 可用；但 s[0] = 1 panic（越界）
• struct 不需要 make，但字段未初始化就是零值；嵌入结构体时注意导出规则（首字母大写才可跨包访问）

数组和切片到底差在哪？什么时候该用哪个？

数组是值类型，长度固定且属于类型的一部分，比如 [3]int 和 [4]int 是完全不同的类型；切片是动态视图，底层指向数组，包含指针、长度、容量三元组。

• 传参场景：传大数组会整体拷贝，开销大；传切片只拷贝头信息（24 字节），更轻量
• 比较操作：[2]int{1,2} == [2]int{1,2} 合法且为 true；但 []int{1,2} == []int{1,2} 编译失败（切片不可比较）
• 扩容陷阱：s := make([]int, 2, 2); t := append(s, 3) 后，s 和 t 可能不再共享底层数组（若 cap 不够，会分配新数组）

interface{} 和 type alias 容易被当成“万能类型”，其实很危险

interface{} 是空接口，能存任意类型，但取出时必须类型断言（v, ok := x.(string)）或类型切换（switch）。它不提供任何行为约束，只是泛型前的临时解法。

而 type MyInt int 是全新类型，和 int 不兼容——哪怕底层一样，也不能直接赋值或传参，必须显式转换。

• 用 interface{} 做参数时，别忘了检查 ok，否则断言失败 panic
• 定义 type Status uint8 后，http.StatusOK（也是 uint16）不能直接赋给它，哪怕数值相同
• Go 1.18+ 推荐优先用泛型替代 interface{}，比如 func Max[T constraints.Ordered](a, b T) T

最常被忽略的其实是字符串和 rune 的混用——写日志、解析 JSON、处理用户输入时，一不留神就用 str[i] 当“字符”索引，结果中文乱码或截断。这不是 bug，是 UTF-8 编码本质决定的，躲不开，只能记牢、写对。

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~