栈(深入理解栈是什么)

2023-12-11 23:52
文章标签 深入 理解 栈是

本文主要是介绍栈(深入理解栈是什么),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

这里写目录标题

        • 概念
        • 栈的初始化
        • 栈的溢出
        • 函数的栈帧
        • 函数的返回

概念

英文:stack,也叫做堆栈。
特点:先进后出。
栈的两个基本操作,也就是入栈和出栈。都是通过SP指针来维护。C语言中的函数的局部变量,传递的实参,返回的结果、编译器生成的临时变量都是保存在栈中。

栈的初始化

系统一上电,开始运行的都是汇编代码,在跳到第一个C语言函数运行之前,都要先初始化栈空间-----将栈指针指向内存中的一段空间,就完成了栈的初始化。
ARM处理器是使用SP寄存器和FP寄存器管理堆栈。
在LINUX环境下,栈的起始地址就是进程用户空间的最高地址,栈指针从高地址指向低地址增长。

栈的溢出

Linux中默认的每一个用户的进程时分配8MB的空间大小。

#include <stdio.h>
int main(void)
{char  a [ 8 *1024 *1024 ];int  i ;……
};

这种情况下,数组a保存在栈中,占用了8MB的栈空间,那这样别的局部变量i就没有存储空间了,就会造成了栈溢出。

为了避免栈溢出:

  1. 尽量不要使用的大的数组;
  2. 函数的嵌套层数不宜过深。
函数的栈帧

函数的栈帧除了保存局部变量与实参,还用来保存函数的上下文。每每调用过一次函数便会创建一个栈帧。
当函数运行完毕,栈帧将会销毁。

简单来说,就是使用EBP和ESP(被调用函数指针,总是指向函数栈顶)指针:
在这里插入图片描述

#include<stdio.h>int add(int a, int b)
{int c = 0;c = a + b;return c;
}int main()
{int a = 1;int b = 1;int sum;sum = add(a, b);return 0;
}

在这里插入图片描述

  1. 使用护当前ebp:
    由于我们马上要创建新的栈帧空间,因此ebp和esp都得将变动,为了能够让我们调用完add函数后还能让ebp回到当前位置我们需要对ebp的值进行保护,即将此时ebp的值压入栈(至于为什么不需要保护esp,看到后面你就能明白)
    在这里插入图片描述
  2. 创建所需调用函数的栈帧空间
    令ebp指向当前esp的位置并根据add函数的参数个数,创建一个大小合适的空间。
    在这里插入图片描述
    3. 创建空间
    在这里插入图片描述
    4. 保存局部变量
    将add函数中创建的变量"int c = 0"放入刚刚开辟的栈帧空间中
    在这里插入图片描述
  3. 参数运算
    根据形参与局部变量,进行对应的运算,这里执行"c = a +b", 得到 c = 2,放入刚才c对应的位置。
    在这里插入图片描述
    到这里,函数执行过程就结束了。
函数的返回

1.存储返回值
现在我们已经达成了目的"add(a,b)“,要将之前创建的add的函数栈销毁,以使得我们能够回到main函数中正常执行,而在销毁add的函数栈帧前我们的main函数可还没有拿到运算结果,因此我们需要先将需要返回的值存储起来,存储的位置就是前面提到的eax寄存器,这里"return c”,我们将c的值放到eax寄存器中。
在这里插入图片描述

  1. 销毁空间
    拿到了运算结果后,我们就没有任何任何顾虑了,可以直接销毁函数的栈桢空间了。
    在这里插入图片描述

  2. ebp回上一栈帧栈底
    此时ebp拿到之间存储的上一栈帧栈底的值,回到相应的位置,于此同时,存储的ebp没有用了,也将被销毁。
    在这里插入图片描述

  3. 销毁形参
    形参也不再有用,因此也随即销毁。
    在这里插入图片描述

  4. main函数拿到返回值

参考好文:
https://blog.csdn.net/Zero__two_/article/details/120781099

这篇关于栈(深入理解栈是什么)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/482527

相关文章

深入解析Spring TransactionTemplate 高级用法(示例代码)

《深入解析SpringTransactionTemplate高级用法(示例代码)》TransactionTemplate是Spring框架中一个强大的工具,它允许开发者以编程方式控制事务,通过... 目录1. TransactionTemplate 的核心概念2. 核心接口和类3. TransactionT

深入理解Apache Airflow 调度器(最新推荐)

《深入理解ApacheAirflow调度器(最新推荐)》ApacheAirflow调度器是数据管道管理系统的关键组件,负责编排dag中任务的执行,通过理解调度器的角色和工作方式,正确配置调度器,并... 目录什么是Airflow 调度器?Airflow 调度器工作机制配置Airflow调度器调优及优化建议最

一文带你理解Python中import机制与importlib的妙用

《一文带你理解Python中import机制与importlib的妙用》在Python编程的世界里,import语句是开发者最常用的工具之一,它就像一把钥匙,打开了通往各种功能和库的大门,下面就跟随小... 目录一、python import机制概述1.1 import语句的基本用法1.2 模块缓存机制1.

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言