当前位置: 首页 >> 科技 >
make程序的工作流程是?对超穷集合论基础的贡献是?
来源:创视网     时间:2023-02-08 16:28:29

make工作流程

这个生成target的流程,有必要说一下,如果target不存在的话,那么肯定是根据后面的依赖以及命令,来生成target,这时候如果后面的依赖存在的话,还好说,直接用命令生成target即可,如果后面的依赖项缺失,比如没有main.o中间目标文件,这时候,就会先生成依赖文件(main.o),也就是会转到依赖文件作为目标的语句上,就是main.o作为target的部分,先生成依赖文件,生成依赖文件之后,最后再生成target。这就像一个递归过程。

还有如果已经生成了target文件,这时候再次执行了make命令,这时候会比较target的最新时间与依赖项的最新时间,换句话说,就是看自上次make之后,后面的依赖项又没有被改变过,如果被改变了,那么依赖项的最新时间就会比target要新,这时候才会再次生成target。如果target比依赖项要新,那么就不做任何改变。

怎么说呢,这里也有一个类似于递归的概念,正如上图所示,如果common.o依赖的common.c被修改了,这时候在生成main的时候,会先生成最新的common.o,再生成最新的main

总之,如果我们运行make命令,make命令会以第一个target作为最终的目标,并以第一个target为起点,开始递归的编译所有的文件。

对超穷集合论基础的贡献

《对超穷集合论基础的贡献》是康托尔最后一部重要的数学著作。《贡献》分两部分,第一部分是全序集合的研究,于1895年5月在《数学年刊》上发表。第二部分于1897年5月在《数学年刊》上发表。《贡献》的发表标志集合论已从点集论过渡到抽象集合论。但是,由于它还不是公理化的,而且它的某些逻辑前提和某些证明方法如不给予适当的限制便会导出悖论,所以康托尔的集合论通常成为古典集合论或朴素集合论。

推荐新闻 +
猜您喜欢 +