指针与动态内存申请
问题引入:
很多读者在学习C语言的数组后都会觉得数组长度固定很不方便,其实C语言的数组长度固定是因为其定义的整型、浮点型、字符型变量、数组变量都在栈空间中,而栈空间的大小在编译时是确定的。
如果使用的空间大小不确定,那么就要使用堆空间。请看下面例子
一、堆空间的分配和malloc函数详解
首先我们来看malloc函数。在执行
#include <stdlib.h> void *malloc(size_tsize);
时:
- 需要给malloc传递的参数是一个整型变量,因为这里的size_t即为int;返回值为 void*类型的指针,void*类型的指针只能用来存储一个地址而不能进行偏移。
- 因为malloc并不知道我们申请的空间用来存放什么类型的数据,所以确定要用来存储什么类型的数据后,都会将void*强制转换为对应的类型。在案例中我们用来存储字符,所以将其强制转换为char*类型。
- 同时需要注意指针本身大小,和其指向的空间大小,是两码事,不能和前面的变量类比去理解!
代码演示:
// Created by zjc on 2024/8/8 8:22
#include "stdio.h"
#include "stdlib.h" // malloc使用的头文件
#include "string.h"
int main(){
int size; // 代表我们要申请多少字节的空间
// 如果是char类型记得+1,还有结束符
char *p,*q;
scanf("%d",&size);// 输入申请空间的大小
// 1. malloc返回的void*代表无类型指针
// 2. 所以给他准换成char*,也会自己转换
// 3. void*指针是不能进行偏移(进行加减),有类型指针才可以进行偏移
p = (char*)malloc(size);
// 进行基础赋值
// 1.第一种方法
// p[0] = 'H';
// p[1] = 'E';
// p[2] = 'L';
// p[3] = 'L';
// p[4] = 'O';
// p[5] = '\0';
// 2.第二种方法
// 传的也是指针
strcpy(p,"malloc success");
puts(p);
// 1. 不使用空间后,一定要将空间释放掉
// 2. 释放申请的空间时,给的地址,必须是malloc返回给我们的地址
// 3. 在释放前p是不能偏移的,需要偏移重新定义指针进行偏移
free(p);
printf("free success");
return 0;
}
二、栈空间和堆空间的差异
- 既然都是内存空间,为什么还要分栈空间和堆空间呢?
- 栈是计算机系统提供的数据结构,计算机会在底层对栈提供支持:分配专门的寄存器存放栈的地址,压栈操作、出栈操作都有专门的指令执行,这就决定了栈的效率比较高;
- 堆则是C/C++函数库提供的数据结构,它的机制很复杂,例如为了分配一块内存,库函数会按照一定的算法(具体的算法请参考关于数据结构、操作系统的书籍)在堆内存中搜索可用的足够大小的空间,如果没有足够大小的空间(可能由于内存碎片太多),那么就有可能调用系统功能去增加程序数据段的内存空间,这样就有机会分到足够大小的内存,然后返回。显然,堆的效率要比栈低得多。(这段了解即可)
- 栈空间由系统自动管理,而堆空间的申请和释放需要自行管理。
代码演示:
// Created by zjc on 2024/8/8 9:33
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
char* print_stack(){
char c[100] = {"I am print_stack func"};
// 貌似可以定义static静态保障不会出现乱码
char *p;
p=c;
puts(p);
return p;
}
char* print_malloc(){
char* p = (char*)malloc(100); // 堆空间在整个进程之间一直有效
// 只能通过free()释放掉
strcpy(p,"I am print_malloc func");
puts(p);
return p;
}
int main(){
char* p;
// p = print_stack();
p = print_malloc();
// 使用堆区也不会出现乱码
puts(p);
// 此时会输出一对乱码或错误的数据
// 5?
// 1.因为栈空间当函数执行完毕,自动就销毁了
// 2.返回的起始地址
free(p);
return 0;
}