std::stacktrace中内联函数可见但main缺失的技术疑问

问题背景 #

我编写了如下C++代码：

#include <stacktrace>
#include <iostream>

void bar() {
    for (const auto &entry : std::stacktrace::current()) {
        std::cout << entry << '\n';
    }
}

void foo() {
    bar();
}

int main() {
    foo();
}

在Debug构建下，输出符合预期：

bar() at /app/example.cpp:5
foo() at /app/example.cpp:11
main at /app/example.cpp:15
     at :0
_start at :0

但启用-O2优化后，输出发生变化：

bar() at /app/example.cpp:5
foo() at /app/example.cpp:11
     at :0
_start at :0

对应的汇编代码显示main直接调用bar()：

main:
  sub rsp, 8
  call bar()
  xor eax, eax
  add rsp, 8
  ret

针对以上现象，有三个技术疑问：

1. 若foo()已被内联、调用链中完全跳过，bar()为何能在栈追踪中显示foo()->bar()的调用关系？
2. 既然bar()能识别甚至内联的调用者，为何启用优化后main会从栈追踪中消失？
3. 那个无名称的at :0条目是什么？有无无需字符串处理的简便过滤方法？

疑问解答 #

1. 内联函数为何仍出现在栈追踪中？ #

编译器在优化内联函数时，会保留调试信息中的原始调用逻辑。std::stacktrace并非仅依赖运行时的栈帧结构，而是结合了二进制文件中的调试符号（如DWARF格式信息）。即便foo()被内联到main中，调试符号依然会记录“main通过foo调用bar”的设计时调用关系，栈追踪工具会利用这些符号信息还原出完整调用链，而非仅反映实际执行的汇编指令流。

2. 为何优化后main会从栈追踪中消失？ #

-O2优化下，main的栈帧被编译器省略了。当main直接调用bar后，编译器可能会让bar的返回直接跳转到启动代码_start，不再保留main的栈帧痕迹。虽然调试符号里有main的信息，但栈追踪需要栈帧的存在来匹配符号——如果栈上没有对应的帧，就无法将main的符号关联到栈追踪条目里。

另外，main作为程序入口由系统启动代码触发调用，优化后这种关联的栈帧痕迹更容易被抹去；而内联的foo因为有调试符号里的调用记录，反而能被栈追踪工具识别并补全到调用链中。

3. 无名称的at :0条目是什么？如何过滤？ #

这个条目代表无法解析到有效调试符号的栈帧，通常是系统运行时的启动代码（如crt0、动态链接器代码等）或编译器生成的匿名辅助函数。这些代码没有对应的源文件信息，或者调试信息无法映射到具体行号，因此栈追踪只能显示“at :0”（:0表示无有效行号）。

无需字符串处理的过滤方法：可以利用std::stacktrace_entry的成员函数判断无效条目，示例代码如下：

for (const auto &entry : std::stacktrace::current()) {
    // 过滤无函数名、无源文件或行号无效的条目
    if (!entry.name().empty() && !entry.source_file().empty() && entry.source_line() != 0) {
        std::cout << entry << '\n';
    }
}

内容的提问来源于stack exchange，提问作者Jan Schultke