指针与动态内存申请

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

那么为什么内存空间要分栈空间和堆空间呢？

栈是计算机系统提供的数据结构，计算机会在底层对栈提供支持：分配专门的寄存器存放栈的地址，压栈操作、出栈操作都有专门的指令执行，这就决定了栈的效率比较高；

堆则是C/C++函数库提供的数据结构，它的机制很复杂，如：为了分配一块内存，库函数会按照一定的算法在堆内存中搜索可用的足够大小的空间，如果没有足够大小的空间，那么就有可能调用系统功能去增加程序数据段的内存空间，这样就有机会分到足够大小的内存，然后返回。显然，堆的效率要比栈低的多。

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

malloc函数的头文件及格式为：

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

需要注意：指针本身大小和其指向的空间大小是两码事。

free函数的头文件及格式为：

#include <stdlib.h>
//传入的函数为void类型指针，任何指针均可自动转为void*类型指针，所以此处不需要强制类型转换
//p的地址值必须是malloc当时返回的地址值，不能进行偏移，即在malloc和free之间不能进行p=p+1等改变变量p的操作。原因是申请一段堆内存空间时，内核帮我们记录的是起始地址和大小，所以释放时内核用对应的首地址进行匹配，匹配不上时，进程就会崩溃。如果要偏移进而存储数据，可以定义两个指针变量来解决。
void free(void *ptr);//

来看一个动态内存申请的例子：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main() {
    int i;
    char *p;//定义的i,p均在main函数的栈空间中
    scanf("%d",&i);//输入要申请的空间大小
    p=(char *)malloc(i);//使用malloc动态申请堆空间，返回首地址，因为是存储字符所以强制转换为char*类型
    strcpy(p,"malloc success");//往对应空间存储字符数据
    puts(p);
    free(p);//free时必须使用malloc申请时返回的指针值，不能进行任何偏移
    printf("free success\n");
    return 0;
}

结果为

如果用示意图来表示，则为

接下来看下面的例子，理解栈空间与堆空间的差异：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
//函数栈空间释放后，函数内的所有局部变量消失
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的原有空间已被分配给其他函数使用，因此printf("p=%d",p);中的p不能获取栈空间的数据。而print_malloc()函数中的字符串存放在堆空间中，堆空间只有在执行free操作后才会释放，否则在执行过程中会一直有效。