1.为什么要动态内存
C语言的数据结构(数组,结构体...)通常是固定大小的,即使是变长数组,在其作用域内依然是固定长度的。
但是对于空间的要求,有些时候需要的空间大小在程序运行的时候才能知道,因此C语言引入动态内存开辟,让程序员自己可以申请和释放空间
2.malloc和free
I.malloc
malloc函数可以用于开辟动态内存,这个函数向内存申请一块连续可用的空间,并返回指向这块空间的地址
- 如果开辟成功,则返回一个指向开辟好的空间的指针
- 如果开辟失败,则返回一个NULL指针,因此malloc的返回值一定要检查
- 返回值的类型是void*,所以malloc函数并不知道开辟空间的类型,具体使用的时候由使用者自己转换
- 如果参数size为0,malloc的行为是标准未定义的,取决于编译器
II.free
C语言提供了另外一个函数free,专门用于做动态内存的释放和回收
- 如果参数ptr指向的空间不是动态内存开辟的,那free函数的行为是未定义的
- 如果参数ptr是NULL指针,则函数什么都不做
示例:
#include <stdio.h> /* printf, scanf, NULL */
#include <stdlib.h> /* malloc, free, rand */
int main()
{
int i, n;
char* buffer;
printf("How long do you want the string? ");
scanf("%d", &i);
buffer = (char*)malloc(i + 1);//申请一个字节的空间
if (buffer == NULL) exit(1);
for (n = 0; n < i; n++)///生成n个随机的小写字母
buffer[n] = rand() % 26 + 'a';
buffer[i] = '\0';
printf("Random string: %s\n", buffer);
free(buffer);//释放申请的空间
return 0;
}
3.calloc
- calloc函数也用于动态内存分配
- 函数的功能是为num个大小为size的元素开辟一块空间,并把空间的每个字节初始化为0
- 与malloc函数的区别在于calloc会在返回地址之前把申请的空间的每个字节全部初始化为0
#include <stdio.h> /* printf, scanf, NULL */
#include <stdlib.h> /* calloc, exit, free */
int main()
{
int i, n;
int* pData;
printf("Amount of numbers to be entered: ");
scanf("%d", &i);
pData = (int*)calloc(i, sizeof(int));//申请i个大小为int的内存空间,并将首地址传给指针pData
if (pData == NULL) exit(1);
for (n = 0; n < i; n++)//遍历申请的数组
{
printf("Enter number #%d: ", n + 1);
scanf("%d", &pData[n]);
}
printf("You have entered: ");
for (n = 0; n < i; n++) printf("%d ", pData[n]);
free(pData);
return 0;
}
4.realloc
realloc函数也用于动态内存管理,有时候申请的空间太小了,有时候申请的空间又太大了,为了合理的管理内存,可以对内存的大小做灵活的调整,realloc函数就可以做到对动态开辟内存大小的调整
- ptr是要调整的内存地址
- size是调整之后新大小
- 返回值为调整之后内存起始位置
- 这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间
- realloc在调整原内存空间存在两种情况:
case1:原有空间之后有足够大的空间
case2:原有空间之后没有足够大的空间
- 当是情况1的时候,要扩展内存就直接在原有内存之后直接追加空间,原来空间的数据不发生变化
- 当是情况2的时候,原有空间之后没有足够多的空间时,扩展的方法是:在堆空间上另找一个合适大小的连续空间来使用。这中情况下返回的是一个新的内存地址
注:为了避免在开辟失败的时候,将原来的空间变为空,尽量不要使用原来的指针或者变量名接受realloc的返回值
#include <stdio.h> /* printf, scanf, puts */
#include <stdlib.h> /* realloc, free, exit, NULL */
int main()
{
int input, n;
int count = 0;
int* numbers = NULL;
int* more_numbers = NULL;
do {
printf("Enter an integer value (0 to end): ");
scanf("%d", &input);
count++;
more_numbers = (int*)realloc(numbers, count * sizeof(int));//调整numbers的大小为count个大小为int的内存空间
if (more_numbers != NULL) {
numbers = more_numbers;
numbers[count - 1] = input;//将输入的值赋给numbers
}
else {
free(numbers);
puts("Error (re)allocating memory");
exit(1);
}
} while (input != 0);
printf("Numbers entered: ");
for (n = 0; n < count; n++) printf("%d ", numbers[n]);
free(numbers);
return 0;
}
5.常见动态内存错误
I.对NULL指针的解引用操作
void test()
{
int *p=(int*)malloc(INT_MAX/4);
*p=20///如果p的值是NULL,就会出错
free(p);
}
II.对动态开辟空间的越界访问
void test()
{
int i = 0;
int* p = (int*)malloc(10 * sizeof(int));
if (p == NULL)
{
exit(1);
}
for (i = 1; i <= 10; i++)
{
*(p + i) = i;//当i是10 的时候就是越界访问
}
free(p);
}
III.对非动态开辟内存使用free释放
void test()
{
int a = 10;
int* p = &a;
free(p);//p不是动态开辟的,会出错
}
IV.使用free释放一块动态开辟内存的一部分
void test()
{
int* p = (int*)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
}
V.对同一块动态内存多次释放
void test()
{
int* p = (int*)malloc(100);
free(p);
free(p);//重复释放
}
VI.动态内存忘记释放(内存泄漏)
void test()
{
int* p = (int*)malloc(100);
if (p == NULL)
{
*p=20;
}//忘记释放
//....
}
int main()
{
test();
while (1);
//....
}
6.柔性数组
在C99中,结构体中的最后一个元素允许时未知大小的数组,这就是柔性数组
列如:
struct st_type
{
int i;
int a[0];//柔性数组成员
};
或者:
struct st_type
{
int i;
int a[];//柔性数组成员
};
柔性数组特点:
- 结构体中的柔性数组成员前面必须至少有一个其他成员
- sizeof返回的这种结构体大小不包括柔性数组的内存
- 包含柔性数组成员的结构用malloc()函数就进行内存的动态分配,并且分配的内存应该大于结构体的大小,以适应柔性数组的预期大小
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
int main()
{
printf("%zd\n", sizeof(type_a));//输出的是4
return 0;
}
柔性数组的使用:
//方法1
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
int main()
{
int i = 0;
type_a* p = (type_a*)malloc(sizeof(type_a) + 100 * sizeof(int));
//业务处理
p->i = 100;
for (i = 0; i < 100; i++)
{
p->a[i] = i;
}
free(p);
return 0;
}
这样柔性数组成员a就相当于获得了100个整型元素的连续空间
上述功能也可以用下面的方法实现:
//方法2
typedef struct st_type
{
int i;
int* p_a;
}type_a;
int main()
{
type_a* p = (type_a*)malloc(sizeof(type_a));
p->i = 100;
p->p_a = (int*)malloc(p->i * sizeof(int));
//业务处理
for (int i = 0; i < 100; i++)
{
p->p_a[i] = i;
}
//释放空间
free(p->p_a);
p->p_a = NULL;
free(p);
p = NULL;
return 0;
}
两种方法对比可以得出柔性数组的好处:
1:方便内存释放
当代码是在一个给别人用的函数中,在函数内部做了二次内存分配,并把整个结构体返回给用户。用户调用free释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以并不能指望用户发现这件事。因此,如果把结构体的内存及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次free就可以把所有的内存释放。
2:有利于访问速度
连续的内存有利于提高访问速度,也有益于减少内存碎片(效果不明显)