Go filepath计算相对路径并处理跨盘错误的边界

在文件同步、构建产物归档或导出清单里，filepath.Rel 很适合把目标文件改写成相对基准目录的路径，但它不是“任意两条字符串都能相减”。正确做法是先把基准和目标都规范化，再确认它们处于同一个可计算的路径空间；如果 Windows 下卷名不同，直接把错误当成空字符串会让后续上传或删除指向错误位置。

官方文档：https://pkg.go.dev/path/filepath

先把两条路径放进同一计算前提

filepath.Rel 会调用清理逻辑，但不会替你猜测一条不完整的路径究竟相对于哪个工作目录。生产代码可以把输入先转为绝对路径，再进行词法清理；这样错误会集中出现在入口，而不是散落在后续的复制、删除和清单生成中。

package main

import (
    "fmt"
    "path/filepath"
)

// absoluteClean 把相对输入绑定到当前工作目录，避免 Rel 混用基准。
func absoluteClean(path string) (string, error) {
    if path == "" {
        return "", fmt.Errorf("path is empty") // 空路径不代表当前目录，先拒绝歧义。
    }
    absolute, err := filepath.Abs(path)
    if err != nil {
        return "", fmt.Errorf("make absolute path: %w", err) // 保留底层错误便于定位。
    }
    return filepath.Clean(absolute), nil
}

func main() {
    base, err := absoluteClean("./artifacts")
    if err != nil {
        panic(err)
    }
    target, err := absoluteClean("./artifacts/reports/today.json")
    if err != nil {
        panic(err)
    }
    fmt.Println(base, target)
}

这里的关键不是把路径变长，而是明确“相对谁”。如果业务本来就要求保留用户输入的相对语义，也可以不调用 Abs，但必须让基准和目标共享同一套约定，不能一条来自当前目录、另一条来自配置里的绝对目录。

Rel 返回的不是“猜出来”的目录距离

调用时要同时处理结果和错误。成功时，filepath.Join(base, rel) 应该回到目标的词法路径；这个性质适合做轻量复查。失败时不要把 rel 当成可用结果继续拼接，因为错误往往说明输入缺少当前目录信息，或者两个路径无法在当前操作系统规则下建立关系。

func relativePath(base, target string) (string, error) {
    rel, err := filepath.Rel(base, target)
    if err != nil {
        return "", fmt.Errorf("relative path %q -> %q: %w", base, target, err)
    }

    // 用 Join 做词法复查；这里不等价于真实文件系统访问。
    rebuilt := filepath.Clean(filepath.Join(base, rel))
    if rebuilt != filepath.Clean(target) {
        return "", fmt.Errorf("relative path round-trip mismatch: %q", rebuilt)
    }
    return rel, nil
}

要注意，这个复查只说明字符串层面的关系成立。符号链接、挂载点和大小写敏感性可能改变真实文件对象的关系；需要真实对象语义时，另行评估 EvalSymlinks 或文件系统层面的检查，不要把 Rel 当成权限校验。

跨盘错误先看 VolumeName，再选回退方案

Windows 的 C:\work 和 D:\backup 没有一个自然的共同目录，不能可靠地用若干个 .. 表示从一个卷走到另一个卷。跨平台代码应把卷名当作前置判断；Unix 下 VolumeName 通常为空，因此仍需依赖 Rel 的错误和绝对路径规则。

func sameVolume(base, target string) bool {
    baseVolume := filepath.VolumeName(base)
    targetVolume := filepath.VolumeName(target)
    // Unix 两者都为空；Windows 则比较 C:、D: 或 UNC 共享名。
    return baseVolume == targetVolume
}

func safeRelative(base, target string) (string, error) {
    if !filepath.IsAbs(base) || !filepath.IsAbs(target) {
        return "", fmt.Errorf("base and target must be absolute")
    }
    if !sameVolume(base, target) {
        return "", fmt.Errorf("cross-volume path: %s -> %s", base, target)
    }
    return relativePath(filepath.Clean(base), filepath.Clean(target))
}

如果业务是“归档清单必须使用相对路径”，跨盘就应该让任务失败并提示用户选择同卷目录；如果业务是“无论如何都要传输文件”，可以保留绝对目标路径，但要在协议中明确它不是相对路径，避免下游把它当作基准目录下的文件名。

上线前用三项检查挡住路径误用

第一，测试同卷的兄弟目录、子目录和需要多个 .. 的目标；第二，测试空字符串、相对路径、盘符不同和 UNC 路径；第三，确认相对结果交给 Join 后仍不会越过业务允许根目录。若路径来自用户输入，还应使用 filepath.IsLocal 等规则限制非法或保留名称，但这属于输入安全边界，不是 Rel 自动提供的能力。

相关问题

filepath.Rel 会访问磁盘吗？

通常不会，它主要按路径字符串做词法计算；不要用它证明文件存在或证明两个路径指向同一个真实对象。

为什么不直接用 strings.TrimPrefix？

字符串前缀不理解目录边界、分隔符、大小写和卷名，容易把相似但不相邻的目录误判为子路径。

跨盘时能不能返回 ../../backup？

不能把它当成通用方案。不同卷没有共同的可遍历父目录，应该返回错误、改用绝对路径，或让业务选择同一卷的工作目录。