C语言初学者经常在教材或网络上看到void main这种写法,于是照着写了,结果在GCC或者Clang编译时收到警告,甚至在一些严格的标准模式下直接报错。void main到底是什么意思,它和int main有什么区别,为什么老教材敢这么写而新编译器却不认?这篇文章把这几个问题一次讲清楚。

一、先弄清楚void关键字的含义
void是C语言中的一个关键字,字面意思是“无类型”。它主要出现在两个场景中:一是作为函数返回类型,表示这个函数不返回任何值;二是作为函数参数列表,写作int func(void),表示函数不接受任何参数,例如int main(void)。
当void用在返回类型的位置时,比如void printHello(),说明这个函数执行完毕后不会给调用者返回任何结果。调用方如果试图写int x = printHello();,编译器就会报错,因为没有值可以接收。理解了这一点,void main的字面意思就是:main这个函数不返回任何值。
但问题恰恰出在这里。main函数不是普通的函数,它是程序的入口,它的返回值会被操作系统用来判断程序的执行状态。一个“不返回任何值”的入口函数,意味着程序无法告诉操作系统自己到底是正常结束还是出错退出的。
二、C语言标准对main函数的规定
C语言标准(C89、C99、C11以及更新的C17)对main函数的定义有明确要求。以C99标准为例,main函数只有两种被完全认可的标准写法:
int main(void) { /* 函数体 */ }
int main(int argc, char *argv[]) { /* 函数体 */ }第一种写法表示程序不接受命令行参数,第二种写法用于需要处理命令行参数的场景。两种写法的返回类型都必须是int。标准中虽然留了一个口子,允许实现定义其他写法,但void main从未被C标准直接认可,它只是某些编译器(主要是老旧的Turbo C、部分MSVC版本)自行扩展出来的非标准写法。
老一批国内教材大量使用Turbo C作为教学环境,而Turbo C恰好容忍void main,所以这种写法流传极广。但放到现代编译器上,GCC会给出类似“return type of main is not int”的警告,开启-std=c99 -pedantic-errors选项后甚至直接编译失败。这就是很多人“照着书写却编译不过”的根本原因。
三、void main和int main的核心区别
两者的区别可以从三个层面来看。第一是返回值层面:int main在程序结束时通过return语句或exit函数向操作系统返回一个整数,0通常表示正常结束,非0表示异常,比如常见的return 1。而void main不返回值,操作系统拿不到明确的状态码,行为由编译器自行决定,可能返回随机值。
第二是可移植性层面:int main在任何符合标准的编译器上都能顺利编译,而void main在GCC、Clang的严格模式下会报错,换一个平台可能就编译不过。写跨平台程序时,这种非标准写法是明显的隐患。
第三是工具链配合层面:脚本、CI系统、Makefile往往依赖程序的退出码来判断是否执行成功。一个不返回状态码的程序会破坏这套机制,比如Shell脚本中判断$?时可能得到不可预期的结果。看下面的对比:
// 规范写法:返回0表示成功
int main(void)
{
printf("hello\n");
return 0;
}
// 不规范写法:编译器可能给出警告
void main()
{
printf("hello\n");
}四、关于return语句的几个细节
有人会问:既然main返回int,是不是必须在结尾写return 0?C99标准给出了一个贴心的规定:如果main函数体内没有显式的return语句,编译器会自动隐式地加上return 0。也就是说,下面这种写法在C99及以后的标准中是完全合法的:
int main(void)
{
printf("finish\n");
// 编译器自动补充 return 0;
}但要注意两点。第一,这个隐式return 0的规则只对main函数生效,普通函数不会自动return。第二,为了代码意图清晰,特别是在需要区分成功与失败路径的程序中,显式写出return 0和return 1仍然是更好的习惯。另外,如果确实需要在程序中间退出,可以使用exit(1),它同样能正确设置退出码,效果等同于在main中return 1。
最后总结一下规范做法:永远把main的返回类型写成int,参数列表根据是否需要命令行参数选择void或(int argc, char *argv[]),结尾正常情况return 0。至于void main,了解它的来历即可,新代码中不要再使用。改掉这个小习惯,程序的标准兼容性和可移植性都会提升一个档次。