编程陷阱:切片追加
- 之前在做项目的过程中,切片追加使用的非常的多,用多了肯定就会莫名其妙的出现很多的bug,今天就带大家一起看看这些bug。
问题:
根据bug我来还原代码,大家看一看有没有问题
题目一:
函数Validation()
用于一些合法性检查,每遇到一个错误,就生成一个新的error
并追加到切片errs
中,最后返回包含所有错误信息的切片。
为了简单起见,假定函数发现了三个错误,如下所示:
func Validation() []error {
var errs []error
append(errs, errors.New("error 1"))
append(errs, errors.New("error 2"))
append(errs, errors.New("error 3"))
return errs
}
请问函数Validation()
有什么问题?
题目二:
函数ValidateName()
用于检查某个名字是否合法,如果不为空则认为合法,否则返回一个error
。类似的,还可以有很多检查项,比如检查性别、年龄等,我们统称为子检查项。函数Validations()
用于收集所有子检查项的错误信息,将错误信息汇总到一个切片中返回。
请问函数Validations()
有什么问题?
func ValidateName(name string) error {
if name != "" {
return nil
}
return errors.New("empty name")
}
func Validations(name string) []error {
var errs []error
errs = append(errs, ValidateName(name))
return errs
}
陷阱及解决
题目一:
陷阱: append 会改变切片的地址
append
的本质是向切片中追加数据,而随着切片中元素逐渐增加,当切片底层的数组将满时,切片会发生扩容,扩容会导致产生一个新的切片(拥有容量更大的底层数组),更多关于切片的信息,请查阅切片相关章节。
append
每个追加元素,都有可能触发切片扩容,也即有可能返回一个新的切片,这也是append
函数声明中返回值为切片的原因。实际使用中应该总是接收该返回值。
上述题目一中,由于初始切片长度为0,所以实际上每次append
都会产生一个新的切片并迅速抛弃(被gc回收)。
原始切片并没有任何改变。需要特别说明的是,不管初始切片长度为多少,不接收append
返回都是有极大风险的。
题目二:
陷阱:append 可以追加nil值
向切片中追加一个nil
值是完全不会报错的,如下代码所示:
slice := append(slice, nil)
经过追加后,slice的长度递增1。
实际上nil
是一个预定义的值,即空值,所以完全有理由向切片中追加。
上述题目二中,就是典型的向切片中追加nil
(当名字为空时)的问题。单纯从技术上讲是没有问题,但在题目二场景中就有很大的问题。
题目中函数用于收集所有错误信息,没有错误就不应该追加到切片中。因后,后续极有可能会根据切片的长度来判断是否有错误发生,比如:
func foo() {
errs := Validations("")
if len(errs) > 0 {
println(errs)
os.Exit(1)
}
}
如果向切片中追加一个nil
元素,那么切片长度则不再为0,程序很可能因此而退出,更糟糕的是,这样的切片是没有内容会打印出来的,这无疑又增加了定位难度。