本文详解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语言惯用法的健壮文件遍历逻辑。
