本文旨在解决 Go 语言中循环语句中使用空白标识符 _ 时遇到的 "no new variables on left side of :=" 错误。通过分析错误原因，提供正确的代码示例，并深入探讨空白标识符的使用场景和注意事项，帮助开发者避免类似问题，编写更健壮的 Go 代码。
在 Go 语言中，空白标识符 _ 扮演着特殊的角色，它用于丢弃不需要的值。然而，在循环语句中重复使用空白标识符时，可能会遇到 no new variables on left side of := 错误。 这个问题源于 Go 语言的短变量声明语法 := 的特性。 := 不仅声明变量，还同时进行初始化。 当在同一个作用域内多次使用 := 声明同一个变量时，Go 编译器会报错，因为它期望每次使用 := 时都能声明新的变量。
问题分析
考虑以下代码片段：
for _, arg := range flag.Args() {
go func() {
// ...
}()
}
for _ := range flag.Args() {
// ...
}第一个 for 循环中使用 _ 丢弃了 range 迭代的索引值。 然而，第二个 for 循环试图再次使用 _ := ，这导致编译器认为你要声明一个新的变量 _ ，但由于 _ 已经在之前的循环中被声明过，所以报错。
解决方案
要解决这个问题，需要避免在第二个循环中使用短变量声明 :=。 可以使用赋值操作符 = 来替代，明确告诉编译器你不是要声明新变量，而是要给已存在的 _ 赋值。
修改后的代码如下：
for _, arg := range flag.Args() {
go func() {
// ...
}()
}
for _ = range flag.Args() {
// ...
}通过将 _ := 修改为 _ =，我们明确地告诉编译器 _ 变量已经被声明过了，现在只是对其进行赋值，从而避免了 no new variables on left side of := 错误。
更完整的示例
为了更好地理解和应用这个解决方案，这里提供一个更完整的示例，模拟了并发执行 path.Walk 函数的场景：
package main
import (
"flag"
"fmt"
"os"
"path/filepath"
"sync"
)
func main() {
flag.Parse()
args := flag.Args()
if len(args) == 0 {
fmt.Println("Usage: go run main.go ...")
os.Exit(1)
}
var wg sync.WaitGroup
walkErrors := make(chan error, len(args))
for _, arg := range args {
wg.Add(1)
go func(path string) {
defer wg.Done()
err := filepath.Walk(path, func(path string, info os.FileInfo, err error) error {
if err != nil {
fmt.Println("Error accessing:", path, err)
return err // Stop walking if there's an error
}
fmt.Println("Visiting:", path)
return nil
})
if err != nil {
walkErrors <- err
}
}(arg)
}
wg.Wait()
close(walkErrors)
hasErrors := false
for err := range walkErrors {
fmt.Println("Walk error:", err)
hasErrors = true
}
if hasErrors {
os.Exit(1)
}
fmt.Println("All walks completed successfully.")
} 注意事项
- 作用域： 短变量声明 := 只能在函数内部使用。
- 重复声明： 在同一个作用域内，不能使用 := 声明已经存在的变量，除非同时声明至少一个新变量。 例如： a, b := 1, 2 如果 a 已经声明，但 b 未声明，则此语句是合法的。
- 空白标识符的用途： _ 不仅可以用于丢弃循环迭代的索引或值，还可以用于忽略函数返回的某些值，或者用于强制实现某个接口。
总结
理解 Go 语言的短变量声明规则以及空白标识符的特性，可以帮助我们避免类似 no new variables on left side of := 错误。 在循环语句中，如果需要使用空白标识符丢弃值，并且该变量已经在之前的循环中被声明过，务必使用赋值操作符 = 而不是短变量声明 :=。 遵循这些原则，可以编写更清晰、更健壮的 Go 代码。
