根据我们的书,每个函数在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
从中得到什么,它都会被传递给操作系统(然后程序结束)。
main()
,但没有人强迫他们这样做(或者不允许在不告诉任何人的情况下切换到其他形式)。有一些实现C语言的传统方法,但没有人被迫这样做。这是我们典型架构中最简单的方法。