lexically_relative：C++17 路径操作里最常被误用的“相对”函数

你有没有试过这样写：

std::filesystem::path p1 = "/home/user/docs/report.pdf";
std::filesystem::path p2 = "/home/user/downloads/archive.zip";
auto rel = p1.lexically_relative(p2);

然后发现结果是 "../docs/report.pdf"——看起来合理？但当你真把它拼到 p2 上去试图还原 p1，却意外失败了？

这不是你的错。lexically_relative 不做任何磁盘访问，也不检查路径是否存在；它只在字符串层面做“字面推导”。名字里的 lexically（词法）二字，就是关键提示：它不关心你硬盘上有没有那个目录，只盯着斜杠和点号怎么排布。

很多人第一次用它，是冲着“我要算两个路径之间的相对关系”这个朴素需求来的。比如打包工具要生成更短的引用路径，或者构建系统想把绝对路径转成项目内可移植的写法。但很快就会踩坑：

• 给两个根本不在同一挂载点的路径（比如 /home 和 /mnt/usb/stuff），它可能返回一串看似合理实则无效的 ../../..；
• 给一个带符号链接的路径，它照样按字面算，完全无视链接实际指向；
• 甚至传入 . 或空路径，行为也未必符合直觉。

这些不是 bug，是设计使然——它本就不是为“语义相对”服务的，而是为快速、确定、无副作用的字符串归一化准备的。

那它到底适合干啥？举个真实场景：你正在写一个配置文件解析器，用户输入的路径可能是绝对的，也可能是相对于配置文件所在目录的。你手头有：

auto config_path = std::filesystem::current_path() / "conf/app.toml";
auto user_input = "/var/log/app.log"; // 或者 "logs/debug.log"

你想把 user_input 转成相对于 config_path.parent_path() 的形式，方便后续存档或展示。这时候：

auto base = config_path.parent_path(); // /path/to/conf
auto target = std::filesystem::absolute(user_input);
auto rel = target.lexically_relative(base);

只要 target 确实位于 base 的子树中（或其祖先路径上），rel 就是可靠的。但它不会帮你验证这点——你得自己确保 is_subdirectory_of(target, base) 或类似逻辑先行成立。

换句话说：lexically_relative 是一把精准的刻刀，但不负责画线。你得先用 std::filesystem::weakly_canonical 或手动 normalize 把路径拉平，再喂给它。

这里有个容易被忽略的细节：lexically_relative 对路径结尾的 / 敏感。
"/a/b/" 和 "/a/b" 在文件系统中通常等价，但在词法计算中会被视为不同结构。前者被视作目录，后者可能是文件。所以建议在调用前统一处理：

auto clean = [](const std::filesystem::path& p) {
    return p.lexically_normal().remove_filename() / p.filename();
};
// 或更稳妥：先 weakly_canonical，再 lexically_normal

lexically_normal() 会合并 ./、a/../b 这类冗余段，是 lexically_relative 的好搭档。两者合用，才能让“词法相对”真正稳定下来。

还有一点值得提：它和 relative_path() 完全不是一回事。后者是 path 类的一个成员函数，返回从根开始的“剩余部分”，比如 /a/b/c.txt 的 relative_path() 是 "a/b/c.txt"——纯截取，不比较。而 lexically_relative(other) 是二元运算，必须传入另一个路径作为参考基准。

别被名字带偏。relative_path 是“去掉根之后剩下什么”，lexically_relative 是“从我出发，怎么走才能字面上抵达你”。

最后说个实用技巧：如果你需要的是“运行时真正能走通的相对路径”，而不是仅用于显示或生成的字面表达，那么请绕开 lexically_relative，改用：

auto canonical_p1 = std::filesystem::weakly_canonical(p1);
auto canonical_p2 = std::filesystem::weakly_canonical(p2);
auto rel = canonical_p1.lexically_relative(canonical_p2);

weakly_canonical 会尝试解析存在的部分，对不存在的路径也尽力规整（比如把 a/../b 变成 b），大幅降低因路径不规范导致的误判。

当然，它依然不能替代 std::filesystem::equivalent() 做最终校验——如果业务逻辑要求“必须能还原原路径”，那 rel 算出来之后，务必用 base / rel == target（或 equivalent）再确认一次。

lexically_relative 不是万能钥匙，也不是鸡肋函数。它是 C++17 文件系统库里少有的、明确区分“词法”与“语义”的接口之一。理解它的边界，比记住怎么用更重要。下次看到路径变来变去出问题，先问一句：我在跟字符串打交道，还是跟磁盘上的真实结构打交道？答案决定了该不该用它，以及怎么用才不翻车。