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

内存分配方式有三种：

从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，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

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）了。