std::filesystem::path::lexically_normal()：不是“标准化”，是“词法手术刀”

你有没有遇到过这样的路径：/home/../usr/bin/./gcc？它指向哪里？直觉上，.. 该回退，. 该忽略——但C++ 不靠直觉做事，它靠词法规则。lexically_normal() 就是这把专治路径“毛边”的手术刀：它不访问文件系统，不查目录是否存在，只在字符串层面做确定性规约。理解它，不是为了背函数名，而是为了避开那些“明明路径对却打不开文件”的深夜调试陷阱。

很多人把它和 std::filesystem::canonical() 混为一谈，甚至文档里都紧挨着写。但二者本质不同：canonical() 是“现实主义者”，要真实访问磁盘、解析符号链接、验证路径存在；而 lexically_normal() 是“纯粹语法学家”，它只认三样东西：.、.. 和普通元素。它不管 /proc/self/fd/3 是否有效，也不管 ../config/../config.yaml 对应的 config 目录是否存在——它只问：这个字符串，按 POSIX 路径词法规则，最简形式是什么？

举个例子：

std::filesystem::path p{"/a/b/../c/./d"};
auto n = p.lexically_normal(); // 结果是 "/a/c/d"

过程清晰可溯：

• /a/b/../c/./d → 遇到 b/..，抵消，得 /a/c/./d
• /a/c/./d → 遇到 ./，删掉，得 /a/c/d
  关键点在于：抵消只发生在相邻且方向明确的元素之间。/a/../b → /b（因为 a 和 .. 相邻）；但 /a/b/../../c → /c（两层 .. 逐级向上抵消）；而 /a/../../b 呢？答案是 /../b —— 词法归一不“越界”。它不会帮你把 .. 变成 /，也不会假设根目录之上还有父目录。这是设计使然，不是 bug。

这点特别容易踩坑。比如你拼接路径时写了：

auto base = std::filesystem::path{"/opt/app"};
auto rel = std::filesystem::path{"../../../etc/passwd"};
auto target = (base / rel).lexically_normal(); // 结果是 "/etc/passwd"？错！是 "/../../../etc/passwd"

为什么？因为 base / rel 先拼成 /opt/app/../../../etc/passwd，然后 lexically_normal() 从左到右扫描：/opt/app/.. → /opt/，再 /opt/.. → /，再 /.. → /..（停住！不能再往上），所以最终是 /../etc/passwd。它不预测你的意图，只执行确定性规则。想得到 /etc/passwd？得用 canonical()，或手动确保 base 是绝对路径且足够深。

那什么时候该用它？三个真实场景：

• 日志路径脱敏：记录用户传入的 --config=./conf/../conf.yaml，先 lexically_normal() 再打印，避免日志里满屏 .. 干扰排查；
• 配置路径预检：若业务约定“所有相对路径必须以 ./ 开头”，可用 p.lexically_normal().is_relative() + p.lexically_normal().string().starts_with("./") 快速校验；
• 构建系统路径归一化：在 CMake 或自研构建工具中，将用户输入的 -I/usr/include/../include/c++/12 统一转为 -I/usr/include/c++/12，保证后续依赖分析逻辑一致。

注意一个隐蔽细节：lexically_normal() 对空元素和重复分隔符也敏感。"a//b" → "a/b"，"a/./b" → "a/b"，但 "a///b" 同样 → "a/b"。它会合并连续斜杠，但不改变语义层级——这点和 shell 的 cd 行为一致，也是你写自动化脚本时能信赖它的原因。

最后提醒一句：它返回的是新 path 对象，原对象不变。别忘了赋值。也别指望它处理 Windows 风格路径中的 \——在非 Windows 平台，\ 不被视为路径分隔符，"a\b\c".lexically_normal() 就是 "a\\b\\c"（字面量反斜杠）。跨平台？老老实实用 / 构造 path，std::filesystem 会自动适配底层。

lexically_normal() 不是万能钥匙，但它是一把精准、轻量、无副作用的词法修整器。当你需要路径“看起来干净”，而不是“实际可达”时，它就是那个不声不响、却从不出错的搭档。下次看到一堆 .. 和 . 在路径里缠绕，别急着 canonical()——先问问自己：我是在和文件系统对话，还是在和字符串本身对话？答案清楚了，选哪个函数，自然就明了。