在常规的C语言程序开发中，main函数确实是程序执行的默认起始点，这也是绝大多数教材和入门教程中会强调的内容。不过这个规则并不是绝对通用的，需要结合具体的编译环境、程序类型和标准规范来判断。
常规场景下的main函数入口规则
根据C语言标准的规定，一个 hosted environment（宿主环境，即运行在操作系统之上的程序）的可执行程序，必须包含一个名为main的函数作为程序入口。当程序被操作系统加载启动后，运行时会先完成一系列初始化工作，比如初始化全局变量、设置栈空间等，之后就会跳转到main函数的第一行代码开始执行。
下面是一个最简单的C程序示例，程序从main函数开始执行，输出一段文本后结束：
#include <stdio.h>
int main(void) {
// main函数是程序执行的起始点
printf("程序从main函数开始执行n");
return 0;
}
在这个示例中，所有的业务逻辑都写在main函数内部，程序执行时首先进入的就是main函数，执行完printf语句后返回0，告知操作系统程序正常结束。
例外场景：非宿主环境的程序
C语言标准中还存在另一种环境类型，叫做 freestanding environment（独立环境），这类程序是直接运行在硬件上的，不需要操作系统的支持，比如嵌入式系统的裸机程序、操作系统的内核代码等。在这类环境下，C语言标准并没有要求程序必须包含main函数，程序的入口点由具体的实现（编译器、硬件平台）来决定。
比如在嵌入式开发中，很多裸机程序的入口是复位中断处理函数，而不是main函数。下面是一个简单的嵌入式裸机程序的入口示例，程序的起始执行点是Reset_Handler函数：
// 复位中断处理函数，作为程序执行的起始点
void Reset_Handler(void) {
// 初始化硬件外设
SystemInit();
// 跳转到用户逻辑，这里可以调用main函数，也可以不调用
main();
// 如果main返回，进入死循环
while (1) {
}
}
int main(void) {
// 用户业务逻辑
return 0;
}
在这个场景下，程序被硬件加载后首先执行的是Reset_Handler函数，main函数只是被Reset_Handler调用的一个普通函数，不再是程序的起始执行点。
特殊情况：main函数之前的代码执行
即使是在宿主环境下，程序也不是一启动就直接执行main函数的第一行代码。在main函数执行之前，运行时库会先执行一系列的初始化操作，比如初始化全局静态变量、执行全局对象的构造函数（如果是C++程序的话）、设置命令行参数等。这些初始化代码的执行时间是在main函数之前，但严格来说它们不属于用户编写的程序代码的范畴，是运行时环境自带的逻辑。
我们可以通过下面的示例验证main函数之前的初始化逻辑：
#include <stdio.h>
// 全局变量的初始化会在main函数执行之前完成
int global_var = 10;
int main(void) {
printf("global_var的值为：%dn", global_var);
return 0;
}
这个程序中，global_var的初始化操作是在main函数执行之前完成的，不过这部分初始化逻辑是运行时自动处理的，不属于用户编写的程序执行起始行。
总结
综合来看，C程序是否以main函数作为执行的起始行，需要分场景判断：在常规的宿主环境可执行程序中，这个规则是成立的；但在独立环境的程序、或者一些特殊嵌入式场景下，程序的起始执行点可能不是main函数。另外需要注意，main函数执行之前会有运行时初始化逻辑，但这些不属于用户程序代码的执行起始范畴。开发者在实际开发中，需要根据自己的程序运行环境来判断入口规则，避免一概而论。