C++中的std::source_location有什么用?(获取代码文件名和行号)

c++kquote>std::source_location 是 C++20 引入的轻量值类型,不能直接替代 FILE 和 LINE 宏,因其 current() 是函数调用、反映调用点而非定义点;正确用法是作为带默认值的函数参数(按值传递),由编译器在每次调用时自动注入实际位置信息。

std::source_location 是什么,能直接替代 __FILE__ 和 __LINE__ 吗?

std::source_location 是 C++20 引入的标准设施,用于在编译期捕获调用点的源码位置信息。它不是宏,而是一个轻量值类型,包含 file_name()line()column()function_name() 四个只读访问函数。它不能直接替代 __FILE____LINE__ 的宏展开行为——因为 std::source_location::current() 是一个函数调用,其返回值反映的是该函数被调用处的位置,而非宏定义处。

常见误用是把它写*局变量或静态常量初始化:

static const auto loc = std::source_location::current(); // ❌ 错!总指向这行

正确做法是让它作为函数参数默认值,在每次调用时自动注入实际调用点信息。

怎么让日志函数自动记录调用位置?

最典型用途是为日志、断言、调试工具注入上下文。关键在于把 std::source_location 设为带默认值的函数参数:

  • 默认值必须是 std::source_location::current(),不能加括号以外的任何表达式(如 std::source_location{} 会固定为定义处)
  • 参数必须按值传递(它是 trivially copyable,无开销)
  • 不能是模板参数推导目标(它不参与重载/推导)

示例:

void log(const char* msg, std::source_location loc = std::source_location::current()) {
    fprintf(stderr, "[%s:%d] %s\n", loc.file_name(), loc.line(), msg);
}
// 调用方完全无感知:
log("buffer overflow"); // 自动捕获这一行的文件和行号

为什么 function_name() 返回的不是完整签名,且内容不可移植?

function_name() 返回的是编译器生成的符号名(mangled name),标准只要求它“尽可能描述调用点所在函数”,不保证可读性或跨编译器一致。GCC 可能返回 "void foo()",Clang 可能返回 "foo",MSVC 可能返回

如果你需要稳定可读的函数名:

  • 不要依赖 function_name() 做逻辑判断(比如 switch 或 if 比较)
  • 调试输出可以保留,但日志归类、监控告警等生产场景应避免用它做 key
  • 真正需要符号名解析时,应结合外部工具(如 addr2line、llvm-symbolizer)或 ABI 解析库

和 assert / static_assert 有什么关系?

std::source_locationassert 没有直接集成,C++23 才引入 std::assertion_handler 支持自定义断言处理,但目前主流标准库(libstdc++、libc++、MSVC STL)的 assert 仍基于传统宏,输出由预处理器决定。

你可以自己封装断言宏来桥接:

#define MY_ASSERT(x) do { \
    if (!(x)) { \
        log_assert(#x, std::source_location::current()); \
        std::abort(); \
    } \
} while(0)

void log_assert(const char* expr, std::source_location loc) { fprintf(stderr, "Assertion failed: %s at %s:%d\n", expr, loc.file_name(), loc.line()); }

注意:宏里调用 std::source_location::current() 是安全的,因为宏展开后它出现在调用点,不是宏定义内部。

真正容易被忽略的是:std::source_location 在 constexpr 函数中无法使用 current()(编译期无法确定“调用点”),所以它只适用于运行时上下文;另外,某些嵌入式或 freestanding 环境可能未实现该特性,需检查 __cpp_lib_source_location 宏。