CPU在处理函数调用时,其实它本身不知道调用结束后应该返回哪里,需要程序员指定返回地址。高级编程语言,编译器为调用函数代码自动加上返回到调用点并继续执行的"代码"。
汇编语言的跳转
- 汇编语言支持jmp无条件跳转和j*有条件跳转,最终都不会返回到caller. 汇编call指令专门用于子程序调用,可以完成j*跳转+返回调用者。
- C语言goto语句本质是无条件跳转jmp指令,不能完成函数返回的功能。
栈
提到函数调用,不得不提到栈。我们有提到过,栈是程序员偷懒的产物,当然,应该是机器偷懒的产物。最早Fortran语言就实现Stack用于暂时数据存储和访问。CPU有原生指令支持栈,基本后续所有编程语言的实现都有栈的影子。
函数返回
- 大部分编程语言使用return语句从函数返回,C系语言、Shell均是如此。