【C语言】程序环境和预处理

程序环境和预处理

任何的C语言的代码都会存在二种环境:

  1. 翻译环境,这个环境是把代码转换成机器可以执行的指令
  2. 执行环境,它用于实际执行代码

程序的翻译环境

一个源文件最后的可执行程序一共有三步:
在这里插入图片描述

  • 首先是每个源文件会单独的经过编译器处理生成一个目标文件
    (在Windows环境的目标文件的后缀是 .obj,在Linux环境下目标文件的后缀为.0
  • 链接器会把所有的目标文件捆绑到一起,同时链接器也引用标准C函数库中被该程序所引用的函数
    同时它也可以搜索程序员个人创建的程序库,将其需要的函数也链接到程序中(链接库操作
  • 最后形成一个单一而完整的可执行程序 (.exe 文件)

程序的执行环境

程序的实际执行值执行环境中进行,程序执行的具体过程分三步:

  • 程序必须先被载入内存中。在有操作系统的环境中,此过程一般由操作系统完成;在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
  • 接下来程序开始执行,调用main函数。
    开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),用于存储函数的局部变量和返回地址;程序同时也可以使用静态(static)内存,存储于静态内存中的变量其值在程序的整个执行过程将会被一直保留。
  • 终止程序。正常终止main函数,也有可能是意外终止。

编译的具体过程

这里是比较笼统的写写,感兴趣的可以看看《编译原理》,里面有详细的讲解

一·个源文件的编译还可以分成三步:预处理、编译、汇编
在这里插入图片描述

预处理

预处理也叫预编译,程序在预处理阶段会完成如下操作:

  • 头文件包含
    在预处理时会生成一个 文件名.i ,里名会把定义的头文件的内容<stdio.h>全部都包含到文件中
  • define 定义的符号的替换

#define 定义的全局变量会在预处理的时候把文件中出现的全局变量替换成定义的数值

  • 注释的删除
    注释是给程序员自己看的,所以会直接删除掉

当然后面还有很多操作,这里就不介绍了
总结:在预处理中都是文本操作

编译

在编译时会生成一个 文件名.s ,是把C语言代码转换成汇编代码
而转换成汇编代码会进行 语法分析词法分析符号分析语义分析

  • 这里主要讲符号分析
    符号汇总会将我们代码中的全局的符号全部汇总起来
    比如全局变量名、函数名;符号汇总不会将局部的变量名汇总进来
    经过编译,我们的C语言代码会被转化为汇编代码

汇编,

在汇编式会生成一个 文件名.o 文件
在进行汇编时,会把汇编代码转换成二进制代码(二进制指令),还会形成符号表
符号表就是会给这些全局变量一个地址,并且通过符号表查找变量
如果在符号表找不到对应的变量,那么代表这个变量不存在

链接

程序在链接期间会有二个操作:

  • 合并链表
    编译器会把之前在汇编中生成多个目标文件相同格式的数据合并成一个可执行程序 .exe
  • 符号表的的合并
    符号表的合并是指在汇编阶段生成的多个符号表合并成一个符号表,并且重新定位
    重新定位是指符号表出现相同的符号时,编译器会选取和符号相关的地址,舍弃另外一个

链接过程符号表的合并和重定向的实际意义是非常大的,因为它保证了符号表中的每一个符号都和有效的地址相关联,我们可以通过该地址找到对应符号,可以让我们跨文件的调用函数,使得我们链接生成的 .exe 文件能够被正常执行。

如果程序在合并符号表时,发现某一符号是无效地址时,程序会发生链接性错误
例如:

在这里插入图片描述

上面就是简略的介绍C程序的执行过程,实际上编译器在编译、汇编、链接时还有很多操作
如果详细的介绍的话,那就要深入的去学习编译原理等相关知识
如果很感兴趣可以看看《程序员的自我修养》这本书,里面细致的介绍了程序执行的过程

运行环境

程序执行的过程:

  1. 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序
    的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
  2. 程序的执行便开始。接着便调用main函数。
  3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回
    地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程
    一直保留他们的值。
  4. 终止程序。正常终止main函数;也有可能是意外终止。

预处理详解

接下来是详细的学习预处理操作的相关的操作

预定义符号

C语言中有许多内置的预定义符号,我们可以在程序中直接使用:

__FILE__ 进行编译的源文件的路径
__LINE__ 文件当前的行号
__DATE__ 文件被编译的日期
__TIME__ 文件被编译的时间
__STDC__ 如果编译器遵循ANSI C,其值为1,否则未定义

例如:

int main()
{
   
	int i = 0;
	for (i = 1; i <= 10; i++)
	{
   
		printf("%s %d %s %s \n%d\n", __FILE__, __LINE__, __DATE__, __TIME__, i);
	}                             
	return 0;
}

结果:

在这里插入图片描述

#define 定义标识符

#define 定义的除了可以定义常量,还可以定义字符串、关键字等等
例如:

#define MAX 100                  //用 MAX 来代替100这个数值
#define STR "Hello China"        
#define print printf("blaue\n")
#define reg register             //为 register这个关键字,创建一个简短的名字
#define do_forever for(;;
  • 8
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 7
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 7
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值