main在C中有返回地址、动态链接或返回值吗?



根据我们的书,每个函数在c语言的运行时堆栈中都有一个激活记录,每个激活记录都有一个返回地址、动态链接和返回值。主也有这些吗?

所有这些术语都是纯粹的实现细节——C没有"返回地址"或"动态链接"的概念。它甚至根本没有"堆栈"的概念。大多数C的实现都有这些对象,在这些实现中,它们可能存在于main中。但是,没有必要发生这种情况。

希望这对你有帮助!

如果您反汇编函数,您将意识到大多数时候堆栈甚至不包含返回值-通常是EAX寄存器(intel x86)。您还可以查找"调用约定"——这在很大程度上取决于编译器。C是一门语言,如何将其解释为机器代码与"C"无关。

虽然这取决于实现,但值得看看用gcc编译的C程序。如果你运行objdump -d executable,你会看到它被拆解,你可以看到main()的行为。下面是一个例子:

08048680 <_start>: ... 8048689: 54 push %esp 804868a: 52 push %edx 804868b: 68 a0 8b 04 08 push $0x8048ba0 8048690: 68 30 8b 04 08 push $0x8048b30 8048695: 51 push %ecx 8048696: 56 push %esi 8048697: 68 f1 88 04 08 push $0x80488f1 804869c: e8 9f ff ff ff call 8048640 <__libc_start_main@plt> 80486a1: f4 hlt ... 080488f1 <main>: 80488f1: 55 push %ebp 80488f2: 89 e5 mov %esp,%ebp 80488f4: 57 push %edi 80488f5: 56 push %esi 80488f6: 53 push %ebx ... 8048b2b: 5b pop %ebx 8048b2c: 5e pop %esi 8048b2d: 5f pop %edi 8048b2e: 5d pop %ebp 8048b2f: c3 ret

你可以看到main的行为类似于一个普通函数,因为它返回正常。实际上,如果您查看linux基础文档,您将看到我们从_start中看到的对__libc_start_main的调用实际上要求main像常规函数一样工作。

在C/c++中,main()就像一个函数一样编写,但不是一个函数。例如,不允许调用main(),它有几个可能的原型(在C中不能这样做!)。无论return从中得到什么,它都会被传递给操作系统(然后程序结束)。

为了统一起见,单个C实现可能会像从"外部"调用函数一样处理main(),但没有人强迫他们这样做(或者不允许在不告诉任何人的情况下切换到其他形式)。有一些实现C语言的传统方法,但没有人被迫这样做。这是我们典型架构中最简单的方法。

相关内容

  • 没有找到相关文章

最新更新