为什么这个指针包含一个存储在堆上的地址？

Question

下面是我的代码( Mac上的g++编译器)：

/* initialize character arrays */
char a[2] = "a";
char b[2] = "b";

/* assigns to c the pointer to a read-only buffer containing 'c' */
char* c = "c"; // does this cause a memory leak?

/* allocate heap-memory for d */
char* d = new char[2];
strcpy(d, "d");

/* print addresses and values */
std::cout << (void*)a << ":" << a << '\n';
std::cout << (void*)b << ":" << b << '\n';
std::cout << (void*)c << ":" << c << '\n';
std::cout << (void*)d << ":" << d << '\n';

/* free memory */
delete d[];

在看到这个程序的输出之前，我希望a、b和c包含堆栈上的地址，d包含堆上的地址。但是，输出如下所示：

0x7fff5a5ea38e:a
0x7fff5a5ea38c:b
0x105616f7c:c
0x7fa01bc02690:d

由于堆栈指针从最高地址向下增长，而堆指针从最低地址向上增长，因此似乎a、b和d存储在堆栈上，而c存储在堆上。真的是这样吗？

我的问题是，既然我没有使用new关键字分配内存，那么为什么将c存储在堆上又有什么意义呢？这是否意味着c的初始化造成了内存泄漏？既然我专门在堆上分配了内存，为什么d要存储在堆栈上？

谢谢!

Answer 1

你对内存区域的猜测不是很准确。a和b确实存在于堆栈中，因为它们是数组。但是，c是指向字符串的指针，该字符串存储在二进制映像(既不是堆栈也不是堆)的.rodata部分中。d的值比a和b小380 GB(！)；它在堆上(这是一个单独的内存区域，尽管不在任何类型的“最低地址”上)。

请记住，除了是与语言无关的特定于平台的细节之外，像ASLR这样的东西还会使这种旁观者运动变得困难。