Go io/fs.ValidPath 怎样复用已有缓冲空间

目录索引、归档读取或虚拟文件系统适配器经常要把多个片段拼成 docs/api.go。如果每次都新建临时切片，热点路径会把成本放在“构造字符串”上。先把结论说清：io/fs.ValidPath 的参数是 string，它不会接收调用方的 []byte，也没有可传入的工作缓冲区。能复用的是调用方用于拼接路径的 scratch buffer；在校验边界做一次明确的 []byte 到 string 转换即可。

官方文档：https://pkg.go.dev/io/fs

io/fs.ValidPath 只检查字符串，不提供调用方缓冲区

标准库把 FS 路径定义为 UTF-8、无根、用正斜杠分隔的路径元素。. 是根目录的特例；空字符串、/x、x/、连续斜杠、. 或 .. 元素都不通过。反斜杠和冒号可以作为普通字符出现，但 FS 实现不能把它们当成分隔符。

因此，下面的“复用”有两个不同层次：ValidPath(name string) 自身只读入参，不需要调用方提供 scratch；应用代码可以复用一块 []byte 来组装 name，但不能把这块切片直接传给它。

用可复用 []byte 组装路径，再做一次 string 转换

如果路径片段来自循环，先保留一块可增长的字节切片。每轮把长度归零而不是重新声明，再把最终字节内容转换为 string。这个转换是有意设置的 API 边界：ValidPath 需要不可变字符串，切片继续被下一轮复用时，不能让它和已交给 FS 的路径共享可变存储。

package main

import (
	"fmt"
	"io/fs"
)

// PathScratch 只复用路径构造阶段的字节空间；它不是 fs.ValidPath 的参数。
type PathScratch struct {
	buf []byte
}

// BuildAndCheck 拼接路径并在 string 边界执行一次 ValidPath 检查。
func (p *PathScratch) BuildAndCheck(parts ...string) (string, bool) {
	p.buf = p.buf[:0] // 保留已有容量，清掉上一轮的长度。
	for i, part := range parts {
		if i > 0 {
			p.buf = append(p.buf, '/') // io/fs 路径固定使用正斜杠。
		}
		p.buf = append(p.buf, part...)
	}

	name := string(p.buf) // 这里创建独立 string，避免下一轮复用 buf 影响当前路径。
	if !fs.ValidPath(name) {
		return "", false // 调用方可把无效输入当作可预期的拒绝。
	}
	return name, true
}

func main() {
	var scratch PathScratch
	name, ok := scratch.BuildAndCheck("docs", "api.go")
	fmt.Println(name, ok) // docs/api.go true
}

这段代码减少的是重复构造 []byte 的成本，不是把 ValidPath 改造成字节接口。string(p.buf) 让返回值拥有独立的不可变内容，所以后续把 p.buf 清零并复用，不会破坏已经返回的 name。如果路径只在同一调用栈内立即使用，也可以把结果直接交给 fs.ReadFile 或 FS.Open，但不要为了省掉这次转换而使用不安全的切片转字符串技巧。

复用缓冲时要守住字符串生命周期

最容易出错的地方不是判断规则，而是所有权。一个 scratch 实例只能由一个 goroutine 独占；并发请求要各自拥有实例，或从池中借出后在归还前完成全部 FS 调用。返回给缓存、队列或异步任务的路径必须是独立 string，不能把“下一轮还要写入”的字节区域当成稳定值。

容量也不应盲目预分配。可以根据线上路径长度分布给出一个温和的初始容量；如果极少数超长路径触发扩容，让该次调用承担成本即可。另一方面，ValidPath 只保证格式判断，不保证目标文件存在，也不替你解决符号链接越界等文件系统安全问题；真正打开文件时仍要处理 fs.ErrNotExist、权限错误和实现自身的边界。

上线前的排查清单

• 路径是否由正斜杠连接，根目录是否明确使用 .？
• 是否在构造阶段复用了 scratch，而不是在每个片段上创建新的临时缓冲？
• 转换后的 string 是否会被缓存或异步使用？若会，就不要依赖可变切片的生命周期。
• 同一 scratch 是否可能被多个 goroutine 同时写？若是，改为每请求或每 worker 独占。
• 是否把“格式合法”误认为“文件存在”或“访问安全”？这三件事要分别处理。

相关问题

ValidPath 能直接接收 []byte 吗？

不能。它的签名固定是 ValidPath(name string) bool。可以复用 []byte 做路径构造，再在调用点转换为 string。

把反斜杠替换成正斜杠就一定合法吗？

不一定。替换后仍要检查空元素、.、..、空字符串和 UTF-8；而且反斜杠在 io/fs 路径中本来可以是普通字符，是否替换取决于输入协议。

ValidPath 通过后就能放心打开文件吗？

它只说明路径格式满足 io/fs 约定，不代表文件存在、权限足够或底层实现不会通过符号链接访问其他位置。打开文件后仍需处理返回错误和具体 FS 的安全边界。

把职责拆开后，路径性能优化就比较稳：scratch 负责复用构造空间，string 负责形成不可变调用值，ValidPath 负责格式判断，FS 操作负责存在性、权限和资源生命周期。