为什么go的返回值写在后面

go一直被鼓吹语法比java好, 性能跟c一样. 让我们来看一看go语言各部分对应的二进制指令, 是如何实现的

现在的想法是写个一系列文章, 把go的所有语法的实现方式都分析一遍, 不知道会不会半途而废

本文所有的分析方法, 结论都是本人猜测的, 查各种文档太费时间了, 当然不是乱猜, 都是有依据的

先看栈回溯最基本的方法, rbp, rsp的使用情况, 现在的实验都是加了-N -l的, 简单化

rbp, rsp

随便写了go语言

package main

func boo(a int, b int) int {
    return a + b
}
func aoo(a int, b int) int {
    c := 10
    return a + b + c + boo(1, 2)
}
func main() {
    aoo(1, 2)
}

81094 000000000044dfc0 <main.aoo>:
81095   44dfc0:>------64 48 8b 0c 25 f8 ff >--mov    %fs:0xfffffffffffffff8,%rcx
81096   44dfc7:>------ff ff-
81097   44dfc9:>------48 3b 61 10          >--cmp    0x10(%rcx),%rsp
81098   44dfcd:>------76 61                >--jbe    44e030 <main.aoo+0x70>
81099   44dfcf:>------48 83 ec 30          >--sub    $0x30,%rsp
81100   44dfd3:>------48 89 6c 24 28       >--mov    %rbp,0x28(%rsp)
81101   44dfd8:>------48 8d 6c 24 28       >--lea    0x28(%rsp),%rbp
81102   44dfdd:>------48 c7 44 24 48 00 00 >--movq   $0x0,0x48(%rsp)
81103   44dfe4:>------00 00-
81104   44dfe6:>------48 c7 44 24 18 0a 00 >--movq   $0xa,0x18(%rsp)
81105   44dfed:>------00 00-
81106   44dfef:>------48 c7 04 24 01 00 00 >--movq   $0x1,(%rsp)
81107   44dff6:>------00-
81108   44dff7:>------48 c7 44 24 08 02 00 >--movq   $0x2,0x8(%rsp)
81109   44dffe:>------00 00-
81110   44e000:>------e8 9b ff ff ff       >--callq  44dfa0 <main.boo>
81111   44e005:>------48 8b 44 24 10       >--mov    0x10(%rsp),%rax

拿出上面的rsp rbp部分的代码

81099   44dfcf:>------48 83 ec 30          >--sub    $0x30,%rsp
81100   44dfd3:>------48 89 6c 24 28       >--mov    %rbp,0x28(%rsp) 
81101   44dfd8:>------48 8d 6c 24 28       >--lea    0x28(%rsp),%rbp
其实就是push rbp; mov rsp rbp; rsp -= 0x28

一看就很简单, 先分配0x30空间, 保存之前的rbp到靠近ret ip的地方, 然后把这个地址保存到rbp寄存器里面
和c一样, 就是rbp一直循环指向来做栈回溯, ret ip就是这个栈帧的rbp, + 8 的地方
如果有些函数不需要栈, 就没有这些东西了

参数如何入

func aoo(a int, b int) int {
    c := 10
    return a + b + c + boo(1, 2)
}

81106   44dfef:>------48 c7 04 24 01 00 00 >--movq   $0x1,(%rsp)
81107   44dff6:>------00-    
81108   44dff7:>------48 c7 44 24 08 02 00 >--movq   $0x2,0x8(%rsp)
81109   44dffe:>------00 00- 
81110   44e000:>------e8 9b ff ff ff       >--callq  44dfa0 <main.boo>

和c语言一样, 从右到左, 只不过这里直接mov来写栈里面的内容了, 不需要push

从右到左是可变参数的必须要的条件

如何获取参数

func boo(a int, b int) int {
    return a + b
}

81079 000000000044dfa0 <main.boo>:
81080   44dfa0:>------48 c7 44 24 18 00 00 >--movq   $0x0,0x18(%rsp)
81081   44dfa7:>------00 00- 
81082   44dfa9:>------48 8b 44 24 08       >--mov    0x8(%rsp),%rax
81083   44dfae:>------48 03 44 24 10       >--add    0x10(%rsp),%rax
81084   44dfb3:>------48 89 44 24 18       >--mov    %rax,0x18(%rsp)

直接rsp加8, 来获取, 为什么多了一个8, 因为callq的时候push了一个ret ip

这里其实可以看到, 返回值的处理不是rax了, 而是直接操作父函数的第三个参数

mov %rax,0x18(%rsp), 这个语言设计就比c语言更加简化了, 可以理解为都是参数, 没有返回值这个概念, 所以多返回值也就很好操作了, 第四个参数, 第五个参数, 直接读写对应地址就可以了
这样就很好理解为什么go喜欢把返回值写在后面

func boo(a int, b int) int {
    return a + b
}

原来返回值就是第三个参数

这篇文章标题可以写成, 为什么go的返回值写在后面