c++ - g++ 二进制输出分析

Question

给定以下程序:

unsigned char g1[] = { 0x1a, 0x2a, 0x3a, 0x4a };
static unsigned char g2[] = { 0x1b, 0x2b, 0x3b, 0x4b };

int main()
{
  unsigned char l1[] = { 0x1c, 0x2c, 0x3c, 0x4c };
  static unsigned char l2[] = { 0x1d, 0x2d, 0x3d, 0x4d };
}

之后，用“g++ test.cpp -o test”简单地编译它并在二进制文件上运行 hexdump -C，我意识到 g1、g2 和 l2 的序列可以在二进制文件上清楚地找到。只有 l1 (1c 2c 3c 4c) 的序列显然不存在于二进制文件中的任何位置。

谁知道这是为什么？

Answer 1

因为它是在那个函数调用的栈上分配的。通常在这种情况下，会发生以下两种情况之一:

1. 编译器将将该序列存储在数据部分中，然后基本上将其 memcpy 到堆栈缓冲区中。

2. 编译器实质上是硬编码“移动”指令，以从指令集的最大立即值(通常是 4 字节整数)重新组装序列。

如果它没有被优化掉，就像提到的“unwind”，那么#2 可能正在发生。查看反汇编程序(或预组装的 asm 代码)会更好地向您展示。使用 -S 并查看 .s 文件。