叶函数与非叶函数的具体差异解析及函数调用概念答疑

你提到的「调用函数」，本质是指执行了会触发CPU跳转至另一个函数入口、且要求执行完成后返回当前函数继续运行的指令——比如x86架构的call、MIPS架构的jal（跳转并链接）这类指令。

当执行这类调用指令时，CPU会自动把当前指令的下一条地址（也就是当前函数执行完后需要返回的位置）写入返回地址寄存器（比如你提到的$ra）。如果当前函数还要调用其他函数，新的调用指令会覆盖$ra寄存器里的原有值——如果不提前把$ra的值压栈保存，等从被调用的函数返回时，$ra里已经不是当前函数应该返回的地址，程序就会执行混乱。

而叶函数的核心是：从始至终不会执行任何这类调用指令，$ra寄存器里的初始值（也就是调用这个叶函数的父函数存入的返回地址）全程不会被修改，所以完全不需要push $ra和pop $ra来保存恢复。

示例对比 #

叶函数（伪汇编） #

leaf_calculate:
    # 仅执行本地运算，无任何函数调用指令
    add $t0, $a0, $a1
    move $v0, $t0       # 准备返回值
    jr $ra              # 直接返回，无需保存$ra

非叶函数（伪汇编） #

non_leaf_process:
    begin
    push $ra            # 保存当前$ra，因为接下来要调用其他函数
    jal sub_func        # 调用sub_func，此指令会覆盖$ra的值
    add $v0, $v0, $a2   # 处理sub_func的返回值
    pop $ra             # 恢复原有$ra，确保返回地址正确
    end
    jr $ra

说白了，区分叶/非叶函数的关键，就是看函数内部是否会发起「需要返回的跨函数跳转」——只要有这类操作，就是非叶函数，必须保护返回地址；没有的话就是叶函数，无需额外处理$ra。

内容的提问来源于stack exchange，提问作者user14877200