C++20 std::source_location：精准获取调用位置的现代调试利器

在软件开发过程中，日志记录、断言检查和错误追踪往往需要知道代码在何处被调用。传统上，开发者依赖宏（如 __FILE__、__LINE__、__FUNCTION__）拼接字符串来实现位置信息注入，但这种方式存在类型不安全、扩展性差、难以复用等缺陷。C++20 引入了 std::source_location —— 一个轻量、类型安全、零运行时开销的标准库工具，让调用位置信息的获取变得简洁、可靠且面向对象。

std::source_location 并非运行时动态采集，而是在编译期由编译器自动填充的结构体实例。它封装了文件路径、行号、列号及函数名四个关键字段，所有成员均为 constexpr 可访问，且默认构造函数会填充当前上下文位置。更重要的是，它支持作为函数参数（尤其是带默认值的右值引用），使“隐式传入调用点信息”成为可能，彻底摆脱宏的语法污染。

以下是最典型的使用场景：自定义日志函数。我们定义一个 log_info 函数，其最后一个参数为 std::source_location 类型，并赋予默认值 std::source_location::current()：

#include <iostream>
#include <source_location>
#include <string_view>

void log_info(std::string_view message,
              const std::source_location& loc = std::source_location::current()) {
    std::cout << "[INFO] "
              << loc.file_name() << ":"
              << loc.line() << ":"
              << loc.column() << " in "
              << loc.function_name() << " - "
              << message << '\n';
}

调用时无需显式传参，编译器将自动填入调用处的位置信息：

int main() {
    log_info("Application started");           // 输出：[INFO] main.cpp:12:5 in main - Application started
    log_info("User login succeeded");          // 输出：[INFO] main.cpp:13:5 in main - User login succeeded
    return 0;
}

注意：loc.file_name() 返回 const char*，通常为相对路径；若需绝对路径，需结合构建系统或预处理器宏（如 __FILE__）二次处理，但 source_location 本身不提供该能力——这正是其设计哲学：专注核心职责，保持最小接口。

更进一步，我们可以将其封装为可重用的日志类，支持不同级别与上下文隔离：

class Logger {
public:
    explicit Logger(std::string_view module)
        : module_name_(module) {}

    void info(std::string_view msg,
              const std::source_location& loc = std::source_location::current()) {
        print("INFO", msg, loc);
    }

    void warn(std::string_view msg,
              const std::source_location& loc = std::source_location::current()) {
        print("WARN", msg, loc);
    }

private:
    void print(std::string_view level, std::string_view msg,
               const std::source_location& loc) {
        std::cout << '[' << level << "] ["
                  << module_name_ << "] "
                  << loc.file_name() << ':'
                  << loc.line() << ' '
                  << loc.function_name() << " - "
                  << msg << '\n';
    }

    std::string_view module_name_;
};

// 使用示例
int main() {
    Logger app_log{"app"};
    app_log.info("Initializing config");
    app_log.warn("Fallback config loaded");
    return 0;
}

上述代码中，module_name_ 提供逻辑分组，而 source_location 保证每条日志精确锚定到调用语句，而非日志函数内部——这是宏方案无法天然做到的（宏展开后位置始终指向宏定义处）。

值得注意的是，std::source_location 的字段访问均为 constexpr，意味着可在编译期参与计算。例如，可构建静态断言以校验关键路径的调用深度限制：

#include <cassert>

void critical_operation(
    const std::source_location& loc = std::source_location::current()) {
    // 假设仅允许在 main 或 test_main 中调用
    constexpr auto allowed_func = "main";
    static_assert(
        std::string_view{loc.function_name()}.starts_with(allowed_func),
        "critical_operation must be called from main()"
    );
}

虽然此例中 loc.function_name() 在 static_assert 中是否 constexpr 取决于具体编译器实现（GCC 13+ 和 Clang 16+ 已支持），但它体现了 source_location 向元编程延伸的潜力。

兼容性方面，std::source_location 要求 C++20 标准支持。若项目暂未升级，可通过条件编译回退至宏方案：

#if __cpp_lib_source_location >= 201907L
    #include <source_location>
    using source_loc_t = std::source_location;
#else
    struct source_loc_t {
        constexpr source_loc_t(const char* f = __FILE__,
                               int l = __LINE__,
                               const char* fn = __func__) 
            : file_(f), line_(l), func_(fn) {}
        const char* file_ = "";
        int line_ = 0;
        const char* func_ = "";
    };
#endif

这种渐进式迁移策略保障了代码的长期可维护性。

综上所述，std::source_location 是 C++20 中一项低调却极具实用价值的特性。它以极小的语法成本，换取了位置信息获取的类型安全、可组合性与编译期确定性。无论是简化日志框架、增强断言表达力，还是构建领域专用诊断工具，它都提供了坚实而优雅的底层支撑。摒弃冗余宏，拥抱标准库原生能力，正是现代 C++ 工程实践的重要标志之一。