我从同事那里学到，可以在不写main()函数的情况下编写和执行C程序。做法如下：
my_main.c
/* Compile this with gcc -nostartfiles */
#include <stdlib.h>
void _start() {
int ret = my_main();
exit(ret);
}
int my_main() {
puts("This is a program without a main() function!");
return 0;
}
使用以下命令编译：
gcc -o my_main my_main.c –nostartfiles
使用以下命令运行：
./my_main
何时需要做这种事？是否有任何真实世界的场景会用到这个功能？
_start是您的程序的入口点。也就是说，该符号的地址是程序启动时跳转到的地址。_start函数通常由名为crt0.o的文件提供，其中包含用于C运行时环境的启动代码。它会设置一些内容，填充参数数组argv，计算有多少个参数，然后调用main函数。在main函数返回后，将调用exit函数。_start代码。例如，Go编程语言的参考实现这样做是因为它们需要一个非标准的线程模型，这需要一些关于堆栈的魔法操作。当您想要编写非常小的程序或进行非传统操作时，提供自己的_start也很有用。start 函数也来自于 crt0.o 目标文件。 - fuz_start；事实上，在调用 main 之前会发生什么都没有具体说明，它只规定了在调用 main 时必须满足的条件。这更像是一个入口点的约定，而这个约定可以追溯到早期。 - fuzmain是程序员角度的程序入口点，而_start则是操作系统角度的通常入口点（即程序从操作系统启动后执行的第一条指令）。
在典型的C和尤其是C++程序中，在执行进入main函数之前会完成大量工作。这里有一个很好的解释介绍了从_start()到main()以及在main函数退出后发生的一切（见下面的注释）。
通常，编译器的写者通过提供启动文件来提供必要的代码，但是在使用--nostartfiles标志时，你实际上告诉编译器：“不要打扰我给出标准的启动文件，让我完全控制从一开始发生的事情”。
这有时是必要的，并且在嵌入式系统上经常使用。例如，如果没有操作系统，您必须在全局对象初始化之前手动启用某些部分的存储器系统（例如缓存）。
_start()内运行（或实际上是由其调用的另一个函数），在许多裸机程序中，您需要首先将所有全局数据从闪存显式地复制到RAM中，这也发生在_start()中，但是这个问题既不涉及C++也不涉及裸机代码。 - MikeMB_start 的程序中，除非您采取特殊步骤自行初始化 C 库，否则 C 库将不会被初始化 - 在这样的程序中使用任何非异步信号安全函数可能是不安全的。（没有官方保证任何库函数都能正常工作，但异步信号安全函数根本不能引用任何全局数据，因此它们必须费尽心思才能出现故障。） - zwolerrno(例如，read和write是异步信号安全的，可以设置errno)，这可能根据线程何时分配每个线程的errno位置而产生问题。 - zwolmalloc 不是异步信号安全的，但我接受对抽象情况的更正。 - zwol什么时候需要这样做？
当您想要为程序创建自己的启动代码时。
main 不是 C 程序的第一个入口点，_start 是幕后的第一个入口点。
Linux 中的示例：
_start: # _start is the entry point known to the linker
xor %ebp, %ebp # effectively RBP := 0, mark the end of stack frames
mov (%rsp), %edi # get argc from the stack (implicitly zero-extended to 64-bit)
lea 8(%rsp), %rsi # take the address of argv from the stack
lea 16(%rsp,%rdi,8), %rdx # take the address of envp from the stack
xor %eax, %eax # per ABI and compatibility with icc
call main # %edi, %rsi, %rdx are the three args (of which first two are C standard) to main
mov %eax, %edi # transfer the return of main to the first argument of _exit
xor %eax, %eax # per ABI and compatibility with icc
call _exit # terminate the program
_start：_start。main 函数并将其更改为其他内容：_start 应该调用 exit 而不是 _exit（如果你链接了 libc），以确保 stdio 缓冲区被刷新。例如，如果你将 stdout 重定向到文件，则 puts("hello") 在 main 函数返回时仍然会被缓冲，因为 stdout 是全缓冲的。这还会调用已注册的 atexit 函数。 - Peter Cordes_start 还会在进入时检查 RDX 是否为非空，并将其注册到 atexit 中。这是动态链接器的回调函数，如果任何库有任何析构函数，则使其变为非空。 （静态可执行文件直接从内核输入自己的 _start，所有寄存器都为0，没有机会让库先运行启动代码。即使 _start 不调用其函数，在动态链接的可执行文件中，glibc 也会初始化自己。使用此静态可执行文件中的 _start，glibc 函数（如 printf）将崩溃；FILE *stdout 甚至不会被初始化。） - Peter Cordes
_start()和其他在main()之外的东西的一些细节，非常值得一读。 - user439793_start或除了main之外的任何入口点都没有明确规定（除了对于自由站（嵌入式）实现，入口点的名称是实现定义的）。 - Keith Thompson_start不安全，调用my_main时违反了 ABI；您告诉编译器它是一个普通函数，但实际上它已经使用堆栈指针对齐（例如，在 x86-64 上，RSP％16 == 0），而不是 RSP％16 == 8，就像在调用推送 8 字节返回地址的普通函数之后进入一样。 您可以通过为_start使用__attribute__((force_align_arg_pointer))来解决这个问题，告诉 GCC 在进入该“函数”时堆栈指针可能会“错位”，如 Get arg values with inline asm without Glibc? 中所示。 - Peter Cordesmy_main使用scanf或printf（或任何可变参数函数）带有float或doubleFP参数，这将导致崩溃。当从不对齐RSP的函数调用glibc scanf时会出现分段错误。 - Peter Cordes