问隐式内存混叠for循环

EN

简而言之，这个警告意味着您正在接受一个循环变量的地址。

这是因为在for statements中迭代变量被重用。在每次迭代时，范围表达式中的下一个元素的值被分配给迭代变量；v不会改变，只会改变它的值。因此，表达式&v指的是内存中相同的位置。

以下代码四次打印相同的内存地址：

for _, n := range []int{1, 2, 3, 4} {
    fmt.Printf("%p\n", &n)
}

当您存储迭代变量的地址，或者在循环内部的闭包中使用它时，当您取消引用指针时，它的值可能已经发生了变化。静态分析工具将检测到这一点，并发出您看到的警告。

防止这一问题的共同办法是：

• 索引远程切片/数组/地图。这将在第一位置获取实际元素的地址，而不是迭代变量

。

for i := range versions {
    res := createWorkerFor(&versions[i])
}

• 重新分配循环

中的迭代变量

for _, v := range versions {
    v := v
    res := createWorkerFor(&v) // this is now the address of the inner v
}

使用闭包的

• ，将迭代变量作为参数传递给闭包

for _, v := range versions { 
    go func(arg ObjectDescription) {
        x := &arg // safe
    }(v)
}

如果您在循环中按顺序取消引用，并且确信没有泄漏指针，您可能会忽略此检查。然而，linter的工作恰恰是报告可能导致问题的代码模式，所以无论如何修复它是个好主意。