本文旨在帮助Go语言开发者理解并正确使用空白标识符 _。通过一个常见的循环场景，解释了“no new variables on left side of :=" 错误的原因，并提供了正确的代码示例。掌握空白标识符的用法，能够避免潜在的编译错误，提升代码的简洁性和可读性。
在Go语言中，空白标识符 _ 扮演着特殊的角色，它用于丢弃不需要的值。然而，不当的使用方式可能会导致编译错误。本文将通过一个实际案例，深入探讨在 for...range 循环中使用空白标识符时需要注意的问题。
问题背景：循环中的重复赋值
考虑以下代码片段，该代码尝试并发地遍历命令行参数，并对每个参数执行文件系统遍历操作：
立即学习“go语言免费学习笔记（深入）”；
for _, arg := range flag.Args() {
go func() {
path.Walk(arg, dupes, walkerrs)
walkend <- true
}()
}
for _ := range flag.Args() {
if !<-walkend {
os.Exit(1)
}
}上述代码的第二个 for 循环旨在等待所有文件系统遍历任务完成。然而，它会产生一个编译错误：“no new variables on left side of :="。
错误原因：重复声明变量
在Go语言中，:= 符号用于声明并初始化变量。在第一个 for...range 循环中，_ 被声明并赋值。在第二个循环中，再次使用 _ := 试图声明一个同名的变量，但由于 _ 已经被声明过，Go编译器会报错，因为它不允许在同一作用域内重复声明同名变量。
解决方法：省略初始化
解决此问题的关键在于避免重复声明 _。当只需要迭代次数，而不需要访问迭代的值时，应该省略 _ 的初始化，直接使用赋值语句 =：
for _ = range flag.Args() {
if !<-walkend {
os.Exit(1)
}
}通过将 _ := 改为 _ =，我们告诉编译器我们只是想为已经存在的空白标识符赋值，而不是创建一个新的变量。这样，编译器就不会报错，代码也能正常运行。
完整示例代码
以下是修正后的完整代码示例：
package main
import (
"flag"
"fmt"
"os"
"path/filepath"
"sync"
)
func main() {
flag.Parse()
var walkend = make(chan bool, flag.NArg())
var walkerrs = make(chan error, flag.NArg())
var dupes = make(chan string, flag.NArg())
var wg sync.WaitGroup
for _, arg := range flag.Args() {
wg.Add(1)
go func(arg string) {
defer wg.Done()
err := filepath.Walk(arg, func(path string, info os.FileInfo, err error) error {
if err != nil {
walkerrs <- err
return err
}
// 模拟发现重复文件
if path == "some/duplicate/file" {
dupes <- path
}
return nil
})
if err != nil {
fmt.Println("Walk error:", err)
}
walkend <- true
}(arg)
}
go func() {
wg.Wait()
close(walkend)
}()
for _ = range flag.Args() {
if !<-walkend {
os.Exit(1)
}
}
close(walkerrs)
for err := range walkerrs {
fmt.Println("Error during walk:", err)
}
close(dupes)
for dup := range dupes {
fmt.Println("Duplicate file:", dup)
}
fmt.Println("Done")
}总结与注意事项
- 在 for...range 循环中，如果只需要迭代次数而不需要访问迭代的值，可以使用空白标识符 _。
- 避免在同一作用域内重复使用 := 声明已经存在的变量，包括空白标识符。
- 当需要为已经声明的空白标识符赋值时，使用 = 而不是 :=。
- 理解空白标识符的作用域，避免在不必要的情况下声明新的变量。
掌握以上技巧，可以有效避免在使用空白标识符时遇到的常见错误，编写出更简洁、更高效的Go语言代码。
