C中的变量声明及其内存地址

Question

我创建了一个简单的程序：

#include <stdio.h>

int main()
{
    int s1;
    int s2;
    int s3;
    
    int *p1, *p2, *p3;
    
    p1 = &s1;
    p2 = &s2;
    p3 = &s3;
    
    printf("%d\n%d\n%d", p1, p2, p3);
}

每当我运行这个程序时，它都会打印指针p1、p2和p3的内存地址，有趣的是这些值有12的差异。我想知道这背后的原因。为什么地址与12 不同？

注意：每次我执行程序都会发生这种情况。

输出：

---

我在许多类型的变量中测试了同一个程序，我得到的结果是..

当变量是 char 类型时。

---

当变量是长类型时

---

当我声明 int array 时，每个数组的大小为 1。

---

当第二个声明数组的大小为 2 时，它会获得额外的 4 字节偏移量。

Answer 1

我猜这是一个调试版本。我已经尝试过使用 Visual Studio 2010 构建的这个程序。在调试时，地址之间有 12 个字节的差异。在发布模式下，有 4 个字节 (sizeof(int)) 的差异。

在调试版本中，MSVC 编译器添加了额外的数据来帮助检测缓冲区溢出和未初始化内存的使用。如果在printf 语句上设置断点并查看p1 指向的内存，您应该会在内存中看到cc。

内存初始化为许多不同的魔法值。 cccccccc 表示未初始化的堆栈空间。如需更详细的列表，请参阅此问题的答案：In Visual Studio C++, what are the memory allocation representations?

Answer 2

我很确定这是“编译器会在您不应该写入的地方添加额外的东西以检测您何时写入”的情况。 Micrsoft 确实喜欢这样做，以便它可以检测到您的代码何时做坏事。尝试类似：

void func()
{
  int x = 18;
  int *px = &x;
  px[1] = 4711;
  cout << "px = " << px << " x = " << x << " px[1] = " << px[1] << endl;
}

看看编译器是否没有“检测到”这段代码在做坏事......如果是，那是因为它在 x 和 p 之间放置了“填充”，并检查函数何时返回那些“ padding”区域没有被触及。