source_location：C++20 里那个“知道自己在哪”的小帮手

写 C++ 时，你有没有过这种时刻：日志里只写着“断言失败”，却得翻半天堆栈才能定位到是哪个 .cpp 文件、第几行、哪个函数出了问题？又或者，自己写的调试宏总要手动传 __FILE__ 和 __LINE__，一不小心漏掉一个，就失去上下文——这种“人肉补全”操作，既容易出错，又显得代码不够干净。

C++20 引入的 std::source_location，就是来悄悄替你把这事干利索的。

它不是宏，不是魔法，而是一个轻量、标准、类型安全的结构体。编译器在调用点自动生成位置信息，无需你手写任何字符串字面量。它不依赖预处理器展开顺序，也不怕宏嵌套层层套娃——这点，比纯宏方案稳得多。

先看最典型的用法：

#include <source_location>
#include <iostream>

void log(const char* msg, 
         const std::source_location loc = std::source_location::current()) {
    std::cout << "[" << loc.file_name() << ":" 
              << loc.line() << "] " << msg << '\n';
}

int main() {
    log("程序启动");  // 自动捕获 main() 中这一行的位置
}

注意那个默认参数 = std::source_location::current()。关键就在这句：它不是运行时计算出来的，而是编译期由编译器“悄悄塞进去”的。你调用 log() 的地方，编译器就自动填入该调用点的文件名、行号、函数名和列号。你完全不用操心怎么传——它就像呼吸一样自然。

有人会问：那 file_name() 返回的是绝对路径还是相对路径？答案是：取决于编译器和构建配置，但通常是传递给编译器的原始路径形式。Clang 默认给相对路径（如 "main.cpp"），GCC 可能带部分路径（如 "src/main.cpp"），MSVC 则倾向绝对路径。这不是缺陷，而是设计使然：source_location 的目标是提供可追溯的调试线索，而不是做路径标准化。真需要统一处理？自己封装一层 std::filesystem::path(loc.file_name()).filename().string() 就够了，别指望标准库替你做业务逻辑。

再进一步，它还能帮你写更聪明的断言：

#define MY_ASSERT(expr) \
    do { \
        if (!(expr)) { \
            auto loc = std::source_location::current(); \
            std::cerr << "ASSERTION FAILED: " << #expr \
                      << " at " << loc.file_name() \
                      << ":" << loc.line() \
                      << " in " << loc.function_name() << '\n'; \
            std::abort(); \
        } \
    } while(0)

对比老式 assert(expr)，这个宏多了函数名和更清晰的格式。而且——它不会污染调用栈的语义。因为 std::source_location::current() 是在宏展开处求值的，所以拿到的就是你写 MY_ASSERT(x > 0) 那一行的信息，而不是宏定义内部的某一行。

这里有个易踩的坑：source_location 的 function_name() 返回值是实现定义的。GCC 可能返回 "void foo()"，Clang 可能精简为 "foo"，MSVC 还可能带上调用约定。别拿它做字符串比较或持久化存储，只适合展示和调试。想识别函数身份？用 __func__ 或符号地址更可靠。

还有一点常被忽略：source_location 是可复制、可存储的。你可以把它作为成员变量存进日志条目结构体里：

struct LogEntry {
    std::string message;
    std::source_location location;  // 安全！它只有几个 size_t 成员
    std::chrono::steady_clock::time_point time;

    LogEntry(std::string m, std::source_location l = std::source_location::current())
        : message(std::move(m)), location(l), time(std::chrono::steady_clock::now()) {}
};

这比存一堆 const char* 字符串指针清爽太多，也避免了宏展开导致的生命周期问题。

当然，它不是万能胶。它解决不了动态加载、反射缺失、跨语言调用这些场景；它也不能告诉你“为什么这行会执行”，只能告诉你“它在这儿”。但它把一件高频、琐碎、易错的事——让代码知道自己在哪——交给了语言本身，而不是靠程序员一遍遍重复粘贴 __FILE__ "/" __LINE__。

最后说个真实体验：在我们团队一个嵌入式日志模块中，引入 source_location 后，日志体积没变，但排查效率明显提升。新同学第一次看崩溃日志，不再问“这个 xxx.cpp:42 是哪个 xxx.cpp？”，而是直接跳转、复现、修复。工具的价值，往往就藏在这种“少一次犹豫、少一次确认”的细节里。

它不炫技，不复杂，甚至文档都短得可怜。但它就在那儿，安静、可靠、恰到好处——像一把好用的螺丝刀，不声张，但每次拧紧都让人踏实。