Go切片与map边界测试需覆盖nil切片、空非nil切片、越界访问、nil map写入、零值读取及并发安全,并通过子测试和表格驱动提升可维护性与覆盖率。
Go 中切片的边界行为容易引发 panic(如索引越界)或逻辑错误(如误判空切片与 nil 切片)。测试时需显式覆盖三类关键状态:
len(s) == 0 && cap(s) == 0 && s == nil 成立。某些函数(如 append)可安全接受 nil 切片,但自定义逻辑常需提前校验(如 if s == nil { return err }),此时要写测试验证 panic 或错误返回。s := []int{},len 和 cap 均为 0,但 s != nil。若代码用 s == nil 判断“无效输入”,会漏掉该情况,测试中应传入 []int{} 触发逻辑分支。s[i](i ≥ len(s))或 s[i:j:k] 中 j > len(s) 等操作,运行时 panic。单元测试中可用 recover 捕获 panic 并断言:func TestSliceOutOfBounds(t *testing.T) {
defer func() {
if r := recover(); r == nil {
t.Fatal("expected panic for out-of-bounds access")
}
}()
s := []int{1,2}
_ = s[5] // 触发 panic
}
map 在 Go 中是引用类型,但 nil map 无法写入(panic),读取则返回零值且不 panic。测试重点包括:
map[string]int 参数并直接赋值(如 m["key"] = 42),传入 nil 会 panic。应在函数开头检查:if m == nil { m = make(map[string]int) } 或明确文档要求非 nil。测试用 var m map[string]int 调用,验证是否 panic 或按预期初始化。m["missing"])返回零值(如 0、""、false),而非 error。若业务需区分“未设置”和“设为零值”,应搭配 value, ok := m[key] 使用。测试中需覆盖 ok == false 分支,例如验证默认配置未覆盖用户显式设为 0 的场景。-race 标志运行:go test -race。在测试中模拟 goroutine 读写同一 map,确保加锁(如 sync.RWMutex)或使用线程安全替代品(如 sync.Map)。将多个边界场景封装为子测试(t.Run),避免重复 setup,失败时清晰定位问题:
FindLastIndex)定义子测试:"nil slice"、"empty slice"、"single element"、"index out of bounds"。SafeSet)定义:"nil map"、"set existing key"、"set new key"、"concurrent write with mutex"(启动两个 goroutine,一个写一个读)。"returns error when slice is nil",便于快速理解覆盖点。当边界条件涉及多参数组合(如切片 + 索引 + 期望结果),用结构体切片定义测试用例,避免冗余代码:
GetElement(slice []int, index int) (int, error) 函数:tests := []struct {
name string
slice []int
index int
wantVal int
wantErr bool
}{
{"nil slice", nil, 0, 0, true},
{"empty slice", []int{}, 0, 0, true},
{"valid index", []int{10,20}, 1, 20, false},
{"out of bounds", []int{5}, 5, 0, true},
}
for _, tt := range tests {
t.Run(tt.name, func(t *testing.T) {
val, err := GetElement(tt.slice, tt.index)
if (err != nil) != tt.wantErr {
t.Errorf("GetElement() error = %v, wantErr %v", err, tt.wantErr)
}
if !tt.wantErr && val != tt.wantVal {
t.Errorf("GetElement() = %v, want %v", val, tt.wantVal)
}
})
}