C++里“路径相等”不等于“字符串相等”：equivalent()的冷知识与实战避坑指南

上周帮同事查一个文件操作失败的问题，现象很诡异：std::filesystem::exists(path)返回false，但用同样的path.string()去终端里ls却明晃晃存在。折腾半小时才发现——他传进来的路径是./config.json，而程序内部缓存的是config.json。两个std::string不相等，但在文件系统层面，它们指向同一个实体。

这正是std::filesystem::equivalent()存在的意义：它不比字符串，而比“真实身份”。

C++17引入<filesystem>后，很多人自然以为==或compare()就能判断两个路径是否“指向同一文件”。错。
std::filesystem::path重载了==，但它只做字面量比较：/home/user/file.txt和/home/user/../user/file.txt在path == path眼里，就是两个陌生人。

而equivalent()干的是另一件事：向操作系统发起一次真实查询，确认两个路径是否解析为同一个inode（类Unix）或同一对象ID（Windows）。它不关心你怎么写路径，只认最终落点。

什么时候必须用equivalent()？

• 缓存键设计：你把文件内容按路径缓存，但用户可能用相对路径、软链接、带.或..的路径反复访问同一文件。用path.string()当key？缓存直接爆炸。
• 去重逻辑：扫描目录时收集所有.cpp文件，但不想把src/main.cpp和./src/main.cpp算作两个文件。
• 配置合并：读取多个配置路径，需判断--config /etc/app.conf和--config ./etc/app.conf是否重复加载。

这些场景下，字符串相等是假阳性，equivalent()才是真判断。

实际调用要注意三个硬约束

第一，两个路径都必须存在。
equivalent(a, b)要求a和b都指向真实存在的文件或目录。如果任一路径不存在，抛出std::filesystem::filesystem_error（错误码为std::errc::no_such_file_or_directory）。它不帮你“预测”，只做“验证”。

第二，跨设备（mount point）可能失败。
Linux下，若a在/dev/sda1，b在/dev/sdb1，即使路径字符串一样，equivalent()也返回false——因为不同文件系统有独立的inode空间。这不是bug，是设计使然。

第三，符号链接默认被解引用。
equivalent("/tmp/link", "/real/path")返回true，只要link指向/real/path。如果你需要判断“链接本身是否相同”（即两个symlink文件是否是同一个文件），得先用is_symlink()+read_symlink()提取目标再比——equivalent()不负责这个层级。

一个轻量级封装建议

直接裸用equivalent()容易漏异常处理。我习惯包一层：

#include <filesystem>
#include <system_error>

bool paths_equivalent(const std::filesystem::path& a,
                      const std::filesystem::path& b) {
    std::error_code ec;
    bool result = std::filesystem::equivalent(a, b, ec);
    return result && !ec; // 忽略不存在等错误，只认明确等价
}

注意：这里不抛异常，而是静默失败。因为多数业务场景中，“无法判断是否等价”就等价于“不等价”——比如缓存key生成，宁可多存一份，也不愿误判丢数据。

如果你需要区分“不等价”和“不可判定”，那就保留ec并分支处理。

它和canonical()是什么关系？

有人会想：“那我先把路径canonical()一下，再比字符串不就行了？”
理论上可行，但有隐患：canonical()需要路径存在，且可能触发权限检查（比如遍历/root/hidden时失败）；更关键的是，canonical()不处理挂载点别名。例如/mnt/data和/data若通过bind mount关联，canonical()各自返回自己，但equivalent()能识别它们是同一位置。

所以结论很实在：
✅ equivalent() —— 判断“是不是同一个东西”，适合决策、去重、校验。
✅ canonical() —— 判断“标准写法是什么”，适合日志归一化、调试输出。
二者目的不同，别混用。

最后说个真实教训：某次上线后发现日志轮转失效，排查发现日志路径配置项被前端传入log/./app.log，而后端初始化时用了canonical()生成监控路径，但轮转模块用的是原始字符串匹配——两个路径在equivalent()眼里是同一个，但在代码各处的字符串表示里，谁也没跟谁打招呼。

路径不是字符串，是通往数据的活路。
C++给你equivalent()，不是为了炫技，是提醒你：别用文本思维处理文件系统。

下次看到两个长得不一样的路径，别急着==，先问问操作系统——它们，到底是不是同一个。