Go 结构体函数调用底层实现

开发 后端
我们来了解一下结构体变量声明和相关函数调用在机器码或汇编层面的体现。我们以下面代码为案例进行分析。

[[432712]]

《Go 语言嵌入和多态机制对比》一文中我们了解了 Go 语言的类型系统。下面,我们就来了解一下 Go 语言是如何实现类型系统特性,我们将会深入到 Go 语言运行时和最终机器码层面对 Go 语言的结构体、函数调用进行了解。

上文已经提及,Go 语言结构体并非 Java 和 C++ 语言中 class 的概念,下面我们来了解一下结构体变量声明和相关函数调用在机器码或汇编层面的体现。我们以下面代码为案例进行分析。

  1. func (u User) addAgeVal(a int32) int32 { 
  2.     n := u.Age + a 
  3.     return n 
  4.  
  5. func (u *User) addAgePtr(a int32) int32 { 
  6.     n := u.Age + a 
  7.     return n 
  8. func main() { 
  9.     u := User{ID: 1, Name"Tom", Age: 23} 
  10.     s1 := u.addAgeVal(1) 
  11.     s2 := u.addAgePtr(2) 
  12.     println(s1 == s2) 

将上述代码使用如下命令编译成机器码,其中 GOOS 指定目标操作系统,GOARCH 指定 CPU 架构,-S 表示打印机器码,-N 是禁止编译器优化,-l 是禁止内联,本机 Go 版本为 go1.16.4。

  1. GOOS=linux GOARCH=amd64 go tool compile -S -N -l main.go 

变量声明和初始化

我们首先来看 main 函数中 u 变量的声明和初始化过程。汇编代码较大,下面只截取部分内容展示,具体如下所示。

由上可见,结构体真的就是基础类型变量的集合,并没有额外其他信息的加载,对于类型为 User 的 u 变量的声明并初始化语句,首先将对应的栈内空间清零,然后依次处理三个初始化参数值,并加载到对应的栈空间位置,完成初始化过程。

其中 ID 和 Age 由于是基础类型,所以较为简单,而 Name 字段涉及到 string 类型,稍有区别,String类型的运行时表达,具体如下所示。

  1. type** StringHeader struct { 
  2.     Data uintptr 
  3.     Len int 

由此可见上述汇编中首先将 Tom 字面量地址加载到栈内空间,Tom 字面量则存储在内存数据段中,给 Data 变量赋值,然后将字面量的长度 3 加载到对应位置,给 Len 变量赋值,具体如下图所示。

SP 代表栈顶指针,而 "".u +64(SP) 代表相对于栈顶偏移 64 字节的位置,u 则是引用地址的别名,也正是变量 u 的名称。如图所示,在栈空间中,并不存在结构体 User,而是由基础类型数值和指针等组成的一段空间,这段空间就代表着结构体 User。

从栈顶向栈底方向依次为占 8 字节的代表 User.ID 的常量值1,占据 16 字节的代表 User.Name 的字符串 Tom 值地址和占据 8 字节的代表 User.Age 的常量 23,其中字符串 Tom 又由 8 字节的 Data 指针和 8 字节的 Len 组成。

上述代码中变量 u 未发生逃逸,所以分配在栈中,如果将变量声明成指针类型并且符合逃逸规则,该结构体就会分配在堆上。

  1. func makeUser() *User { 
  2.     u := &User{ID: 1, Name"Tom", Age: 23} 
  3.    return u 

上述指针变量声明和初始化过程的汇编如下所示。

可以看出汇编代码会首先将 Cat 结构体的类型指针加载到栈顶,作为参数;然后调用 newObject 函数来在堆上按照 Cat 结构体类型分配对应的空间,并返回空间的起始地址;最后使用该起始地址设置结构体的变量。

分配在堆上的结构体示意图在上一个图的右侧显示。我们可以看到,当结构体分配在栈上时,其内部成员变量会依次排列,占据各自固定的空间;而结构体分配在堆上时,其在栈上只会存在一个指向堆地址的指针,该指针指向结构体在堆上的起始位置。

值接收器函数

下面我们来看一下结构体作为函数接收器如何进行函数调用,包括如何如何传递参数和返回值,如何进行值接收器和指针接收器转换等。上述例子中涉及函数调用的片段如下所示:

Go 的调用规约要求函数参数和返回值都通过栈来传递,这部分空间由调用方在其栈帧(stack frame)上提供。

  • 函数接收器是隐式的第一个函数参数,所以上述代码片段的第一步就是讲变量 u 拷贝到对应的栈空间上,这也正对应了值接收器的拷贝机制;
  • 然后第二步则是声明 int32 类型的值为 1 的参数 a 并分配到指定位置;
  • 接着是使用 CALL 指令调用 User 的 addAgeVal 函数,CALL 指令会将函数的返回值地址推到栈顶,也就是会存储栈的 +40(SP) 位置上;
  • 而最后会将其值加载到 +60(SP) 上,也就是将函数返回值赋值给变量 s1。

下面,我们来看一下被调用函数 addAgeVal 函数的相关机器码表达。

addAgeVal 函数大致分为四个步骤:

  • 使用 SUBQ 指令将 SP 减少 16,代表栈增长 16 字节,因为栈帧是向低位增长,其中 8 个字节用于存储当前的栈帧指针,并使用 LEAQ 计算出新的栈帧指针存到BP中;
  • 初始化函数返回值,因为是其类型是 int32,所以将其设置为对应的零值,栈空间地址是 +64(SP);
  • 从 +48(SP) 位置加载函数接收器 User 的变量 Age 到 AX 寄存器,然后将其和函数参数 a 累加,其位置为 +56(SP)
  • 将二者的和赋值给变量 n,并且将二者的和保存到返回值所在栈空间,也就是 +64(SP);
  • 从 8(SP) 中取出旧栈帧指针,并且将栈帧缩小 16 字节,并调用 RET 指令返回。

综上,main 函数调用 User 的 addAgeVal 函数的过程如下图所示。

 如上图所示,我们看到在 main 函数执行 call 指令前,为调用函数 addAgeVal 的参数和返回值准备好了空间,然后将函数接收器 u 和对应的参数 a 按照顺序拷贝到该空间上,然后预留 +40(SP) 的位置给函数调用的返回值。

也正是因为值接收器和函数参数发生拷贝,所以函数内对其修改不会影响原值。

调用 call 指令时,会将指令返回地址压入栈首,然后再执行 addAgeVal 函数的指令,将栈顶增长 16 字节,从而导致函数接收器、参数和返回值的相对于SP的地址发生变化,增加了 16 字节,所以大家会发现 addAgeVal 函数中指令操作的相对地址发生了变化。

指针接收器函数

下面,我们来看调用指针接收器函数 addAgePtr 相关的具体指令,体会它与值接收器函数的区别。

可以看到调用 addAgePtr 时不会对接收器 u 进行拷贝,而只是将 u 的起始栈地址加载到栈顶,这其实就相当于传递了指向 u 的指针。然后是设置参数 a 的值,最后使用 CALL 指令调用 addAgePtr 函数。

而 addAgePtr 函数的指令和 addAgeVal 类似,唯一不同的是要使用指针来获取接收器 u 的 Age 变量的值,具体如下所示。

从对应的栈空间取到接收器 u 的指针,也就是其起始地址,从起始地址偏移 24 字节就是接收器 u 的 Age 变量位置。整个流程如下图所示。

如上图所示,可以看到指针接收器的函数调用时,只需要将其地址作为默认参数进行传递,所以在函数内的对接收器的修改,都是直接修改在原值上。

此外,调用 addAgePtr 的场景是在值变量上调用指针接收器函数,我们看到编译器将值的地址取出作为接收器参数进行传递,而如果是指针变量调用值接收器函数的话,则会先对指针进行取地址,然后再将指针指向的值数据进行拷贝。

 

综上,我们了解了 Go 语言中结构器和结构体函数在机器层级方面的底层实现,后续文章我们再继续了解 Go 语言相关特性的底层实现。

 

责任编辑:武晓燕 来源: 程序员历小冰
相关推荐

2020-12-02 09:10:22

Go结构数据类型

2023-07-29 15:03:29

2021-04-20 09:00:48

Go 语言结构体type

2020-11-30 06:17:03

Go语言

2020-11-26 06:40:24

Go语言基础

2020-12-02 08:45:36

Go语言

2020-11-23 08:54:14

Go语言结构体

2017-08-31 11:28:47

Slice底层实现

2023-11-21 08:03:43

语言架构偏移量

2009-08-13 14:24:44

C#结构体构造函数

2021-12-21 08:51:13

Go数据Model

2021-12-20 07:59:07

Go语言结构体

2021-11-15 06:56:46

Go语言Tag

2021-08-29 07:41:48

数据HashMap底层

2021-08-31 07:36:22

LinkedListAndroid数据结构

2021-12-27 08:53:23

Go函数 Nil

2023-02-26 23:36:08

PHPGo函数

2021-11-02 14:54:41

Go结构体标签

2009-08-13 14:36:40

C#结构体构造函数

2018-11-05 14:53:14

Go函数代码
点赞
收藏

51CTO技术栈公众号