go 函数执行流程：设置栈帧并分配空间。调用 go 运行时的 newproc 函数创建协程。检查返回值并终止函数（如有需要）。切换数据段并跳转到函数入口点。执行函数并初始化返回值。返回到调用点。
Go 函数的源码分析：窥探内部实现
简介
在 Go 语言中，函数是程序中执行特定任务的代码块。了解函数的内部实现可以帮助我们深入理解 Go 的工作原理。本文将通过分析 Go 运行时的源代码，逐步剖析一个函数的执行过程。
立即学习“go语言免费学习笔记（深入）”；
实战案例：Hello，World！
让我们从一个简单的 Hello，World！函数开始：
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
package main
import "fmt"
func main() {
fmt.Println("Hello，World！")
}源代码分析
要查看该函数的源代码，我们可以使用 go tool compile -S main.go 命令。这将生成反汇编代码，其中包含函数的机器码表示。
对于 main 函数，反汇编代码如下：
TEXT main(SB), ABIInternal, $0-8
MOV BP, BX
MOV BX, R13
MOV R13, BP
SUB $16, SP
CALL runtime.newproc(SB)
MOV R12, AX
CMP $1, AX
SETHI AX
MOV BX, DS
JMP AX
MOV $0, AX
MOV AX, FS
MOV $0, AX
RET执行流程
该反汇编代码揭示了函数执行的以下步骤：
-
设置函数栈帧：
MOV BP, BX和MOV BX, R13指令设置栈帧指针寄存器 (BP) 并保存当前帧的基地址 (BX) 在 R13 中。 -
分配栈空间：
SUB $16, SP为函数调用分配了 16 字节的栈空间。 -
调用 runtime.newproc：
CALL runtime.newproc(SB)调用 Go 运行时的newproc函数，创建新的协程（goroutine）用于执行函数。 -
检查返回值：
CMP $1, AX指令比较newproc的返回值是否为 1。如果为 1，则函数将终止。 -
切换数据段：
MOV BX, DS指令将数据段寄存器 (DS) 设置为堆栈段。 -
跳转到函数入口点：
JMP AX指令跳转到runtime.main，即main函数的入口点。 -
执行函数：
MOV $0, AX和MOV AX, FS指令初始化函数的返回值并设置栈段寄存器 (FS)。 -
返回：
RET指令使函数返回到调用点。
结论
通过分析 Go 函数的源代码，我们可以深入了解 Go 运行时的内部机制。这有助于我们理解函数的执行过程以及如何优化我们的代码。
