从一个微型例子看“C/C++的内存分配机制”和“数组变量名与指针变量名”

转自：/article/5170813.html

内存分配方式有三种：

从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，static变量。
在栈上创建。 在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。
这个大小在linux上可以使用：ulimit -a | grep stack 来查看
从堆上分配，亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存，程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定，使用非常灵活，但问题也最多。

#include <iostream>
using namespace std;
char * GetMemory(void){
//p_arr是个数组的起始地址，这个数组的内容是存放在栈上面的。另外，非常值得一
//提的是：系统没有为p_arr单独分配一个指针变量用来存放数组p_arr的起始地址。
char p_arr[] = "p_arr : hello world";

//p_heap是一个指针变量，这个指针变量存在于栈上面，指针变量的值是指向的由
//malloc分配得到的堆上的内存空间的起始地址。
char *p_heap=(char *)malloc(sizeof(char)*20);

//ptr是一个指针变量，这个指针变量存在于栈上面，指针变量的值是指向的后面字符
//串的起始地址，这个字符串是常量，是存在于静态存储区域的，不是在栈上，也不是
//在堆上。
char *ptr = "ptr : hello world";

strcpy(p_heap,"p_heap: hello world");
printf("%08X\n",p_arr);
printf("%08X\n",&p_arr);
printf("%08X\n",p_heap);
printf("%08X\n",&p_heap);
printf("%08X\n",ptr);
printf("%08X\n",&ptr);
puts(p_arr);
puts(ptr);
puts(p_heap);
//return p_arr;
return ptr;
}
int main(){
char * str=NULL;
str = GetMemory();
printf("%08X\n",str);
printf("%08X\n",&str);
puts(str);
return 0;
}

上面程序输出的结果是：

DC726BF0
DC726BF0
0EB29010
DC726BE8
004009D8
DC726BE0
p_arr : hello world
ptr : hello world
p_heap: hello world
004009D8
DC726C28
ptr : hello world

这里面8有8行关于地址的输出，分别描述如下：

DC726BF0这个地址是栈上面的，函数退出后，这块地址空间就废弃了。
DC726BF0是栈上面的地址，之所以和上面一样，是因为栈上并没有分配一个单元用来存放数组指针，这个是使用char
[]和char * 的最根本的区别。
0EB29010这个地址是在堆上面的，直到delete才会释放掉这块内存。
DC726BE8是栈上面的地址，用来存放指针变量p_heap的单元，p_heap的值就是上面堆上内存的地址。
004009D8这个地址是静态存储区的，函数退出后不会清除掉
DC726BE0栈上面的地址，用来存放指针变量ptr的单元，ptr的值就是上面静态的存储区地址
004009D8这个是由函数返回的地址，就是上面静态存储区的地址
DC726C28这个地址是main函数局部变量的存放地址，位置要比栈上的位置低

从这个例子上也可以看出，栈的地址空间、堆的地址空间、静态存储空间、main函数的局部地址空间的关系，地址位置从高到低关系如下：

栈-->main函数局部变量地址-->堆-->静态变量地址

可以看出来，静态地址最低，然后依次是：堆、main、栈。

另外的，还有一个“先声明的变量时在高地址区还是在低地址区”的问题，这个问题要看栈怎么生长的了，如果栈底在高内存，向低地址生长，自然先声明的变量在高地址。例如：在linux中，栈底就是在高地址的，所以后面声明的变量地址就是低地址。此外，在堆上的地址一般是从低到高的。下面的例子可以清晰的看出这两种情况。

#include <iostream>
class c1
{
public:
int number;
};
main()
{
int a =3;
int b =4;
printf("addr of a on stack: 0x%X\n",&a);
printf("addr of b on stack: 0x%X\n",&b);
c1 * c=new c1();
c1 * d=new c1();
int * e =new int(100);
printf("addr of c on stack: 0x%X--0x%X(on heap)\n",&c,c);
printf("addr of d on stack: 0x%X--0x%X(on heap)\n",&d,d);
}

以上代码的输出：

addr of a on stack: 0x26F8A744
addr of b on stack: 0x26F8A740
addr of c on stack: 0x26F8A738--0xE7F1010(on heap)
addr of d on stack: 0x26F8A730--0xE7F1030(on heap)

对于上面的输出解释如下：

a,b是位于main函数栈上的变量，他们地址的增长方向是从高到低的。另外，也请注意a和b的地址相差的距离是4个字节（虽然是64位机器和OS，但是int占用的空间还是32位）
c,d是位于main函数栈上的指针变量，同样是从高到低增长。这次要注意，他们相差的距离是8个字节（因为是c和d都是指针变量，要能够存下64位地址长度的数据）
最后，要注意c和d指向的结构都位于堆上，这次他们地址的增长方向就是从低到高（从0xE7F1010到0xE7F1030）了。