保姆级教学 - C语言 之 动态内存管理

简介: 保姆级教学 - C语言 之 动态内存管理

为什么会有动态内存的分配


看下面代码:

①创建一个整型叫a并初始化赋值为10

②创建一个10个元素的数组,并全部初始化为0

int main()
{
  int a = 10;         //在栈区空间开辟了四个字节
  int arr[10] = { 0 };//在栈区空间连续开辟了10*4=40个字节
 
  return 0;
}

于是我们发现上述开辟空间有两个特点

①开辟空间大小是固定的;

②数组开辟空间是连续有长度的,且确定了空间大小不能改


malloc 和 free


malloc和free函数都需要包含头文件:include<stdlib.h>

动态内存开辟的函数:malloc函数

函数原型:void* malloc(size_t size);

作用:malloc函数向内存申请一块连续可用的空间,并返回指向这块空间的指针

注:返回值为void*,malloc函数开辟空间的类型由使用者自己决定

动态内存的释放和回收:free函数

函数原型:void* free(*ptr)

作用:free函数释放动态开辟的内存

注:

①如果ptr指向的空间不是开辟动态内存的,则free函数的行为是未定义的

②如果ptr是NULL指针则函数什么事都不做

#include<stdlib.h>
int main()
{
  //int* p = (int*)malloc(10 * sizeof(int));
 
  if (p == NULL)
  {
    perror("malloc");
    return 1;//如果是空指针,返回1,下面代码不再执行
  }
  //使用
  int i = 0;
  for (i = 0; i < 10; i++)
  {
    //赋值
    *(p + i) = i;
  }
 
  for (i = 0; i < 10; i++)
  {
    printf("%d ", *(p + i));
  }
 
  //释放空间
  free(p);
  p = NULL;//为了避免p成为野指针,最后要把p设置为空指针
 
  return 0;
}


calloc 和 realloc


动态内存分配:calloc函数

函数原型:void* calloc(size_t num,size_t size);

calloc和malloc函数的区别是:calloc函数可以把开辟的每一个值初始化为0

calloc和malloc函数的共同点是:能调整空间


让动态内存管理更加灵活:realloc函数

函数原型:void*(void* ptr,size_t size);

其中ptr是要调整内存地址,size是调整之后的新大小

作用:对动态开辟内存大小做灵活的调整

int main()
{
  int* p = (int*)calloc(10, sizeof(int));
 
  if (p == NULL)
  {
    perror("malloc");
    return 1;//如果是空指针,返回1,下面代码不再执行
  }
  //使用
  int i = 0;
  for (i = 0; i < 10; i++)
  {
    printf("%d ", *(p + i));//打印出来10个都是0,说明calloc函数是初始化值为0
  }
 
  int* ptr = (int*)realloc(p, 12);
  if (ptr == NULL)
  {
    perror("realloc");//realloc调整空间失败返回NULL
    return 1;
  }
  else
  {
    p = ptr;
  }
  //释放空间
  free(p);
  p = NULL;//为了避免p成为野指针,最后要把p设置为空指针
 
  return 0;
}

relloc调整空间成功的两种情况


常见动态内存的错误


1)对NULL指针的解引用操作

错误示范

正确使用

int main()
{
  int* p = (int*)malloc(10 * sizeof(int));
 
  //对p判断是否为空指针
  if (p == NULL)
  {
    perror("malloc");
    return 1;//如果是空指针,返回1,下面代码不再执行
  }
 
  //使用
  *p = 20;
 
  //释放空间
  free(p);
  p = NULL;//为了避免p成为野指针,最后要把p设置为空指针
 
  return 0;
}

2)对内存开辟空间的越界访问

错误示范

正确使用

开辟内存空间多少,使用的时候就要对应多少

3)对非动态开辟内存使用free释放

错误示范

p取非动态内存,然后p在非动态内存使用free释放

正确使用

free函数原型:void* free(*ptr)

作用:free函数释放动态开辟的内存

如果ptr指向的空间不是开辟动态内存的,则free函数的行为是未定义的

4)使用free释放一块动态开辟内存的一部分

错误示范

p 不再指向动态内存的起始位置

正确使用

free函数释放时p要指向动态内存的起始位置

5)对同一块动态内存的多次释放

错误示范

正确使用

开辟动态内存使用完后一定要释放,并把p设置为空指针

6)动态开辟内存忘记释放(内存泄漏)

错误示范

正确使用

忘记释放不再使⽤的动态开辟的空间会造成内存泄漏


柔性数组


柔性数组的介绍

概念:在C99中,结构中的最后一个元素允许是未知大小的数组,这就叫【柔性数组】成员

我们先来看一段代码

struct st
{
  int i;
  int arr[0];//柔性数组成员
};
 
int main()
{
  printf("%zd\n", sizeof(struct st));
  return 0;
}

这段代码输出什么?

答案:4

为什么?

涉及到柔性数组的特点

1)sizeof返回的结构大小不包括柔性数组的内存

2)结构中的柔性数组成员前面必须至少一个成员

以上两点都很好的解释上面👆的代码

3)包含柔性数组成员的结构用malloc函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小

让我们接着讨论第三个特点

让我们想想,为什么要用柔性数组?


我们来看👇下面代码,代码有点长,每一段代码我注释了,供大家食用

代码①段

#include<stdlib.h>
//结构体
struct st
{
  char ch;
  int i;
  int arr[0];
};
 
int main()
{
  //printf("%zd\n", sizeof(struct st));//8
  //结构体指针+malloc函数开辟空间
  struct st* p = (struct st*)malloc(sizeof(struct st) + 10 * sizeof(int));
                                  //               8  + 10 * 4 = 48
  //判断p是否为空指针
  if (p == NULL)
  {
    perror("malloc");
    return 1;
  }
 
  //给结构体的成员赋值
  p->i = 66;
  p->ch = 'b';
  int i = 0;
  for (i = 0; i < 10; i++)
  {
    p->arr[i] = i;
  }
 
  //数组空间不够,realloc函数使用
  struct st* ptr = realloc(p, sizeof(struct st) + 15 * sizeof(int));
  if (ptr == NULL)
  {
    perror("realloc");
    return 1;
  }
  else
  {
    p = ptr;
  }
 
  //继续使用
  for (i = 10; i < 15; i++)
  {
    ptr->arr[i] = i;
  }
 
  //打印输出
  for (i = 0; i < 15; i++)
  {
    printf("%d ", ptr->arr[i]);
  }
  printf("\n");
  printf("%d\n%c\n", ptr->i, ptr->ch);
  
  //释放空间
  free(ptr);
  ptr = NULL;
 
  return 0;
}

控制台结果显示

🆗,我们接着讨论为什么叫柔性数组?

代码②段

//结构体
struct st
{
  char ch;
  int i;
  int *arr;
};
 
int main()
{
  //printf("%zd\n", sizeof(struct st));//12
  //结构体指针+malloc函数开辟空间
  struct st* p = (struct st*)malloc(sizeof(struct st));
                                  
  //判断p是否为空指针
  if (p == NULL)
  {
    perror("malloc");
    return 1;
  }
 
  //给结构体的成员赋值
  p->i = 66;
  p->ch = 'b';
  p->arr = (int*)malloc(10 * sizeof(int));
 
  if (p->arr == NULL)
  {
    perror("malloc.2");
    return 1;
  }
 
  int i = 0;
  for (i = 0; i < 10; i++)
  {
    p->arr[i] = i;
  }
 
  //数组空间不够,realloc函数使用
  int* ptr = (int*)realloc(p->arr, 15 * sizeof(int));
  if (ptr == NULL)
  {
    perror("realloc");
    return 1;
  }
  else
  {
    p->arr = ptr;
  }
 
  //继续使用
  for (i = 10; i < 15; i++)
  {
    p->arr[i] = i;
  }
 
  //打印输出
  for (i = 0; i < 15; i++)
  {
    printf("%d ", p->arr[i]);
  }
  printf("\n");
  printf("%d\n%c\n", p->i, p->ch);
 
 
  //释放空间
  free(p->arr);
  p->arr = NULL;
 
  free(p);
  p = NULL;
 
  return 0;
}

两段代码的区别

①段代码的两个优点

①方便内存释放

②利于访问速度

目录
相关文章
|
10月前
|
安全 C语言
C语言中的字符、字符串及内存操作函数详细讲解
通过这些函数的正确使用,可以有效管理字符串和内存操作,它们是C语言编程中不可或缺的工具。
452 15
|
C语言
【C语言程序设计——函数】亲密数判定(头歌实践教学平台习题)【合集】
本文介绍了通过编程实现打印3000以内的全部亲密数的任务。主要内容包括: 1. **任务描述**:实现函数打印3000以内的全部亲密数。 2. **相关知识**: - 循环控制和跳转语句(for、while循环,break、continue语句)的使用。 - 亲密数的概念及历史背景。 - 判断亲密数的方法:计算数A的因子和存于B,再计算B的因子和存于sum,最后比较sum与A是否相等。 3. **编程要求**:根据提示在指定区域内补充代码。 4. **测试说明**:平台对代码进行测试,预期输出如220和284是一组亲密数。 5. **通关代码**:提供了完整的C语言代码实现
372 24
|
算法 C语言
【C语言程序设计——循环程序设计】求解最大公约数(头歌实践教学平台习题)【合集】
采用欧几里得算法(EuclideanAlgorithm)求解两个正整数的最大公约数。的最大公约数,然后检查最大公约数是否大于1。如果是,就返回1,表示。根据提示,在右侧编辑器Begin--End之间的区域内补充必要的代码。作为新的参数传递进去。这个递归过程会不断进行,直到。有除1以外的公约数;变为0,此时就找到了最大公约数。开始你的任务吧,祝你成功!是否为0,如果是,那么。就是最大公约数,直接返回。
460 18
|
Serverless C语言
【C语言程序设计——循环程序设计】利用循环求数值 x 的平方根(头歌实践教学平台习题)【合集】
根据提示在右侧编辑器Begin--End之间的区域内补充必要的代码,求解出数值x的平方根;运用迭代公式,编写一个循环程序,求解出数值x的平方根。注意:不能直接用平方根公式/函数求解本题!开始你的任务吧,祝你成功!​ 相关知识 求平方根的迭代公式 绝对值函数fabs() 循环语句 一、求平方根的迭代公式 1.原理 在C语言中,求一个数的平方根可以使用牛顿迭代法。对于方程(为要求平方根的数),设是的第n次近似值,牛顿迭代公式为。 其基本思想是从一个初始近似值开始,通过不断迭代这个公式,使得越来越接近。
455 18
|
存储 C语言
【C语言程序设计——函数】递归求斐波那契数列的前n项(头歌实践教学平台习题)【合集】
本关任务是编写递归函数求斐波那契数列的前n项。主要内容包括: 1. **递归的概念**:递归是一种函数直接或间接调用自身的编程技巧,通过“俄罗斯套娃”的方式解决问题。 2. **边界条件的确定**:边界条件是递归停止的条件,确保递归不会无限进行。例如,计算阶乘时,当n为0或1时返回1。 3. **循环控制与跳转语句**:介绍`for`、`while`循环及`break`、`continue`语句的使用方法。 编程要求是在右侧编辑器Begin--End之间补充代码,测试输入分别为3和5,预期输出为斐波那契数列的前几项。通关代码已给出,需确保正确实现递归逻辑并处理好边界条件,以避免栈溢出或结果
781 16
|
C语言
【C语言程序设计——循环程序设计】统计海军鸣放礼炮声数量(头歌实践教学平台习题)【合集】
有A、B、C三艘军舰同时开始鸣放礼炮各21响。已知A舰每隔5秒1次,B舰每隔6秒放1次,C舰每隔7秒放1次。编程计算观众总共听到几次礼炮声。根据提示,在右侧编辑器Begin--End之间的区域内补充必要的代码。开始你的任务吧,祝你成功!
348 13
|
存储 安全 C语言
【C语言程序设计——选择结构程序设计】预测你的身高(头歌实践教学平台习题)【合集】
分支的语句,这可能不是预期的行为,这种现象被称为“case穿透”,在某些特定情况下可以利用这一特性来简化代码,但在大多数情况下,需要谨慎使用。编写一个程序,该程序需输入个人数据,进而预测其成年后的身高。根据提示,在右侧编辑器补充代码,计算并输出最终预测的身高。分支下的语句,提示用户输入无效。常量的值必须是唯一的,且在同一个。语句的作用至关重要,如果遗漏。开始你的任务吧,祝你成功!,程序将会继续执行下一个。常量都不匹配,就会执行。来确保程序的正确性。
539 10
|
小程序 C语言
【C语言程序设计——基础】顺序结构程序设计(头歌实践教学平台习题)【合集】
目录 任务描述 相关知识 编程要求 测试说明 我的通关代码: 测试结果: 任务描述 相关知识 编程编写一个程序,从键盘输入3个变量的值,例如a=5,b=6,c=7,然后将3个变量的值进行交换,使得a=6,b=7,c=5。面积=sqrt(s(s−a)(s−b)(s−c)),s=(a+b+c)/2。使用输入函数获取半径,格式指示符与数据类型一致,实验一下,不一致会如何。根据提示,在右侧编辑器补充代码,计算并输出圆的周长和面积。
409 10
|
存储 编译器 C语言
【C语言程序设计——函数】分数数列求和2(头歌实践教学平台习题)【合集】
函数首部:按照 C 语言语法,函数的定义首部表明这是一个自定义函数,函数名为fun,它接收一个整型参数n,用于指定要求阶乘的那个数,并且函数的返回值类型为float(在实际中如果阶乘结果数值较大,用float可能会有精度损失,也可以考虑使用double等更合适的数据类型,这里以float为例)。例如:// 函数体代码将放在这里函数体内部变量定义:在函数体中,首先需要定义一些变量来辅助完成阶乘的计算。比如需要定义一个变量(通常为float或double类型,这里假设用float。
683 3
|
存储 C语言
【C语言程序设计——循环程序设计】利用数列的累加和求 sinx(头歌实践教学平台习题)【合集】
项的累加和,一般会使用循环结构,在每次循环中计算出当前项的值(可能基于通项公式或者递推关系),然后累加到一个用于存储累加和的变量中。在C语言中推导数列中的某一项,通常需要依据数列给定的通项公式或者前后项之间的递推关系来实现。例如,对于一个简单的等差数列,其通项公式为。的级数,其每一项之间存在特定的递推关系(后项的分子是其前项的分子乘上。,计算sinx的值,直到最后一项的绝对值小于。为项数),就可以通过代码来计算出指定项的值。对于更复杂的数列,像题目中涉及的用于近似计算。开始你的任务吧,祝你成功!
407 6