std::source_location是C++20引入的编译期捕获源码位置的轻量结构体,自动填充文件名、行号、列号(通常为1)和函数名(实现相关),仅能通过默认参数隐式生成,不可手动构造。

std::source_location 是什么,它能自动填哪些信息?
std::source_location 是 C++20 引入的轻量结构体,用于在编译期捕获调用点的源码位置。它不依赖运行时栈遍历,零开销 —— 编译器直接把 __FILE__、__LINE__、__FUNCTION__ 这类宏展开成常量填入对象字段。
它默认提供四个只读成员函数:file_name()(const char*)、line()(unsigned int)、column()(通常为 1)、function_name()(编译器实现相关,GCC/Clang 一般返回 mangled 名,MSVC 更倾向 demangled)。
关键点:它必须由编译器隐式生成,不能手动构造(所有构造函数是 explicit 且被标记为 = delete 或仅限编译器内部使用)。你只能通过默认参数让它“自动出现”。
如何用默认参数让日志函数自动带位置信息?
把 std::source_location 设为函数最后一个默认参数,调用方完全无感知,但内部立刻拿到位置:
立即学习“C++免费学习笔记(深入)”;
void log_info(const char* msg, const std::source_location loc = std::source_location::current()) {
fprintf(stderr, "[%s:%u] %s\n", loc.file_name(), loc.line(), msg);
}调用时写 log_info("buffer overflow"); 就够了 —— 编译器自动把当前调用点的文件、行号塞进去。
常见错误:
- 把它放在参数列表中间或开头 → 调用时必须显式传参,失去“自动”意义
- 用
std::source_location{}手动初始化 → 编译失败(构造函数不可访问) - 跨函数传递后再取
file_name()→ 拿到的是传递发生处的位置,不是原始调用点(除非你层层转发并保持默认参数)
断言宏里怎么安全嵌入 source_location?
传统 assert 宏无法直接用 std::source_location,因为宏展开不支持默认参数。必须封装一层函数,并用宏触发该函数:
#define MY_ASSERT(expr) \
do { \
if (!(expr)) { \
__assert_fail_impl(#expr, std::source_location::current()); \
} \
} while(0)
void __assert_fail_impl(const char* expr_str, const std::source_location loc) {
fprintf(stderr, "Assertion failed: %s at %s:%u\n",
expr_str, loc.file_name(), loc.line());
std::abort();
}
这样 MY_ASSERT(ptr != nullptr); 输出的就是 ptr != nullptr 所在的真实行,而不是宏定义所在行。
注意:std::source_location::current() 必须写在宏体内(即展开后位于用户代码上下文),不能提前算好传进去;否则会固定指向宏定义位置。
和传统宏比,有什么实际差异和坑?
优势明显:类型安全、可传入模板、可存为成员变量、不污染预处理器命名空间。
但要注意:
-
function_name()不可靠:GCC 返回_Z12my_handlerPv这类符号名,需额外 demangle;MSVC 可能返回void my_handler(void*),但非标准保证 - 某些旧版 Clang(__cpp_lib_source_location 宏
- 调试器可能不显示
std::source_location字段值(尤其优化后),但生成的字符串内容没问题 - 不能替代
backtrace:它只记录单层调用点,不提供调用栈
真正省事的地方在于“写一次,到处自动生效”,但别指望它解决所有符号可读性问题。











