为什么std::filesystem::relative_path()对不存在的路径仅有时返回空字符串？

嘿，我来帮你把这个问题掰扯清楚！你遇到的std::filesystem::relative()返回空字符串的情况，其实和路径的逻辑结构密切相关——哪怕路径对应的文件或目录压根不存在，只要它和基准路径（默认是当前工作目录）在逻辑上等价，就会返回空字符串。

首先得明确：std::filesystem::relative()的核心作用，是计算从基准路径到目标路径的最短相对路径。它的判断依据是路径字符串的解析结果，而不是实际文件系统里的存在性。也就是说，哪怕路径对应的东西被删了，只要路径本身和当前目录是“同一个逻辑位置”，它就会返回空。

举几个实际场景你就懂了：

• 如果你传入的路径就是当前工作目录的绝对路径（比如当前目录是/home/me，你传/home/me），不管这个目录还在不在，relative()都会认为它和基准路径完全一致，直接返回空字符串。
• 要是你传的是当前目录的“花式写法”，比如./或者/home/me/./，这些路径经过规范化（去掉冗余的.和斜杠）后，和当前目录的路径完全一样，自然也会返回空。

那为什么有时候又不返回空呢？很简单——当目标路径和基准路径不在同一个逻辑路径下时，哪怕路径不存在，relative()也会正常计算相对路径。比如当前目录是/home/me/projects，你传/home/me/docs（不管这个文件夹有没有），它会返回../docs；你传/home/me/projects/new_file.cpp（文件不存在），它会返回new_file.cpp。

如果你还是搞不清为啥某次返回了空，可以先把目标路径和当前目录都做个规范化处理，看看是不是等价的。比如写个小测试代码：

#include <iostream>
#include <filesystem>

namespace fs = std::filesystem;

void test(fs::path p) {
    auto normalized_path = fs::lexically_normal(p);
    auto normalized_cwd = fs::lexically_normal(fs::current_path());
    
    std::cout << "原路径：" << p << "\n";
    std::cout << "规范化后路径：" << normalized_path << "\n";
    std::cout << "当前目录规范化后：" << normalized_cwd << "\n";
    
    if (normalized_path == normalized_cwd) {
        std::cout << "这个路径和当前目录逻辑等价，relative会返回空\n";
    } else {
        try {
            auto rel_path = fs::relative(p);
            std::cout << "相对路径：" << rel_path << "\n";
        } catch (const fs::filesystem_error& e) {
            std::cout << "出错啦：" << e.what() << "\n";
        }
    }
    std::cout << "-------------------------\n";
}

int main() {
    test(fs::current_path());          // 等价于当前目录，返回空
    test(fs::current_path() / ".");    // 规范化后等价，返回空
    test("/home/me/docs");             // 假设当前目录是/home/me/projects，返回../docs
    test("/home/me/projects/untitled");// 返回untitled
    return 0;
}

总结一下关键点：

• relative()不关心路径是否存在，只看路径的逻辑结构
• 当目标路径规范化后和基准路径完全一致，就返回空字符串
• 遇到疑惑时，先做路径规范化对比，就能快速找到原因

内容来源于stack exchange