平常写代码的时候很多刚从 Python 或者 Java 转过来的朋友上手 Go 最大的不习惯就是类型系统太死板int 不能和 float 直接加数组不能随便扩容Map 取不到键也不报错if 后面还不让写括号。这篇笔记就聚焦 Go 语言最基础但最关键的几个知识点——基本类型、数组与切片、Map、if 和 nil。我把它们放在一起讲不是因为偷懒而是这几个知识点恰好串起了 Go 程序的最小运行骨架用类型声明变量用数组和切片组织数据用 Map 描述键值关系用 if 做流程控制而 nil 则贯穿始终是 Go 里最特殊、也最容易踩坑的一个值。这篇内容适合刚学 Go 的初学者、准备转 Go 的 Python/Java 开发者也适合写过一段时间 Go 但总在切片扩容、nil 判断上犯迷糊的同学。我会带着实际踩过的坑来讲争取让你看完就能直接写代码少走弯路。1. 基本类型每个变量都得有个名字1.1 整数、浮点、布尔Go 的类型为什么分这么细Go 的内置基本类型比 Python 丰富得多也比 Java 更较真。整型就有 int8、int16、int32、int64对应的无符号版本 uint8、uint16、uint32、uint64还有平台相关的 int、uint。很多人一开始觉得麻烦但真正写项目后你会发现这种精细划分在底层网络协议解析、二进制文件读写、序列化场景里特别有用——你完全可以用 int8 精确表示一个字节范围的值内存占用清清楚楚。浮点类型只有 float32 和 float64默认就选 float64精度更高。值得注意的是 Go 没有 double 这种别名float64 就是那个双精度。项目中如果你只做普通业务计算直接用 float64 就行但涉及金额、费率这类对精度敏感的数据浮点会出现 0.10.2 ! 0.3 的问题这时应该考虑 decimal 库而不是硬用浮点。布尔类型 bool 只有 true 和 false 两个值它和整数没有任何自动转换关系。这在 Python 里几乎不可想象因为在 Python 里if 1:是合法的。Go 的哲学是显式优于隐式任何需要条件判断的地方都要求你明确写出布尔表达式。还有一个很关键的机制叫零值zero value。Go 里你声明一个变量但不初始化它不会像 C 那样给你一块未定义的内存而是自动赋予该类型的零值数值类型是 0布尔是 false字符串是空字符串 后面要讲的切片、Map、指针、接口则是 nil。这个设计让我省了无数初始化代码也从根本上减少了很多忘了初始化导致的随机 bug。1.2 字符串本质是个只读字节数组Go 的 string 是内置类型底层是一段只读的字节序列。它和 Java 的 String 一样不可变但和 Java 不同的是Go 的字符串没有编码的概念——它就是一串字节。这带来一个很多人初次接触时会懵的问题len(hello)返回 5 没问题但len(你好)返回的却是 6因为一个中文字符在 UTF-8 编码下占 3 个字节。要正确处理字符串中的字符需要区分两个概念byte 和 rune。byte 是 uint8 的别名代表一个字节rune 是 int32 的别名代表一个 Unicode 字符。用for i : 0; i len(s); i遍历字符串拿到的是字节用for i, r : range s遍历拿到的是字符。日常处理用户输入、文件名、日志文本时绝大多数情况都应该用 range 来遍历或者先转成[]rune(s)再按下标操作。字符串转换在 Go 里也很有意思。string(65)得到的是 A 而不是 65因为这里是把整数当作 Unicode 码点转换。想出 65 得用strconv.Itoa(65)。我从 C 转过来时在这个地方翻过车建议新手专门记一下数字转字符串用 strconv 包字符串转数字用strconv.Atoi或strconv.ParseInt。1.3 类型转换Go 没有自动变身Go 不允许隐式类型转换这是它和 C、Python 最大的区别之一。intValue : 5; floatValue : intValue这种写法直接编译报错必须写成float64(intValue)。初看觉得啰嗦但用过之后我觉得这是好事——隐式转换往往会在数据边界出问题比如大整数转小整数溢出、浮点转整数截断Go 选择把这些潜在的坑暴露在编译期逼着你显式处理。转换时要注意几个不直观的地方浮点转整数会直接截断小数部分不是四舍五入大范围类型转小范围类型会截断高位比如 int16 转 int8 只保留低 8 位如果值超出范围结果可能让你怀疑人生。项目里处理用户 ID、时间戳这类跨系统数据时我习惯先做一次范围校验再转避免数据被悄悄截断。2. 数组与切片一个定死一个随心2.1 数组长度刻在类型里的定长盒子Go 的数组声明方式是var arr [3]int初始化可以用[3]int{1,2,3}也可以让编译器数数[...]int{1,2,3}。这里最反直觉的一点是数组长度是类型的一部分。[3]int和[4]int是两种完全不同的类型不能互相赋值也不能用同一个函数参数类型来接收。数组在 Go 里是值类型。这意味着你写arr2 : arr1arr2 会完整复制整个数组修改 arr2 不会影响 arr1。函数传参也是一样传数组就是整体拷贝。这在 C 语言里是难以想象的因为 C 数组传参退化成指针。Go 这么做保证了安全性但也带来了明显的问题大数组拷贝成本高。所以实际开发中几乎没人直接传数组大家默认用切片。2.2 切片操作连续内存的动态窗口切片是 Go 里使用频率最高的数据结构可以理解为数组的一个动态视图。它的底层结构只有三个字段指向底层数组的指针 ptr、长度 len、容量 cap。切片本身不存数据数据存在底层数组里。创建切片最常用的方式是s : make([]int, 0, 10)这里 0 是长度10 是预分配容量。切片长度和容量是两个完全不同的概念。长度是当前元素个数容量是从切片起始位置到底层数组结尾的元素个数。访问s[i]时 i 不能超过长度用 append 追加时如果追加后的长度超过容量Go 会分配一个更大的底层数组把旧元素全部拷过去。扩容策略在不同版本略有差异通常是容量小于 256 时翻倍增长之后按 1.25 倍左右增长。这个机制非常重要因为它意味着一个切片的底层数组可能在 append 某个时刻被整体替换相关引用如果还挂在旧数组上就会脱节。切片还有一个大坑是共享底层数组。看这段代码a : []int{1, 2, 3, 4, 5} b : a[1:3] // b 是 {2, 3}len2 cap4 b[0] 99 fmt.Println(a) // 输出 [1 99 3 4 5]b 和 a 共享同一个底层数组改 b 的第一个元素a 的第二个元素也跟着变。这在很多业务场景里会导致诡异的 bug——你改了一个局部切片结果外面的数据也变了。解决办法就是如果不想共享用copy显式复制一个新的切片或者append([]int(nil), source...)这种经典拷贝写法。你可能注意到热搜里有python数组切片命令其实 Go 切片和 Python 切片语法上有相似之处都是[start:end]但语义差别很大。Python 的切片会创建新列表Go 的切片只是创建一个新的窗口数据还是原来那份。这个区别在跨语言协作时特别容易翻车我见过团队把 Python 的思维直接搬过来以为切出来就独立了结果线上数据被误改。2.3 为什么 Go 社区几乎只用切片不用数组直接原因有两个传参效率和动态增长。传 slice 进函数函数收到的只是 ptr/len/cap 三个字段的拷贝底层数据不复制100 万个元素的切片传参成本和一个空切片完全一样。而数组传参只要超过几个元素就开始有拷贝开销。动态增长更不用说数组定长无法追加切片可以用 append 随意扩展配合 make 预分配还能控制扩容次数。从设计哲学上看切片其实就是 Go 给开发者提供的安全指针。它让你拥有灵活操作连续内存的能力又通过 len 限制越界访问比 C 的裸指针安全得多。3. Map键值即答案的查表神器3.1 先声明一个 Mapnil 能读但不能写Go 的 Map 声明方式有几种踩坑的地方也集中在这里var m1 map[string]int // nil map未初始化 m2 : make(map[string]int) // 已初始化的空 map m3 : map[string]int{a: 1} // 字面量初始化m1 是 nil map你对它做读取操作是可以的返回零值但往里写数据会直接触发 panicassignment to entry in nil map。这个设计是为了保持 nil 语义的一致性——未初始化的引用类型都是 nil使用前必须初始化。项目里最常见的写法是m : make(map[string]int)或者用字面量直接给初始值基本不用var m map[string]int这种纯声明除非你立刻赋值。3.2 读写删除以及那个神奇的零值Map 的读操作要特别注意访问一个不存在的键Go 不会报错而是返回该值类型的零值。比如m[not_exist]返回 0。这在业务逻辑里会造成看起来没问题实际是错的——你拿到了一个 0但不知道这个键到底存不存在。要区分键不存在和值是零值使用两个返回值的写法v, ok : m[key] if ok { // key 存在可以使用 v }ok 是 bool 值表示键是否存在。这是 Go 里一个非常实用的惯例我在判断配置项、缓存命中等场景里几乎每天都在用。删除键用delete(m, key)如果键不存在也不会报错这是 Go 的又一个宽容设计。Map 的遍历是无序的。Go 语言规范明确说Map 的迭代顺序没有保证。实际上 Go 运行时会给每次遍历随机选一个起始点。所以你在测试里看到的顺序换个机器、换个版本就完全不一样了。想要有序输出必须先取出键排序或者使用有序的数据结构。我在做报表导出时经常用到这个技巧先把键放到切片里sort.Strings(keys)再按顺序取值。3.3 引用类型本质Map 是传引用的Map 是引用类型赋值和传参都共享底层数据m : map[string]int{a: 1} n : m n[b] 2 fmt.Println(m[b]) // 输出 2修改 n 会影响 m。这和切片类似但有一个重大区别Map 不可比较你不能用判断两个 Map 是否相等只能通过循环逐个比较键值或者用 reflect.DeepEqual性能差慎用。还要警惕 Map 的并发问题。Go 的原生 Map 不是并发安全的多个 goroutine 同时读写同一个 Map 会直接 panic错误信息是fatal error: concurrent map read and map write。这个 panic 无法用 recover 恢复程序直接挂掉。项目里高并发访问共享 Map要么用sync.RWMutex加锁要么用sync.Map适合读多写少、键集合相对稳定的场景要么用并发安全的第三方库如 concurrent-map。我在微服务网关里处理请求计数时就用过 RWMutex 保护计数 Map实测下来锁竞争不大性能也能接受。4. if 与 nilGo 程序的分叉路口与空的哲学4.1 if 语句没括号、有 init短小但够用Go 的 if 语句最直观的差异是条件表达式不需要加括号。写if x 0 {}而不是if (x 0) {}。这个设计让代码看起来更干净也杜绝了多写一个分号之类的琐碎问题。条件后面的大括号是必须的就算只有一行也不能省略Go 用这种强制手段统一了代码风格。if 支持在条件前加一个 init 语句这也是 Go 的一大特色if v, err : someFunc(); err ! nil { fmt.Println(v) return }init 语句声明的变量 v 和 err 只在 if 块内可见包括 else 子句。这个特性把调用函数、判断错误、处理错误三件事压缩在一行代码密度高且不会污染外部作用域。在项目里凡是取一个值判断是否出错出错就返回的场景我都推荐这种写法它能让错误处理路径非常清晰。if 还有一个需要留神的地方在 if 块内声明变量外部是访问不到的if x : compute(); x 0 { fmt.Println(x) } fmt.Println(x) // 报错x 不在作用域内这是作用域规则初学时会觉得不方便但实际上是防止变量泄漏到外层造成不必要的耦合。4.2 nil不是空指针那么简单nil 在 Go 里含义非常丰富。它可以表示零值的指针、接口、Map、切片、函数、通道。对新手来说最容易混的是nil 切片和空切片var s1 []int // nil 切片s1 nil 为 true s2 : []int{} // 空切片s2 nil 为 false我在 JSON 序列化场景里踩过这个坑nil 切片序列化成null空切片序列化成[]。前端拿到 null 和 [] 的处理逻辑完全不同一个不小心就是线上 bug。数据库查询返回空结果时如果用var result []Item声明序列化出来是 null改成result : make([]Item, 0)就是空数组。到底用哪个取决于下游接口的约定但你要知道这个区别。nil Map 的问题前面提过能读不能写。nil 接口的问题更隐蔽单独拿出来讲如果一个接口变量内部包含了类型信息即使底层值是 nil这个接口本身也不等于 nil。var p *MyStruct nil var i interface{} p if i nil { fmt.Println(这里是 nil) } else { fmt.Println(这里不是 nil) }这段代码输出的是这里不是 nil因为 i 包含了一个类型信息*MyStruct虽然它的值是 nil。这是 Go 里最经典的假为空陷阱。实际项目中函数返回 error 时如果把一个类型化的 nil 赋给了 error 接口调用方if err ! nil判断会进入 true 分支但 err 实际是 nil解引用就 panic 了。我见过不止一次这种 bug最稳妥的做法是函数的返回值要么直接返回 nil要么返回一个非 nil 的具体错误值不要返回类型化 nil 变量。4.3 用 if 和 nil 搭建 Go 的错误处理骨架Go 没有异常机制错误就是普通的值。惯例是函数返回(结果, error)调用方用 if 检查 error 是否为 nildata, err : fetchData() if err ! nil { return fmt.Errorf(fetch data: %w, err) }这种模式初看会觉得到处是 if err ! nil写多了反而体会到它的好错误路径显式可见谁在哪儿可能出错一目了然也不会像异常那样让控制流跳来跳去。从 Python 的 try/except 转过来的人一开始嫌烦但三个月后基本都会认同这种错误值的设计。nil 在这里扮演的角色就是无错误的哨兵。当 error 为 nil表示调用成功非 nil 表示失败。理解了 nil 的这一层含义你就抓住了 Go 错误处理的精髓。5. 实战避坑清单这些坑我替你踩过了为了让你少走弯路把项目里真实遇到过的几个和本篇知识点相关的坑整理一下每一个都值得你用笔记下来场景问题表现原因正确做法var s []int然后s[0] 1panic: index out of rangenil 切片没有底层数组用 make 初始化后再按下标赋值m : map[string]int{}后并发读写fatal error: concurrent map read and map writeMap 非并发安全加 RWMutex 或使用 sync.Maplen(你好)返回 6 而不是 2中文字符 UTF-8 占 3 字节用utf8.RuneCountInString或 rangeb : a[1:3]后改 ba 也变了数据被意外修改切片共享底层数组用 copy 或 append 拷贝新切片var p *T nil; var i interface{} p; i nil判断为 false接口包含类型信息永远不要给接口赋类型化 nil不断 append 小切片性能突然下降频繁扩容拷贝用 make 预分配 caprange 遍历 Map 想按序输出输出顺序随机Map 遍历本身无序先收集 key排序后访问[]int{}序列化成空数组var s []int序列化成 nullJSON 结果不一致nil 和空切片语义不同根据 API 约定初始化切片再补充一个非常隐蔽的坑for range 循环变量复用。Go 里 range 的循环变量在循环过程中是同一个变量每次迭代只是给它重新赋值。如果你的循环体里有闭包、go 协程十个新手九个会踩for i : 0; i 3; i { defer func() { fmt.Println(i) }() } // 输出 3 3 3而不是 3 2 1在 Go 1.22 之前循环变量复用是惯例Go 1.22 开始 for 循环引入了每次迭代独立的变量语义但这只影响新的写法。如果你还在维护旧代码需要小心闭包捕获问题。解决方法是循环体内显式声明新变量i : i或者把值作为参数传给闭包。还有个和切片扩容相关的典型案例。很多人以为append之后原来的切片还能用s : make([]int, 0, 2) s2 : append(s, 1, 2) s3 : append(s, 3) // 这里会怎样第一次 append 后 s 的 len 还是 0第二次 append 又从头开始结果 s3 是 [3]而 s2 是 [1, 2]。它们共享同一个底层数组s 虽然 len 是 0 但 cap 是 2这种情况下后续操作很容易互相覆盖。根本原因是 append 返回的是一个新的切片len 变了而你还在用旧的 s。所以项目里的铁律是s append(s, x)必须把结果赋值回原变量绝不要用旧变量。最后聊聊我对这些知识点的整体感受。Go 的基础语法不难但它的每个设计都透着向 C 致敬但更保守的实用主义切片是安全指针nil 是显式的空值if 的 init 让错误处理更紧凑。掌握这些基础之后你会发现读标准库源码、看开源项目都会顺畅很多。我把这篇笔记当成一份从零到能用的速查手册遇到不确定的地方随时回来翻基本能解决日常开发 90% 的疑惑。后面有时间我还会继续整理结构体、接口、协程与通道的实战笔记把 Go 进阶路上那些容易含糊的点一个个讲透。