本文详解go中因切片值传递导致递归目录遍历返回空切片的根本原因，通过修正切片初始化方式和递归结果合并逻辑，实现安全、高效地收集所有文件信息。
本文详解go中因切片值传递导致递归目录遍历返回空切片的根本原因，通过修正切片初始化方式和递归结果合并逻辑，实现安全、高效地收集所有文件信息。
在Go语言中，切片（slice）虽常被误认为“引用类型”，但其底层结构是一个包含指向底层数组的指针、长度（len）和容量（cap）的值类型。这意味着当切片作为参数传递给函数时，传递的是该结构体的副本——修改副本中的元素（如 allFiles[i] = x）会影响原数组，但若在函数内重新赋值（如 allFiles = append(allFiles, …)），仅改变副本的指针/长度，不会影响调用方的原始切片变量。
这正是原代码中 expandDirectory 返回空切片（或容量仍为5）的核心问题：
func expandDirectory(currentDirectory string, allFiles []os.FileInfo) []os.FileInfo { files, e := ioutil.ReadDir(currentDirectory) check(e) for _, internalDir := range files { switch mode := internalDir.Mode(); { case mode.IsDir(): filepath := currentDirectory + internalDir.Name() + "" // ❌ 错误：递归调用结果未被合并到当前 allFiles expandDirectory(filepath, allFiles) // 返回值被丢弃！ case mode.IsRegular(): allFiles = append(allFiles, internalDir) // ✅ 修改有效，但仅限本层 } } return allFiles // ⚠️ 仅返回本层新增的文件，子目录结果丢失 }更严重的是初始化方式：
allFiles := expandDirectory(dirname, make([]os.FileInfo, 5))此处创建了一个长度为5、容量为5的切片，前5个位置是零值 os.FileInfo{}。后续 append 操作会在其后追加新元素，但 fmt.printf(“%v”, cap(allFiles)) 打印的仍是初始容量5——这并非“返回空”，而是容量未动态增长，且子目录结果根本未被收集。
立即学习“go语言免费学习笔记（深入）”；
正确解法：显式合并递归结果 + 零长度初始化
关键两点：
- 始终用 make([]T, 0, cap) 初始化：确保切片起始长度为0，避免零值占位；
- 递归调用结果必须用 append(…, result…) 合并（注意末尾的 … 展开操作符）。
修正后的完整代码如下（使用现代标准库 os.ReadDir 替代已弃用的 ioutil.ReadDir）：
package main import ( "fmt" "os" "path/filepath" ) const dirname = "MyDirectory" func check(e error) { if e != nil { panic(e) } } // expandDirectory 递归遍历目录，返回所有常规文件的 FileInfo 切片 func expandDirectory(currentDirectory string) []os.FileInfo { var allFiles []os.FileInfo // 等价于 make([]os.FileInfo, 0, 5)，推荐简洁写法 entries, err := os.ReadDir(currentDirectory) check(err) for _, entry := range entries { fullPath := filepath.Join(currentDirectory, entry.Name()) info, err := entry.Info() if err != nil { continue // 跳过无法获取信息的条目（如权限不足） } if info.IsDir() { // ✅ 正确：递归结果展开合并到 allFiles allFiles = append(allFiles, expandDirectory(fullPath)...) } else if info.Mode().IsRegular() { allFiles = append(allFiles, info) } } return allFiles } func main() { files := expandDirectory(dirname) fmt.Printf("Found %d files ", len(files)) // 示例：打印前3个文件名 for i, f := range files { if i >= 3 { break } fmt.Printf("- %s (size: %d) ", f.Name(), f.Size()) } }注意事项与最佳实践
- 避免 ioutil.ReadDir：该函数自 Go 1.16 起已弃用，应使用 os.ReadDir（性能更好，且返回 fs.DirEntry，无需立即调用 Info()）。
- 路径拼接用 filepath.Join：跨平台兼容（自动处理 / 与 ），比字符串拼接更健壮。
- 错误处理需务实：对单个文件 Info() 失败不应中断整个遍历，continue 是合理选择。
- 内存考虑：若目录极深或文件极多，可改用迭代DFS/BFS或 filepath.WalkDir 避免栈溢出；本文递归方案适用于一般场景。
- 切片容量提示：make([]T, 0, estimatedCap) 可预分配容量提升性能，但非必需；var s []T 已足够清晰。
通过理解切片的值传递本质，并严格遵循“合并递归结果+零长度初始化”原则，即可彻底解决 {Empty slice returned} 类问题，写出符合Go语言惯用法的健壮文件遍历逻辑。