请教各位大侠C++中程序在开始main()函数之前的执行顺序是怎么样的？

Posted 2023-04-17

像预处理命令(包括#include、#define、#ifdef等等)、全局变量，函数原型，类原型定义，模板定义这些东西如果都放在main()前面（也就是说放在全局中），是不是都会先执行才开始执行main()？现在又多了一个名字空间，有了名字空间之后程序在执行时的顺序又会有哪些个影响？？？

如果哪位有这方面的资料介绍的，发个链接给我，或者发到我的邮箱[e-mail]，谢谢！

参考技术A main函数是最先执行的，那前面的只影响编译顺序，执行就看它在main函数中的顺序了 参考技术B main函数之前的确会执行一些代码，不过这些代码都是语言规范里面的，基本上不用太关于里面会做什么。当然，如果你希望了解编译器的细节，或者了解反汇编，就可以了解一下了。
具体可以参考 《C++反汇编与逆向分析技术揭秘》，里面有详细的讲解。 参考技术C 运行时，就是从MAIN开始。
你说的那些，只是影响编译过程而已~！ 参考技术D 所有程序的执行都是从主函数开始main(). 第5个回答  2012-04-03 可加Q群：27896931

在 C++ 中 main 之前会发生啥？

【中文标题】在 C++ 中 main 之前会发生啥？

【英文标题】：What happens before main in C++?在 C++ 中 main 之前会发生什么？

【发布时间】：2019-05-03 09:14:26

【问题描述】：

我知道在 C 中，在main() 中启动应用程序之前，必须有一些实体：

初始化全局变量 将堆栈指针设置为最低堆栈区域地址（假设堆栈向上增长）

问题 1- 做这些事情的那个实体是什么？谁写的？

问题 2- C++ 中还有其他内容吗？ 我假设对象构造函数和初始化都是在应用过程中完成的，在main()之后

【问题讨论】：

当你运行一个程序时，动态链接器在main之前做了很多事情。操作系统内核也做了很多。

执行“这个东西”的实体有时被称为“启动代码”。它进行设置，然后调用main()，从main() 捕获返回值，然后进行任何清理。它通常由提供编译器和标准库的供应商编写，但可能使用主机系统提供的代码。在 C++ 中，编译器负责发出代码，确保文件范围内的静态对象的构造函数在 main() 之前调用 - 可能还有其他静态变量 - 并且（理想情况下）它们的析构函数在 main() 之后调用（以相反的顺序建设）。

@harper：这是对 C 的一个 hack，在 C++ 中，该语言具有本机功能（具有构造函数的全局对象）

很多全局变量实际上不需要实例化代码，因为它们实际上存储在可执行文件的数据部分中。至于堆栈指针，在 bss 部分中通常为 8 KiB 的内核中（静态分配，但未设置）。在普通应用程序中，它可能是在运行时分配的。如果要查看启动代码反汇编可执行文件并查找导出的函数，通常命名为start。那是真正的入口点，它最终调用main。它还在 Windows 中调用 crtStartup 或其他名称。

【参考方案1】：

在这个答案中，我调查了 C 程序的入口点位置：Is main() really start of a C++ program?

当我对 C++ 做一个类似的分析时，结果基本相同，并且正如其他人提到的，它是 glibc 的一部分，在main 处回溯：

#0  main () at hello.cpp:3
#1  0x00007ffff7be50b3 in __libc_start_main (main=0x5555555551a9 <main()>, argc=1, argv=0x7fffffffbfb8, init=<optimized out>, fini=<optimized out>, rtld_fini=<optimized out>, stack_end=0x7fffffffbfa8) at ../csu/libc-start.c:308
#2  0x00005555555550ee in _start ()

因此与 C 程序的行完全相同。

我认为 C++ 编译器只是调用钩子来实现任何 C++ 特定功能，并且在 C/C++ 中都很好地考虑到了这些因素。

【参考方案2】：

很大程度上取决于执行环境。在 C 运行时启动之前，操作系统加载程序可能会完成大量工作，这是可执行文件运行的一部分。设置执行环境的这个依赖于操作系统的部分对于所有本机（机器语言）可执行文件都是通用的，无论源实现语言如何。

操作系统扮演的角色以及可执行文件中的代码执行的内容因执行环境而异。操作系统加载器（在非独立系统中）负责将代码加载到内存中，并且可能涉及加载和链接动态链接库（DLL 或共享库，具体取决于操作系统命名法）。无论是 OS 还是 C 运行时责任，通常都会发生以下情况：

堆栈的建立 已初始化静态数据的零初始化 显式初始化静态数据的初始化 C 库初始化（通常 stdio 和堆管理需要一些初始化） 对于 C++ 调用静态构造函数。 为main()（argv、argc 参数）创建堆栈帧

例如，在 GCC 和其他一些编译器中，在程序启动之前由您的程序而不是操作系统执行的部分是由一个名为 crt0.o 的单独链接模块执行的。这通常是用汇编程序编写的，默认情况下会自动链接。

有关更多示例和讨论，请参阅：

Linux x86 Program Start Up Typical stand-alone embedded system start-up

【参考方案3】：

问题 1- 做这些事情的那个实体是什么？谁写的？

C 编译器团队编写。

会发生什么是特定于操作系统的，但基本上它会处理命令行参数、打开/连接标准输入、标准输出、标准错误等。

如果您挖掘 gcc 或 clang 源代码，我相信您可以找到代码¹。如果您的程序不需要它，您可以将选项传递给链接器以不包含此代码。例如，如果您不读取参数也不使用文件，并且您想自己进行任何其他设置，您可以传入不包含启动代码的参数。

问题 2- C++ 中还有其他内容吗？

是的，C 中没有构造函数和析构函数这样的东西，所以如果没有其他东西，C++ 就必须处理这些。

^{1：here's an example}