3.1 Go函数调用过程

news2025/1/22 19:30:59

在 Go 语言中,函数调用的核心机制依赖于内存的栈区分配和指针操作,理解这一原理有助于掌握函数的执行过程。

1. 内存结构概述

在 Go 程序编译成可执行文件并启动后,操作系统会为其分配进程内存,进程内存主要分为以下区域:

栈(Stack):用于函数调用的临时数据存储(如局部变量、函数参数等)。

堆(Heap):用于动态内存分配,数据可以在多个函数间共享。

代码区:存储程序的可执行指令。

全局区:存放全局变量和常量。

一旦进程结束,这些内存区域会被操作系统回收。

2. 栈与函数调用

栈是 Go 函数调用的基础,每次函数调用都会在栈中创建一个 栈帧 (Stack Frame)。栈帧用于存储该次调用的局部变量、参数和返回地址。函数调用结束时,栈帧会被回收。

栈的特点:

1. 先进后出 (LIFO):后调用的函数先完成返回。

2. 连续性:栈内存是连续的,按顺序分配内存。

3. 有限性:栈空间可以动态增长,但有限制,防止无限递归导致栈溢出。

栈帧 (Frame)

栈帧是函数调用的核心单元,包含以下内容:

返回地址:记录调用函数的下一条指令地址,以便返回后继续执行。

函数参数:用于传递调用方传入的参数。

局部变量:在栈帧中存储函数内部定义的变量。

现场保护:保存调用方的状态(如寄存器内容),以便函数返回时恢复现场。

3. 函数调用过程

以下以 main 函数调用 add 函数为例,详解函数调用的流程:

func add(x, y int) int {
    r := x + y  // 计算结果存储在局部变量 r 中
    return r    // 返回值,清理栈帧
}

func main() {
    a, b := add(10, 20)  // 调用 add 函数
    fmt.Println(a, b)

    t := add(a, b)       // 再次调用 add
    fmt.Println(t)
}

调用过程详解:

1.现场保护:在调用 add 函数前,main 函数会保存当前的执行现场,包括:

  • 指令指针 (Instruction Pointer, IP):记录 main 函数的下一条指令地址。
  • 栈顶指针 (Stack Pointer, SP):记录栈的当前状态。

2.参数传递:将调用方 (main) 的参数 10 和 20 压入栈中。

3.跳转执行:IP 指针跳转到 add 函数的起始地址,add 函数开始执行。

4.栈帧分配:为 add 函数分配栈帧,用于存储参数 x、y 和局部变量 r。

5.计算与返回

  • add 函数计算 x + y 的结果,将其存储在 r 中。
  • 函数结束时,将返回值写入调用方的栈帧,清理自己的栈帧。

6. 恢复现场:从栈中取出 main 函数的现场信息,恢复 IP 指针,使程序继续执行 fmt.Println(a, b)。

4. 栈帧结构

栈帧在内存中的布局如下:

|-------------------------|

| 返回地址 (Return Addr) |

|-------------------------|

| 参数 x, y |

|-------------------------|

| 局部变量 r |

|-------------------------|

栈顶指针 (SP):指向当前栈帧的顶部。

• 栈基指针 (BP):指向当前栈帧的底部。

• 栈帧大小:SP - BP。

5. 指令指针与恢复

Go 的函数调用依赖于指令指针 (Instruction Pointer, IP) 和栈指针 (Stack Pointer, SP) 的协调:

  • 现场保护:在调用 add 时,main 的 IP 会被保存,指向 add 返回后的指令地址。
  • 现场恢复:add 执行结束时,IP 被重写为 main 的下一条指令地址,从而恢复 main 的执行。

6. 函数的独立性

每次函数调用都是独立的,其栈帧互不影响。以以下代码为例:

t := add(10, 20)  // 栈中为本次 add 分配新的栈帧
t = add(a, b)     // 旧栈帧被回收,重新分配新的栈帧

7. 总结

  • Go 的函数调用基于栈区,利用栈帧进行参数传递、变量存储和返回值保存。
  • 指令指针 (IP) 与栈指针 (SP) 协同工作,实现函数的跳转与现场恢复。
  • 栈帧的分配与回收确保函数调用的独立性与安全性。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2280528.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

2024微短剧行业生态洞察报告汇总PDF洞察(附原数据表)

原文链接: https://tecdat.cn/?p39072 本报告合集洞察从多个维度全面解读微短剧行业。在行业发展层面,市场规模与用户规模双增长,创造大量高收入就业岗位并带动产业链升级。内容创作上,精品化、品牌化趋势凸显,题材走…

【22】Word:小李-高新技术企业政策❗

目录 题目​ NO1.2 NO3 NO4 NO5.6 NO7.8 NO9.10 若文章中存在删除空白行等要求,可以到最后来完成。注意最后一定要检查此部分!注意:大多是和事例一样即可,不用一摸一样,但也不要差太多。 题目 NO1.2 F12Fn&a…

SQLmap 自动注入 -02

1: 如果想获得SQL 数据库的信息,可以加入参数: -dbs sqlmap -u "http://192.168.56.133/mutillidae/index.php?pageuser-info.php&usernamexiaosheng&passwordabc&user-info-php-submit-buttonViewAccountDetails" --batch -p username -dbs…

视频m3u8形式播放 -- python and html

hls hls官网地址 创建项目 ts为视频片段 m3u8文件内容 html <!DOCTYPE html> <html lang"en"><head><meta charset"UTF-8" /><meta name"viewport" content"widthdevice-width, initial-scale1.0" …

C#中的语句

C#提供了各式各样的语句&#xff0c;大多数是由C和C发展而来&#xff0c;当然&#xff0c;在C#中做了相应修改。语句和表达式一样&#xff0c;都是C#程序的基本组成部分&#xff0c;在本文我们来一起学习C#语句。 1.语句 语句是构造所有C#程序的过程构造块。在语句中可以声明…

【2024年CSDN平台总结:新生与成长之路】

&#x1f4ab;引言 2024年已经过去&#xff0c;回顾这一年&#xff0c;所有的经历依然历历在目。以“经验”为动力&#xff0c;我正迈向2025年。回顾自己在CSDN平台上的创作之路&#xff0c;收获满满、成长颇多&#xff0c;也有许多宝贵的感悟。接下来&#xff0c;我将分享这一…

架构思考与实践:从通用到场景的转变

在当今复杂多变的商业环境中&#xff0c;企业架构的设计与优化成为了一个关键议题。本文通过一系列随笔&#xff0c;探讨了业务架构的价值、从通用架构到场景架构的转变、恰如其分的架构设计以及如何避免盲目低效等问题。通过对多个实际案例的分析&#xff0c;笔者揭示了架构设…

AG32 FPGA 的 Block RAM 资源:M9K 使用

1. 概述 AG32 FPGA 包含了 4 个 M9K 块&#xff0c;每个 M9K 块的容量为 8192 bits&#xff0c;总计为 4 个 M9K&#xff08;4K bytes&#xff09;。这使得 AG32 的内部存储非常适合嵌入式应用&#xff0c;能够有效地利用片上资源。 M9K 参数 参考自《AGRV2K_Rev2.0.pdf》。…

Java中如何安全地停止线程?

大家好&#xff0c;我是锋哥。今天分享关于【Java中如何安全地停止线程?】面试题。希望对大家有帮助&#xff1b; Java中如何安全地停止线程? 1000道 互联网大厂Java工程师 精选面试题-Java资源分享网 在Java中&#xff0c;安全地停止线程是一项重要的任务&#xff0c;尤其…

2025寒假备战蓝桥杯01---朴素二分查找的学习

文章目录 1.暴力方法的引入2.暴力解法的思考 与改进3.朴素二分查找的引入4.朴素二分查找的流程5.朴素二分查找的细节6.朴素二分查找的题目 1.暴力方法的引入 对于下面的这个有序的数据元素的组合&#xff0c;我们的暴力解法就是挨个进行遍历操作&#xff0c;一直找到和我们的这…

【HF设计模式】06-命令模式

声明&#xff1a;仅为个人学习总结&#xff0c;还请批判性查看&#xff0c;如有不同观点&#xff0c;欢迎交流。 摘要 《Head First设计模式》第6章笔记&#xff1a;结合示例应用和代码&#xff0c;介绍命令模式&#xff0c;包括遇到的问题、采用的解决方案、遵循的 OO 原则、…

Ubuntu16.04 安装OpenCV4.5.4 避坑

Ubuntu16.04 安装C版OpenCV4.5.4 Ubuntu16.04 VSCode下cmakeclanglldb调试c 文章目录 Ubuntu16.04 安装C版OpenCV4.5.41. 下载Opencv压缩包2. 安装Opencv-4.5.43. 配置OpenCV的编译环境4.测试是否安装成功 1. 下载Opencv压缩包 下载Opencv压缩包&#xff0c;选择source版本。…

Flutter 改完安卓 applicationId 后App 闪退问题。

一、问题 当我们项目创建完&#xff0c;想 build.gradle 改 applicationId 的时候&#xff0c;再次执行的时候可能会出现 app 闪退问题&#xff0c; 控制台不显示任何错误提示 也不出现 Exit 停止运行的情况。&#xff08;像下方这样&#xff0c; 而 app 只是在模拟器中一闪而…

专利申请流程详解

专利申请流程详解 文章目录 专利申请流程详解前言一、什么是专利二、如何申请专利1. 注册国家知识产权局账号2. 账号登录和认证3. 专利费用减免4. 专利申请 三、注意事项&#xff08;一&#xff09;、外观设计专利&#xff08;二&#xff09;、实用新型专利&#xff08;三&…

使用缓存保存验证码进行登录校验

在Spring Boot项目中使用Redis进行登录校验&#xff0c;一般的做法是将用户的登录状态&#xff08;例如&#xff0c;JWT令牌或者用户信息&#xff09;存储在Redis中&#xff0c;并在后续请求中进行校验。 我们需要建立两个拦截器&#xff1a;RefreshTokenInterceptor LoginIn…

会议签到系统的架构和实现

会议签到系统的架构和实现 摘要:通过定制安卓会议机开机APP呈现签到界面&#xff0c;并且通过W/B结构采集管理签到信息&#xff0c;实现会议签到的功能。为达到此目标本文将探讨使用Redis提供后台数据支持&#xff1b;使用SocketIo处理适时消息&#xff1b;使用Flask进行原型开…

通过Ukey或者OTP动态口令实现windows安全登录

通过 安当SLA&#xff08;System Login Agent&#xff09;实现Windows安全登录认证&#xff0c;是一种基于双因素认证&#xff08;2FA&#xff09;的解决方案&#xff0c;旨在提升 Windows 系统的登录安全性。以下是详细的实现方法和步骤&#xff1a; 1. 安当SLA的核心功能 安…

.Net Core微服务入门系列(一)——项目搭建

系列文章目录 1、.Net Core微服务入门系列&#xff08;一&#xff09;——项目搭建 2、.Net Core微服务入门全纪录&#xff08;二&#xff09;——Consul-服务注册与发现&#xff08;上&#xff09; 3、.Net Core微服务入门全纪录&#xff08;三&#xff09;——Consul-服务注…

Ubuntu 24.04 LTS 安装 Docker Desktop

Docker 简介 Docker 简介和安装Ubuntu上学习使用Docker的详细入门教程Docker 快速入门Ubuntu版&#xff08;1h速通&#xff09; Docker 安装 参考 How to Install Docker on Ubuntu 24.04: Step-by-Step Guide。 更新系统和安装依赖 在终端中运行以下命令以确保系统更新并…

Spring MVC:设置响应

目录 引言 1. 返回静态页面 1.1 Spring 默认扫描路径 1.2 RestController 1.2.1 Controller > 返回页面 1.2.2 ResponseBody 2. 返回 HTML 2.1 RequestMapping 2.1.1 produces(修改响应的 Content-Type) 2.1.2 其他属性 3. 返回 JSON 4. 设置状态码 4.1 HttpSer…