Java Path.relativize 跨根路径时为什么会失败

Java 中 Path.relativize 计算的是“从当前路径走到目标路径所需的相对路径”，它不负责检查文件是否存在。跨根路径失败，通常是因为两条路径的绝对/相对类型不同，或者它们属于不同的根；Windows 下最常见的例子就是一个路径在 C 盘、另一个路径在 D 盘。

官方文档：https://docs.oracle.com/en/java/javase/26/docs/api/java.base/java/nio/file/Path.html

调用 relativize 前，先让两条 Path 处于相同的绝对/相对类型，再确认根路径相同。满足条件时再计算相对路径；不满足时统一路径、返回降级结果或抛出业务异常，不要把 IllegalArgumentException 当成文件不存在。

先用一个小工具重现三类路径

为了把问题边界固定下来，可以先做一个只打印路径关系的 Java 小工具。它不创建文件，也不复制数据，只观察 isAbsolute、getRoot 和 relativize 的组合。

# 创建一个只用于演示 Path 关系的目录
mkdir -p path-relativize-demo
cd path-relativize-demo

# 保存 Java 源文件后编译；这里不需要额外依赖
javac PathRelativizeDemo.java
java PathRelativizeDemo

核心代码可以这样写：

import java.nio.file.Path;
import java.nio.file.Paths;

public class PathRelativizeDemo {
    public static void main(String[] args) {
        // 两条绝对路径共享根，适合直接计算相对路径。
        Path base = Paths.get("/workspace/app/config");
        Path target = Paths.get("/workspace/app/logs/app.log");
        printRelation("同根绝对路径", base, target);

        // 一条绝对、一条相对，先观察类型不一致的边界。
        Path relative = Paths.get("logs/app.log");
        printRelation("绝对与相对混用", base, relative);

        // 下面两条路径用于说明不同根；在 Windows 上可替换为 C: 与 D: 的路径。
        Path anotherRoot = Paths.get("/other-volume/logs/app.log");
        printRelation("不同根示例", base, anotherRoot);
    }

    private static void printRelation(String label, Path from, Path to) {
        // 根和绝对属性只描述路径关系，不代表文件已经存在。
        System.out.println(label);
        System.out.println("  from absolute = " + from.isAbsolute());
        System.out.println("  to absolute   = " + to.isAbsolute());
        System.out.println("  from root     = " + from.getRoot());
        System.out.println("  to root       = " + to.getRoot());

        try {
            // 只有关系满足当前文件系统提供者的前置条件时才计算结果。
            System.out.println("  relative      = " + from.relativize(to));
        } catch (IllegalArgumentException ex) {
            // 失败原因是路径关系不兼容，不把它误报成 IO 文件错误。
            System.out.println("  relative      = 不可直接计算");
        }
    }
}

这段程序的关键不是输出某个固定字符串，而是把每次失败前的三个观察值留下来：两条路径是否同为绝对路径、各自的根是什么、是否进入了 relativize 的异常边界。

Path.relativize 先看两条路径的根

Path 的根可以通过 getRoot() 看到。Unix 风格的绝对路径通常以 / 为根，相对路径的根为 null；Windows 的盘符或 UNC 根则由默认文件系统提供者解释。isAbsolute() 只回答路径是否带有根，不回答文件是否存在。

因此，“跨根失败”不是 relativize 算错了，而是从一个根走到另一个根本身没有单一的相对路径表达。不同文件系统提供者还可能有各自的路径规则，调用方不应只依赖字符串前缀判断。

把不兼容输入挡在 API 边界外

如果业务只是需要“尽量得到相对路径”，可以先做轻量判断，再用异常捕获兜底。下面的封装返回 Optional.empty() 表示当前两条路径不适合直接建立相对关系，调用方可以保留绝对路径、返回用户可读提示，或走自己的业务降级。

import java.nio.file.Path;
import java.util.Objects;
import java.util.Optional;

public final class SafeRelativize {
    private SafeRelativize() {
        // 工具类不需要创建实例。
    }

    public static Optional tryRelativize(Path from, Path to) {
        Objects.requireNonNull(from, "from");
        Objects.requireNonNull(to, "to");

        // 绝对/相对类型不同，先交给调用方选择统一策略。
        if (from.isAbsolute() != to.isAbsolute()) {
            return Optional.empty();
        }

        // 两条相对路径都没有根；两条绝对路径则必须共享同一根。
        if (!Objects.equals(from.getRoot(), to.getRoot())) {
            return Optional.empty();
        }

        try {
            // normalize 只整理 . 和 .. 的词法片段，不检查文件存在性。
            return Optional.of(from.normalize().relativize(to.normalize()));
        } catch (IllegalArgumentException ex) {
            // 对文件系统提供者的额外限制保留安全降级出口。
            return Optional.empty();
        }
    }
}

这里没有把所有输入都转换成绝对路径，因为相对路径可能本来就代表配置文件内部的逻辑关系。若业务明确要求“相对于当前进程目录”，再在入口处统一调用 toAbsolutePath()；统一后还要重新检查根，而不是假设任何两个绝对路径都能互相 relativize。

Windows 不同盘符为什么只能降级

在 Windows 上，C:\work\app 和 D:\backup\app 都是绝对路径，但根不同。它们之间不存在类似 ..\.. 的可靠相对表达，因为向上回退只能在当前盘符的根内移动。把盘符名称当成普通目录拼进结果，得到的也不再是标准的相对路径。

更稳妥的做法是把“能否相对化”当成一个可失败的业务能力：

• 展示链接或日志时，保留目标绝对路径，避免丢失位置。
• 生成同盘缓存路径时，先选择统一的工作根，再对用户输入做归一化。
• 跨盘复制、迁移或归档属于另一层业务，不要用 relativize 的结果替代它。

本地运行与验收应该看什么

在示例目录中编译运行后，预期可以观察到：第一组同根绝对路径能得到一个相对表示；第二组绝对/相对混用进入不可直接计算分支；第三组在同一默认文件系统上表现为不同根时，也应进入降级分支。这里的“预期”是由输入关系推导出的说明，不等同于本文已经替读者执行了命令。

# 编译两个演示类；类路径使用当前目录
javac PathRelativizeDemo.java SafeRelativize.java

# 运行关系诊断工具，观察每组的 absolute、root 和 relative 字段
java PathRelativizeDemo

几个容易混淆的边界

relativize 会检查文件是否存在吗？

不会。它处理的是两个 Path 的词法关系，不等于打开文件，也不保证目标路径存在。

normalize 能解决不同盘符吗？

不能。normalize 只整理路径中的 . 和 .. 等冗余片段，不会把 C 盘和 D 盘变成同一个根。

为什么不直接 catch 所有异常？

可以把 IllegalArgumentException 作为提供者边界的兜底，但输入为空、业务参数错误等问题应在更早处明确处理。先检查绝对/相对类型和根，再捕获指定异常，排障信息更准确。

统一调用 toAbsolutePath 就一定安全吗？

不一定。它会引入当前进程工作目录语义；如果两条输入本来来自不同文件系统或不同盘符，转成绝对路径后仍然可能跨根。统一前要先确定业务真正需要的基准目录。

归根结底，Path.relativize 失败时先看路径关系，而不是先看文件系统。把绝对/相对类型、根路径和业务降级策略放在同一个小封装里，Windows 不同盘符、配置路径混用和日志输出中的跨平台问题都会更容易定位。