Question

这是我的代码（Mac OS上的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存储在堆上。是这样的吗？

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

谢谢！

Answer 1

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

请记住，除了作为与语言无关的平台特定细节之外，像ASLR这样的事情使这种观看性运动变得困难。

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

1 个答案: