C编译器（GCC）如何识别程序的起始执行函数？

首先要明确：不是GCC编译器直接识别入口函数，而是编译后的链接阶段结合启动代码来确定程序的实际执行起点

1. C语言标准的约定 #

C标准明确规定，程序的逻辑入口是main函数，标准的签名有两种：

• int main(void)
• int main(int argc, char *argv[])
  部分实现还支持带环境变量参数的int main(int argc, char *argv[], char *envp[])，这属于实现定义的扩展。
  编译器会识别代码中符合标准的main函数，将其标记为需要被启动代码调用的目标。

2. GCC的实际执行流程 #

当你用GCC编译程序时，默认会自动链接启动代码（比如crt0.o、crtbegin.o这类文件）：

• 这段启动代码的真正执行起点是_start符号，它会先完成一系列初始化工作：设置栈空间、初始化全局变量、处理命令行参数、注册退出函数等
• 完成初始化后，启动代码会调用你写的main函数，这才是你写的代码开始执行的节点
• 如果你的代码里没有定义main函数，链接阶段会直接报错，除非你手动指定自定义入口点

3. 针对你给出的示例代码 #

示例中的main函数完全符合C标准的约定，链接器会在启动代码的引导下，将它作为程序逻辑的入口：
程序运行时，先执行启动代码的_start完成初始化，接着调用main函数，再由main依次调用hello_world和gougougaga函数。

额外说明：自定义入口点 #

如果需要指定非main的入口函数，可以使用GCC的-e选项，比如：

gcc -e my_custom_start your_code.c

这会让程序从my_custom_start函数开始执行，但这种用法属于非标准操作，会跳过标准的初始化流程，可能导致全局变量未初始化、标准库函数无法正常使用等问题，一般不推荐。

内容的提问来源于stack exchange，提问作者GoofyKetchup