为什么c程序里一定要写main函数

时间:2021-07-04 06:16:48

一、 学习过程

编写程序f.c:

为什么c程序里一定要写main函数

对其进行编译,正常通过,再对其进行连接,出现错误:

为什么c程序里一定要写main函数

显示的出错信息为:

为什么c程序里一定要写main函数

翻译成中文是:在c0s模块没有定义符号’_main’。

那么这个错误信息可能与文件c0s.obj有关。那么是什么原因导致编译出错呢?

既然已经将程序编译成了obj文件,那么用之前我们经常使用的link.exe能否将它连接呢?结果是可以的:

为什么c程序里一定要写main函数

用debug查看f.exe:

为什么c程序里一定要写main函数

程序是从06fb:0到06fb:001c,一共29个字节。但是整个程序的代码有541字节:

为什么c程序里一定要写main函数

执行最后一条ret指令,返回到b800处:

为什么c程序里一定要写main函数

查看该地址的上一条指令:

为什么c程序里一定要写main函数

发现上一条指令是push ds,不是跳转指令,所f.exe没有正确返回.

由上图知f函数的偏移地址是0.

编写程序m.c:

为什么c程序里一定要写main函数

对m.c进行编译连接,这一次连接没有出现错误。

用debug查看m.exe,发现代码还是在1fa处:

为什么c程序里一定要写main函数

程序是从06fb:01fa到06fb:0216,一共29个字节。但是整个程序的代码有4.19KB:

为什么c程序里一定要写main函数

为什么c程序里一定要写main函数

程序返回06fb:011d,查看该地址之前的代码:

为什么c程序里一定要写main函数

发现上一条指令是call 01fa,即跳转到主程序所在代码段,所以程序的返回是正确的。

观察两个程序的汇编代码发现:

(1)f.exe的偏移地址为0,在debug中直接用u命令就可看到,而m.exe的偏移地址为1fa,在debug中用u命令查看到的不是main函数中的代码。

(2)f.exe有没有被调用,所以函数返回是错误的,m.exe被调用了,所以函数的返回是正确的。

由上图知:对main函数进行调用的指令地址为06fb:011a,整个m.exe程序返回的指令是:

为什么c程序里一定要写main函数

我们发现,对main函数进行调用的指令和程序返回的指令都不是我们所写的语句,而是编译或连接过程中提供的。

没有main函数时,Tc里出现连接错误,提示c0s.obj里的main是没有定义的,而没有c0s.exe就无法对程序进行连接,那么有可能tc是把c0s.obj或者它的一部分与m.exe

一起进行连接生成exe文件。而且对main函数进行调用的指令和程序返回的指令应该就是c0s.obj所提供的。那么我们要对c0s.obj进行研究,可以用link.exe对它进行连接,再用debug查看汇编代码。发现虽然link提示错误,但是还是生成了c0s.exe文件:

为什么c程序里一定要写main函数

用debug查看c0s.exe和m.exe发现连个程序的代码非常相似,那么m.exe中调用了main函数,c0s.exe中调用了什么呢?

为什么c程序里一定要写main函数

为什么c程序里一定要写main函数

可以看到,c0s.exe中本来应该指向main函数段的地方因为找不到main函数,所以指向了下一条语句。还有这两段程序中call的程序段地址都不一样。

所以C语言编程一定要写main函数是因为c0s.obj连接后要调用main函数执行其功能,如果我们把main函数写成其他的函数,c0s.obj里的代码不会识别。如f.exe虽然可以由link.exe连接,但是不会被调用,而是直接执行其中的内容,造成返回错误。而书上说c0s.obj的作用是:在程序开始运行,进行相关初始化,再调用main函数,返回后进行相关的资源释放,环境恢复等工作,再将程序返回。那么如果我们改写c0s.obj使其调用的不是main函数而是其他函数,编程时就可以不写main函数了。

编写c0s.txt:

为什么c程序里一定要写main函数

用masm编译成obj文件,覆盖原来的c0s.obj文件。

将f.c重新编译连接,这次的连接成功了。

用debug查看f.exe:

为什么c程序里一定要写main函数

为什么c程序里一定要写main函数

发现我们重写的c0s.obj的内容出现在程序中,f函数的偏移地址为0012,且返回正确。f.exe可以正确运行。

编写新的程序f.c:

为什么c程序里一定要写main函数

这里的实现原理与上一篇的最后一个程序相同,不同的是将main函数换成了f函数,因为我们重写了c0s.obj,所以同样可以执行。但是为什么前者是用malloc函数开辟了20个字节的空间,而后者是直接赋0呢?我觉得应为是200:0的安全空间,所以可以直接使用,但是如果在比较复杂的程序中或者空间比较紧张,则要先开辟空间,这样比较安全。

二、 解决的问题

(1) c0s.obj文件的作用:在程序开始运行,进行相关初始化,再调用main函数,返回后进行相关的资源释放,环境恢复等工作,再将程序返回。

(2) 可否用其他函数代替main函数?

答:可以,但是要修改c0s.obj文件。

三、 未解决的问题

(1) link.exe是集成了c0s.obj、emu.obj等所有编译需要的文件吗?

(2) 如果不修改c0s.obj,要将f.c编译成功还需要哪些文件?

四、 学习感想

我们在解决复杂的问题时,要把它分解成一个一个小问题来解决。这次的研究是书上提出了问题来帮助我们理解和思考,但是真正解决问题时是没有人来帮助我们划分问题、提出问题的。所以在平时的学习中,我们要多督促自己养成好的思考的习惯。