std::filesystem::relative要求两路径有共同祖先，否则抛std::filesystem::filesystem_error；需先用weakly_canonical等标准化为绝对路径，Windows跨盘符必失败，应提前校验root_name。
std::filesystem::relative 的基本用法和前提条件
必须确保两个路径有共同祖先，否则 std::filesystem::relative 会抛出 std::filesystem::filesystem_error（错误码为 std::errc::invalid_argument）。它不是通用的字符串差分工具，而是基于目录树结构做路径归一化后的相对推导。
实操建议：
- 先用
std::filesystem::weakly_canonical或std::filesystem::canonical处理输入路径，消除.、..和符号链接干扰 - 确保两个路径都是绝对路径——相对路径传入会导致行为不可靠（C++20 标准未明确定义相对路径作为参数时的语义）
- 若目标路径不在源路径的子树中，函数会向上回溯到最近公共祖先，再拼出
../段；但若完全无交集（如/a和/b），则抛异常
常见错误：路径未标准化导致 std::filesystem::relative 崩溃
直接传入带 .. 或软链接的路径，极易触发异常。例如：
auto p1 = std::filesystem::path("/home/user/../tmp");
auto p2 = std::filesystem::path("/home/log");
auto rel = std::filesystem::relative(p2, p1); // 可能 throw！
原因：未归一化路径在比较父目录时失败。正确做法是先转成规范绝对路径：
立即学习“C++免费学习笔记（深入）”；
- 用
std::filesystem::absolute(p)转为绝对路径（不解析符号链接） - 更稳妥用
std::filesystem::canonical(p)（要求路径存在且可访问）或std::filesystem::weakly_canonical(p)（允许末尾不存在） - 再调用
std::filesystem::relative(target, base)，其中base是起点目录（即“当前所在位置”）
Windows 下盘符不一致时 std::filesystem::relative 的行为
在 Windows 上，如果两个路径跨盘符（如 C:\foo 和 D:\bar），std::filesystem::relative 必然失败并抛出异常——这是标准强制要求，因为不同卷没有共同祖先。
无法绕过，也不应尝试“模拟”跨盘符相对路径。实操中需提前检查：
- 对两个路径分别调用
.root_name()，比较是否相等（"C:" == "D:"返回 false） - 若不等，直接拒绝计算，或按业务逻辑 fallback 到绝对路径显示
- 注意：Linux/macOS 无此限制，但 Windows 用户常忽略这点，导致程序在 CI 或双系统环境突然崩溃
性能与路径构造细节：不要重复调用 relative 多次
std::filesystem::relative 内部会逐级向上遍历父目录直到找到共同祖先，时间复杂度最坏 O(depth)。频繁调用（如在循环里）可能成为瓶颈，尤其在深层嵌套路径上。
优化建议：
- 缓存已计算的
std::filesystem::path对象，避免重复构造和解析 - 若需批量计算多个路径相对于同一基目录的相对值，先
weakly_canonical(base)一次，再复用 - 注意返回值是
std::filesystem::path，不是字符串；若后续要拼接 URL 或日志，记得调用.string()或.generic_string()（后者在 Windows 上用正斜杠）
最易被忽略的是：该函数不处理路径末尾的斜杠语义差异——/a/b/ 和 /a/b 被视为相同路径，但如果你依赖末尾斜杠表示“是目录”，得自己补。
