在调用者的返回序列中跳过函数

Question

在一系列函数调用中，比如

                main() --> A() --> B()-->C();

当被调用函数结束时，它通常会返回到调用函数，例如C()返回B()，又返回A()等

我想知道是否也可以在调用序列中直接返回到较早的函数 所以C()返回main()并跳过B()和A()

如果可能的话，我该怎么做？你能解释一下它是如何工作的，以及它在现实中的使用时间。

这是我的代码

#include <stdio.h>
int A(void);
int B(void);
void main(void )
{
    A();
}

int A()
{ 
    printf("enter A()\n");
    B();
    printf("exit A()\n");
}

int B()
{
    printf("enter B()\n");
    printf("exit B()\n");
}

我想从B() 跳过返回函数A()，这样printf("exit A()\n"); 就不会执行并给我这个结果：

enter A()                                                                                                                  
enter B()                                                                                                                  
exit B() 

Answer 1

在检查所有内容之前，@PeterCordes 不仅仅以某种方式回答了问题

好吧，让我们开始吧：

这种类型的东西可以使用long jump 来完成，因此您的代码在编辑后将如下所示：

#include <stdio.h>
#include <setjmp.h>//c standard library header
jmp_buf env; // for saving longjmp environment
main()
{
    int r, a=100;
    printf("call setjmp to save environment\n");
    if ((r=setjmp(env)) == 0){
        A();
        printf("normal return\n");
    }
    else
        printf("back to main() via long jump, r=%d a=%d\n", r, a);
}
int A()
{ 
    printf("enter A()\n");
    B();
    printf("exit A()\n");
}
int B()
{
    printf("enter B()\n");
    printf("long jump? (y|n) ");
    if (getchar()=='y')
    longjmp(env, 1234);
    printf("exit B()\n");
}

让我们了解一下刚刚发生的事情

在上述程序中，setjmp()将当前执行环境保存在jmp_buf中 结构和returns 0。

程序继续调用A()，后者又调用B()。

虽然 在B()函数中，如果用户选择不通过long jump返回，函数将 显示正常的返回顺序。

如果用户选择通过longjmp(env,1234)返回， 执行将返回到最后保存的带有nonzero 值的环境。

在 这种情况下，会导致B()直接返回main()，绕过A()。

原理 long jump 非常简单。当一个函数完成时，它由

返回

(caller_EIP, caller_EBP) 在当前堆栈帧中， 如果我们将(caller_EIP, caller_EBP) 替换为

(saved_EIP, saved_EBP) 早期函数 在调用序列中，执行将直接返回到该函数。

另外 到(saved_EIP, saved_EBP)，setjmp() 还可以节省 CPU 的通用寄存器和 原来ESP，这样longjmp()就可以恢复返回的完整环境了 功能。

长跳转可用于中止调用序列中的函数，导致 从之前保存的已知环境中恢复执行。

虽然很少使用 在用户模式程序中，这是系统编程中的常用技术。

例如， 它可用于信号捕获器以绕过导致导致 异常或陷阱错误。

你可以查this也不错