c++如何利用filesystem规范化路径中的冗余点(.)与相对路径符号【实战】-C++-PHP中文网

std::filesystem::lexically_normal() 是首选，因它纯字符串归一化、不访问文件系统；而 canonical() 要求路径真实存在，否则抛异常，仅适用于校验已知存在的路径。

c++如何利用filesystem规范化路径中的冗余点(.)与相对路径符号【实战】

为什么 `std::filesystem::canonical()` 不是你的首选

它确实能去掉 . 和 ..，但前提是路径必须指向一个真实存在的文件或目录。一旦目标不存在，canonical() 直接抛出 std::filesystem::filesystem_error —— 这在构建路径、拼接配置、生成临时路径等场景下非常不友好。

真正需要的是“纯字符串规范化”，不依赖磁盘状态。C++20 标准没提供这个功能，得自己处理。

canonical() 适合：校验并标准化用户输入的“已知存在”的路径（如打开前检查）
canonical() 不适合：组装日志路径、计算相对资源位置、序列化路径前预处理
替代思路：用 std::filesystem::path 的构造 + lexically_normal()

`lexically_normal()` 是什么，又不是什么

lexically_normal() 是 C++17 引入的纯字面量归一化函数，它只做三件事：合并连续斜杠、移除开头的 .、折叠 a/./b → a/b，以及按规则消去 a/../b（仅当 a 非空且非 .. 时）。

它不访问文件系统，不检查是否存在，也不处理驱动器或 UNC 路径的语义差异（比如 Windows 下 C: 和 C:/ 被视为不同根）。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

输入 "./foo/../bar/." → 输出 "bar"
输入 "a/b/../../c" → 输出 "c"（因为 a/b/.. 消成 a，再 a/.. 消成空，最后剩 c）
输入 "../a" → 输出 "../a"（无法向上消，保留原样）
注意：lexically_normal() 返回新 path 对象，原对象不变

如何安全处理含 `..` 超出根的路径

如果业务逻辑要求“绝对不能出现 ..”，哪怕它语义上合法（如 ../../config.json），就得手动裁剪或报错。C++ 标准库不帮你做越界防护。

常见做法是：先调用 lexically_normal()，再遍历 path::begin() 到 path::end()，统计连续 .. 的数量，并与已知“安全根深度”比对。

auto p = std::filesystem::path("../foo/bar").lexically_normal();
int up_count = 0;
for (const auto& elem : p) {
    if (elem == "..") up_count++;
    else break; // 遇到非 .. 就停止计数（只关心开头的 ..）
}
if (up_count > 2) {
    throw std::invalid_argument("path escapes allowed depth");
}

不要用 string().find("..") —— 会误伤文件名含 .. 的情况（如 my..log）
Windows 下注意路径分隔符：用 path::generic_string() 或统一用 / 构造再归一化，避免 \ 干扰解析
若需强约束（如 Web 服务拒绝任何 ..），归一化后仍要显式检查 has_parent_path() 或遍历元素

跨平台路径拼接时的隐性陷阱

直接用 operator/= 或 append() 拼路径再调用 lexically_normal() 看似稳妥，但 Windows 下有个坑："C:foo" / ".." 归一化后仍是 "C:foo/.."，而不是你预期的 "C:" —— 因为 C:foo 是相对路径（未带尾随 /），它的根是 C:，不是 C:/。