15 指针与malloc动态内存申请，栈与堆的差异

1 指针与动态内存申请

C语言的数组长度固定是因为其定义的整型、浮点型、字符型变量、数组变量都在栈空间中，而栈空间的大小在编译时是确定的。如果使用的空间大小不确定，那么就要使用堆空间。

【例】动态内存申请

#include <cstdio>
#include <cstdlib>
#include <cstring>

//数组名作为实参传递给子函数时，是弱化为指针的
//练习传递与偏移

int main() {
    int i;
    char *p;
    scanf("%d",&i);//输入要申请的空间大小
    p=(char*)malloc(i);//使用malloc动态申请堆空间
    strcpy(p,"malloc success");
    puts(p);
    free(p);//free时必须使用malloc申请时返回的指针值，不能进行任何偏移
    printf("free success\n");
    return 0;
}

在执行#include <stdlib.h> void*malloc(size_t size);时，需要给malloc传递的参数是一个整型变量，因为这里的size_t即为int;返回值为void*类型的指针，void*类型的指针只能用来存储一个地址而不能进行偏移，因为malloc并不知道申请的空间用来存放什么类型的数据，所以确定要用来存储什么类型的数据后，都会将void*强制转换为对应的类型。

同时需要注意指针本身大小，和其指向的空间大小，是两码事，不能和前面的变量类比去理解!

如下图所示，定义的整型变量i、指针变量p均在main函数的栈空间中，通过malloc申请的空间会返回一个堆空间的首地址，我们把首地址存入变量p.知道了首地址，就可以通过strcpy函数往对应的空间存储字符数据。

既然都是内存空间，为什么还要分栈空间和堆空间呢?栈是计算机系统提供的数据结构，计算机会在底层对栈提供支持：分配专门的寄存器存放栈的地址，压栈操作、出栈操作都有专门的指令执行，这就决定了栈的效率比较高；堆则是C/C++函数库提供的数据结构，它的机制很复杂，例如为了分配一块内存，库函数会按照一定的算法(具体的算法请参考关于数据结构、操作系统的书籍)在堆内存中搜索可用的足够大小的空间，如果没有足够大小的空间(可能由于内存碎片太多),那么就有可能调用系统功能去增加程序数据段的内存空间，这样就有机会分到足够大小的内存，然后返回。显然，堆的效率要比栈低得多. (这段了解即可)

栈空间由系统自动管理，而堆空间的申请和释放需要自行管理，所以在具体例子中需要通过free函数释放堆空间。free函数的头文件及格式为：

# include <stdlib.h>
void free (void *ptr)

其传入的参数为void类型指针，任何指针均可自动转为void*类型指针，所以把p传递给free函数时，不需要强制类型转换。p的地址值必须是malloc当时返回的地址值，不能进行偏移，也就是在malloc和free之间不能进行p=p+1等改变变量p的操作，原因是申请一段堆内存空间时，内核记录的是起始地址和大小，所以释放时内核用对应的首地址进行匹配，匹配不上时，进程就会崩溃。如果要偏移进而存储数据，那么可以定义两个指针变量来解决。

2 栈空间与堆空间的差异

【例】栈空间与堆空间的差异（记住即可）

#include <cstdio>
#include <cstdlib>
#include <cstring>

//函数栈空间释放后，函数内所有局部变量消失

char* print_stack()
{
    char c[17]="I am print_stack";
    puts(c);
    return c;
}

//堆空间不会因为函数执行结束释放
char* print_malloc()
{
    char* p;
    p=(char*)malloc(20);
    strcpy(p,"I am print_malloc");
    puts(p);
    return p;
}

int main() {
    char *p;
    p=print_stack();//数据放在栈空间
    printf("p=%s\n",p);
    p=print_malloc();//数据放在堆空间
    puts(p);
    return 0;
}

第二次打印会有异常?原因是print_stack()函数中的字符串存放在栈空间中，函数执行结束后，栈空间会被释放，字符数组c的原有空间已被分配给其他函数使用，因此在调用print_stack())函数后，printf("p=%sln",p);中的p不能获取栈空间的数据。而print_malloc()函数中的字符串存放在堆空间中，堆空间只有在执行free操作后才会释放，否则在进程执行过程中会一直有效。