C++里怎么把/a/b/../c/./d变成/a/c/d？——手撕canonical路径标准化

你有没有遇到过这样的场景：程序接收用户输入的路径，比如/home/user/../../etc/passwd，或者从配置文件读到/usr/local/lib/../../bin/，甚至更糟——混着Windows风格反斜杠和多余点号：C:\\Program Files\\..\\Windows\\System32\\.。这时候直接open()或stat()，十有八九失败。不是权限问题，是路径本身“长得太乱”，系统压根不认。

C++标准库直到C++17才正式引入<filesystem>，而其中的std::filesystem::canonical()常被误认为“万能路径清理器”。但现实很骨感：它依赖真实文件系统存在性。如果/tmp/nonexistent/../log里的nonexistent目录根本不存在，canonical()直接抛异常——可我们往往只想做纯字符串规范化：去掉冗余/./、消掉/../、合并多斜杠，不查磁盘，不碰inode。

这正是“标准化绝对路径”（canonicalized absolute path）的核心诉求：纯文本规整，不依赖实际文件是否存在。

先划重点：
✅ 目标是把任意合法绝对路径字符串（如/a//b/./c/../d///e/）转为最简形式（/a/b/d/e）
❌ 不要求路径真实存在
❌ 不处理符号链接解析（那是canonical()干的活）
❌ 不跨平台自动转换分隔符（Linux/macOS用/，Windows需另议）

怎么做？三步走，全是std::string操作，零系统调用：

第一步：确保输入是绝对路径，并统一斜杠方向
对POSIX系（Linux/macOS），绝对路径必须以/开头。若输入是相对路径（如a/b/../c），标准化无意义——它没有锚点。所以先校验：

if (path.empty() || path[0] != '/') return path; // 非绝对路径，不处理

接着把所有\替换成/（兼容部分混合输入），再用std::regex_replace或循环替换干掉连续多个/，缩成单个：/a///b/ → /a/b/。

第二步：逐段拆解，用栈模拟路径遍历
这是最关键的一步。别想着正则一把梭——/a/b/../c/./d里..只抵消前一个有效段，不是全局搜索。正确做法是：

• 用std::string_view按/切分（跳过空段，因为//会产生空字符串）
• 遇到.：跳过（当前目录，无意义）
• 遇到..：若栈非空，弹出栈顶（回退一级）；若栈空，保留..（说明路径越界，如/a/../..应为/..，这是合法的“上上级”表示）
• 其他段：入栈

注意：这里不假设路径一定在根下“安全”。/..是合法的POSIX概念（尽管多数shell禁止访问），标准化后就该保留，而不是强行截断成/——那会篡改语义。

第三步：拼接结果，保证结尾无多余/（除非是根）
栈里存的是各段名（如{"a", "c", "d"}），直接用/连接。特别处理：若栈为空，返回/；若首段是..且栈里只有它，就返回/..。

实际写起来不到30行核心逻辑。我常用一个std::vector<std::string>当栈，for (auto seg : segments)遍历，seg == ".."时if (!stack.empty()) stack.pop_back(); else stack.push_back(seg);——干净利落。

有人问：为什么不用std::filesystem::weakly_canonical()？它也不查文件，但它仍会尝试解析符号链接、处理挂载点，而且行为受std::filesystem::current_path()影响。而我们只要确定性字符串变换，它反而引入不确定性。

还有一点容易踩坑：编码。路径字符串默认是字节序列，不是UTF-8强制要求。只要输入是合法的POSIX路径字节流（即不含嵌入\0、不以/结尾的非法字符），这套逻辑就稳如老狗。中文路径？没问题，std::string照单全收。

最后提醒一句：标准化后的路径，不等于安全路径。/var/www/../../../etc/shadow标准化后是/etc/shadow，但如果你用它去读文件，得自己做白名单校验。标准化只是整理仪容，不是安检门。

写完这个函数，我把它塞进工具库，起名absolute_path_normalize。下次看到同事用system("realpath -m " + path)调外部命令来“标准化”，我就默默把这段代码贴过去——快、轻、不fork、不依赖shell。

路径就像人名，写法可以五花八门，但登记户口得有个标准格式。C++没给你现成的“户籍科”，但给了你纸和笔。自己动手，反而更踏实。