17370845950

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 设为函数最后一个默认参数，调用方完全无感知，但内部立刻拿到位置：

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：它只记录单层调用点，不提供调用栈

真正省事的地方在于“写一次，到处自动生效”，但别指望它解决所有符号可读性问题。