c语言中编译过程与预处理

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档

文章目录

  • 前言
  • 一、c语言的编译与链接
    • 1、编译与链接概述
    • 2、编译与链接详解
  • 二、c语言预处理
    • 1.c语言中内置的预定义符号
    • 2、#define定义标识符
    • 3、#define定义宏
    • 4、#define 替换规则
    • 5、在使用#define定义宏时,#和##的作用
    • 6、带副作用的宏参数
    • 7、宏和函数对比
    • 8、#undef
  • 三、条件编译
    • 1、常见的条件编译指令
  • 四、文件包含
    • 1、头文件被包含的方式


前言

一、c语言的编译与链接

1、编译与链接概述

在c语言的一个项目中会有很多.c文件,这些.c文件就是源文件,组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code),即每个源文件都转换为对应的目标文件,即.obj文件。
然后这些目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
编译器将这些存储代码的源文件编译成存储机器可以识别的二进制指令的目标文件,然后链接器将这些目标文件链接起来,因为test.c中使用了add.c和sub.c中定义的函数,所以链接这一步就是将test.c中使用的这些函数链接起来。然后才会形成一个可执行的程序。
在这里插入图片描述

2、编译与链接详解

源文件test.c和add.c在编译过程中,先进行预编译,在预编译阶段会将代码中的注释都去掉,然后像#define定义的标识符和宏等都会被替代掉,#include定义的头文件包含也会被引入其中,即test.i和add.i中有的是预处理过后的代码。可以看到test.c中的一些代码和注释在test.i中已经没有了。

在这里插入图片描述
在经过预处理后,下一步就是将生成的test.i文件进行编译了,该处理会将c语言代码翻译成汇编代码。并且会进行语法分析、词法分析、语义分析和符号汇总等。
在这里插入图片描述
最后编译器会将编译形成的test.cod汇编文件经过汇编处理变为机器可以识别的二进制指令。然后还会形成符号表。
在这里插入图片描述
然后就是链接器将生成的目标文件test.obj和add.obj进行符号表的合并与重定位,还有段表的合并。
test.cod在汇编后会将全局的一些函数等形成符号表,add.cod在汇编后也会将全局的一些函数等形成符号表,当在链接时,因为test.obj和add.obj的符号表中都给Add符号申请了地址,但是经过检查后发现test.obj里面Add的地址无用,所以会合并符号表,即当程序要调用Add函数时,就去0x 500地址去找该函数。
然后链接器将这些目标文件和该程序引用的库里面的一些文件都链接到一起,形成可执行程序test.exe。
在这里插入图片描述
在这里插入图片描述

二、c语言预处理

1.c语言中内置的预定义符号

这些预定义符号都是c语言内置的,可以直接使用这些符号来打印我们想要的信息。
在这里插入图片描述
在这里插入图片描述
使用这些预定义符号就可以得到当前语句执行的相关信息。
在这里插入图片描述

2、#define定义标识符

除了上面的预定义符号外,c语言也支持使用#define来定义标识符。
例如定义MAX 替代 100,则在下面的程序中如果使用了MAX,将都会在预处理阶段被替换为100.并且#define可以除了可以定义数字外,还可以定义字符、类型、代码等。

#define MAX 100
#define STR "abcdef"
#define FAC fac()  //调用函数
//如果定义的语句过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(续行符)
#define DEBUG_PRINT printf("file:%s line:%d" \"date:%s  time:%s\n",\__FILE__, __LINE__,\__DATE__,__TIME__)void fac()
{printf("hh\n");
}
int main()
{int a = MAX;printf("%d\n", a);printf("%d\n", MAX);FAC;DEBUG_PRINT;return 0;
}

可以看到我们在test.c中的注释和#define定义的标识符都在预处理阶段被去掉了,而且#define定义的标识符就是将这些标识符直接替换成了后面的语句。所以在使用#define定义标识符后,语句后边不用加上 ; 符,因为替换时会将 ; 符也加上,这样语句就会有两个 ; ; 语句结束符。
在这里插入图片描述

3、#define定义宏

#define 机制包括了一个规定,允许把参数替换到文本中,这种实现通常称为宏(macro)或定义宏(definemacro)。
#define name( parament-list ) stuff 其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中。
注意: 参数列表的左括号必须与name紧邻。 如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分。
在定义宏时应该尽可能多的使用括号,以避免出现下面的情况。
在这里插入图片描述
所以用于对数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。

#define SQUARE(x) ((x)*(x)) 
#define DOUBLE(x) ((x)+(x))int main()
{int a = 9;int r = SQUARE(a);  //81//经过预处理后,等价于 int r = ((a) * (a));printf("%d\n", r);int z = SQUARE(a + 1);  //100//经过预处理后,等价与 int z = ((a + 1) * (a + 1));printf("%d\n", z);int ret = 3 * DOUBLE(100); //600//经过预处理后,等价于 int ret = 3 * ((100) + (100))printf("%d\n", ret);return 0;
}

4、#define 替换规则

在程序中扩展#define定义符号和宏时,需要涉及几个步骤。

  1. 在调用宏时,首先对参数进行检查,看看是否包含任何由#define定义的符号。如果是,它们首先被替换。
  2. 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值替换。
  3. 最后,再次对结果文件进行扫描,看看它是否包含任何由#define定义的符号。如果是,就重复上述处理过程。
    注意:
  4. 宏参数和#define 定义中可以出现其他#define定义的变量。但是对于宏,不能出现递归。
  5. 当预处理器搜索#define定义的符号的时候,字符串常量的内容并不被搜索。
#define ADD(x,y) ((x)+(y))
#define MAX 100int main()
{//会先将MAX替换为100,然后再将ADD(2,100)替换为 ((2)+(100))int ret = ADD(2, MAX);printf("%d\n", ret);//字符串里面的MAX不会被替换为100printf("MAX = %d\n", MAX);return 0;
}

5、在使用#define定义宏时,#和##的作用

使用 # ,把一个宏参数变成对应的字符串。

//宏可以做到这样的操作
//参数前面加上#就表示直接替换为N这个字符,而不是N的值
#define PRINT(N,format) printf(#N" = "format"\n",N)//函数不能将n改变为其他字符
void print(int n)
{printf("n = \n", n);
}
int main()
{int a = 10;double b = 3.14;//当我们想要输出这样的语句时,函数做不到,但是宏可以做到/*printf("a = %d\n", a);printf("b = %lf\n", b);*/PRINT(a,"%d");PRINT(b,"%lf");return 0;
}

##可以把位于它两边的符号合成一个符号。 它允许宏定义从分离的文本片段创建标识符。

#define CAT(name,num) name##numint main()
{int class101 = 101;printf("%d\n", CAT(class, 101));//在预处理时,会变为 printf("%d\n", class101)//##可以把位于它两边的符号合成一个符号。 它允许宏定义从分离的文本片段创建标识符。return 0;
}

6、带副作用的宏参数

当宏参数在宏的定义中出现超过一次的时候,如果参数带有副作用,那么你在使用这个宏的时候就可能出现危险,导致不可预测的后果。副作用就是表达式求值的时候出现的永久性效果。
例如

x+1;//不带副作用
x++;//带有副作用

即在宏执行的过程中,参数的值会发生变化。

#define MAX(x,y) ((x)>(y)?(x):(y))int main()
{int a = 5;int b = 8;int c = MAX(a++, b++);//在预处理后变为//int c = ((a++) > (b++) ? (a++) : (b++));printf("%d\n", a);printf("%d\n", b);printf("%d\n", c);return 0;
}

7、宏和函数对比

宏通常被应用于执行简单的运算。比如在两个数中找出较大的一个。
#define MAX(a, b) ((a)>(b)?(a):(b))
那为什么不用函数来完成这个任务? 原因有二:
1、用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。
2、更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于>来比较的类型。宏是类型无关的。
当然和宏相比函数也有劣势的地方:
1、 每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,否则可能大幅度增加程序的长度。
2、 宏是没法调试的。
3、宏由于类型无关,也就不够严谨。
4、宏可能会带来运算符优先级的问题,导致程容易出现错。

宏有时候可以做函数做不到的事情。比如:宏的参数可以出现类型,但是函数做不到。

#define MALLOC(num,type) (type*)malloc(num*sizeof(type))int main()
{int* p = (int*)malloc(10 * sizeof(int));int* p2 = MALLOC(10, int);//int* p2 = (int*)malloc(10 * sizeof(int));return 0;
}

命名约定: 把宏名全部大写 函数名不要全部大写。

8、#undef

这条指令用于移除一个宏定义。

#define MAX 100
int main()
{int a = MAX;printf("%d\n", a);printf("%d\n", MAX);
#undef MAX //此时MAX已经不再为定义的标识符printf("%d\n", MAX);return 0;}

三、条件编译

1、常见的条件编译指令

在编译一个程序的时候我们如果要将一条语句(一组语句)编译或者放弃是很方便的。因为我们有条件编译指令。
1、#if

#if 常量表达式//... 
#endif 
//常量表达式由预处理器求值。
如:
#define __ DEBUG __ 1 
#if __ DEBUG __ //.. 
#endif 
int main()
{int arr[10] = { 0 };int i = 0;for (i = 0; i < 10; i++){arr[i] = i + 1;
//如果#if 后面的常量表达式为真,则里面的语句会参与编译
#if 1printf("%d ", arr[i]);
#endif}return 0;
}

2.多个分支的条件编译

 //... 
#elif 常量表达式//... 
#else //... 
#endif 
#define NUM 1
int main()
{//只有满足条件的语句才会编译,而不满足条件的语句在预处理阶段就被去除了
#if NUM==1printf("hehe\n");
#elif NUM==2printf("haha\n");
#elseprintf("heihei\n");
#endifreturn 0;
}

3.判断是否被定义

#if defined(symbol) 
#ifdef symbol 
#if !defined(symbol) 
#ifndef symbol 
#define MAX 0
int main()
{//如果使用#define定义了MAX标识符就为真
#if defined(MAX)printf("defined\n");
#endif#if !defined(MAX)printf("!defined\n");
#endif//下面两组和上面两组等价
#ifdef MAXprintf("ifdef\n");
#endif#ifndef MAXprintf("ifndef\n");
#endifreturn 0;}

4.嵌套指令

#if defined(OS_UNIX) #ifdef OPTION1 unix_version_option1(); #endif #ifdef OPTION2 unix_version_option2(); #endif 
#elif defined(OS_MSDOS) #ifdef OPTION2 msdos_version_option2(); #endif 
#endif 
#define OPTION1 1#define FAC1 1
#define FAC2 2
#define FAC3 3int main()
{
#if defined(OPTION1)#ifdef FAC1printf("FAC1");#endif
#else #ifdef FAC2printf("FAC2");#endif
#endifreturn 0;
}

四、文件包含

我们已经知道, #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。这种替换的方式很简单: 预处理器先删除这条指令,并用包含文件的内容替换。 这样一个源文件被包含10次,那就实际被编译10次。

1、头文件被包含的方式

本地文件包含

#include "filename" 

查找策略:先在源文件所在目录下查找,如果该头文件未找到,编译器就像查找库函数头文件一样在标准位置查找头文件。 如果找不到就提示编译错误。
库文件包含

#include <filename.h>

查找头文件直接去标准路径下去查找,如果找不到就提示编译错误。
由上可知对于库文件,也可以用" "包含,但是这样做查找的效率就低些,当然这样也不容易区分是库文件还是本地文件了。
嵌套文件包含
comm.h和comm.c是公共模块。 test1.h和test1.c使用了公共模块。 test2.h和test2.c使用了公共模块。 test.h和test.c使用了test1模块和test2模块。 这样最终程序中就会出现两份comm.h的内容。这样就造成了文件内容的重复。此时我们使用条件编译就可以解决这个问题
在这里插入图片描述
每个头文件的开头写

#ifndef __TEST_H__ 
#define __TEST_H__ 
//头文件的内容
#endif //__TEST_H__ 

或者

#pragma once 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/54885.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

CSS scoped 属性的原理

scoped 一、scoped 是什么&#xff1f;二、实现原理 一、scoped 是什么&#xff1f; 在 Vue 组件中&#xff0c;为了使样式私有化&#xff08;模块化&#xff09;&#xff0c;不对全局造成污染&#xff0c;可以在 style 标签上添加 scoped 属性以表示它的只属于当下的模块&am…

数组和指针练习解析(6)

题目&#xff1a; int main() { char *c[] {"ENTER","NEW","POINT","FIRST"}; char**cp[] {c3,c2,c1,c}; char***cpp cp; printf("%s\n", **cpp); printf("%s\n", *--*cpp3)&#xff1b; printf("%s\n&…

数据结构(Java实现)-包装类和泛型

包装类 在Java中&#xff0c;由于基本类型不是继承自Object&#xff0c;为了在泛型代码中可以支持基本类型&#xff0c;Java给每个基本类型都对应了 一个包装类型。 基本数据类型和对应的包装类 装箱和拆箱 装箱操作&#xff0c;新建一个 Integer 类型对象&#xff0c;将 i 的…

【提升接口响应能力的最佳实践】常规操作篇

文章目录 1. 并行处理简要说明CompletableFuture是银弹吗&#xff1f;测试案例测试结论半异步&#xff0c;半同步总结 2. 最小化事务范围简要说明编程式事务模板 3. 缓存简要说明 4. 合理使用线程池简要说明使用场景线程池的创建参数的配置建议 线程池的监控线程池的资源隔离 5…

【jvm】双亲委派机制

目录 一、说明二、工作原理三、优势四、图示 一、说明 1.java虚拟机对class文件采用的是按需加载的方式&#xff0c;当需要使用该类时才会将它的class文件加载到内存生成class对象 2.加载某个类的class文件时&#xff0c;java虚拟机采用双亲委派模式&#xff0c;即把请求交给由…

curl --resolve参数的作用

之所以会有这样的操作&#xff0c;是因为域名一般对应的都是一个反向代理&#xff0c;直接请求域名&#xff0c;反向代理会将流量随机选一台机器打过去&#xff0c;而无法确保所有的机器都可用。所以直接用ip。 在 curl 命令中&#xff0c;--resolve 参数用于指定自定义的主机名…

想解锁禁用的iPhone?除了可以使用电脑之外,这里还有不需要电脑的方法!

多次输入错误的密码后,iPhone将显示“iPhone已禁用”。这种情况看起来很棘手,因为你现在不能用iPhone做任何事情。对于这种情况,我们提供了几种有效的方法来帮助你在最棘手的问题中解锁禁用的iPhone。你可以选择使用或不使用电脑来解锁禁用的iPhone。 一、为什么你的iPhone…

基于FPGA的FIR低通滤波器实现(附工程源码),matlab+vivado19.2+simulation

基于FPGA的FIR低通滤波器实现(附工程源码) 文章目录 基于FPGA的FIR低通滤波器实现(附工程源码)前言一、matlab设计FIR滤波器&#xff0c;生成正弦波1.设计FIR滤波器1.生成正弦波.coe 二、vivado1.fir滤波器IP核2.正弦波生成IP核3.时钟IP核设置4.顶层文件/测试文件代码 三.simul…

【30天熟悉Go语言】11 数组的全方位使用与解析

作者&#xff1a;秃秃爱健身&#xff0c;多平台博客专家&#xff0c;某大厂后端开发&#xff0c;个人IP起于源码分析文章 &#x1f60b;。 源码系列专栏&#xff1a;Spring MVC源码系列、Spring Boot源码系列、SpringCloud源码系列&#xff08;含&#xff1a;Ribbon、Feign&…

OLED透明屏水波纹效果:打造独特的显示体验

OLED透明屏水波纹效果是一种独特的显示技术&#xff0c;通过模拟水波纹的视觉效果&#xff0c;为用户带来更加生动逼真的观感。 根据市场调研报告显示&#xff0c;OLED透明屏水波纹效果已经在广告、游戏和商业领域得到广泛应用&#xff0c;为品牌提供了新的展示方式&#xff0…

根据源码,模拟实现 RabbitMQ - 网络通讯设计,自定义应用层协议,实现 BrokerServer (8)

目录 一、网络通讯协议设计 1.1、交互模型 1.2、自定义应用层协议 1.2.1、请求和响应格式约定 ​编辑 1.2.2、参数说明 1.2.3、具体例子 1.2.4、特殊栗子 1.3、实现 BrokerServer 1.3.1、属性和构造 1.3.2、启动 BrokerServer 1.3.3、停止 BrokerServer 1.3.4、处…

【数据分析】波士顿矩阵

波士顿矩阵是一种用于分析市场定位和企业发展战略的管理工具。由美国波士顿咨询集团&#xff08;Boston Consulting Group&#xff09;于1970年提出&#xff0c;并以该集团命名。 波士顿矩阵主要基于产品生命周期和市场份额两个维度&#xff0c;将企业的产品或业务分为四个象限…

LAMP架构详解+构建LAMP平台之Discuz论坛

L A M P 一、LAMP架构简介1.1 LAMP架构的组成1.2 LAMP各组件的主要作用1.3 LAMP工作过程1.4 CGI和fastcgi 二、搭建Discuz论坛的思路三、编译安装Apache httpd3.1 前置准备3.2 移动apr包 apr-util包到安装目录中&#xff0c;并切换到 httpd-2.4.29目录中3.3 编译安装3.4 建立软…

dvwa xss通关

反射型XSS通关 low难度 选择难度&#xff1a; 直接用下面JS代码尝试&#xff1a; <script>alert(/xss/)</script>通关成功&#xff1a; medium难度 直接下面代码尝试后失败 <script>alert(/xss/)</script>发现这段代码直接被输出&#xff1a; 尝试…

开始MySQL之路——外键关联和多表联合查询详细概述

多表查询和外键关联 实际开发中&#xff0c;一个项目通常需要很多张表才能完成。例如&#xff0c;一个商城项目就需要分类表&#xff0c;商品表&#xff0c;订单表等多张表。且这些表的数据之间存在一定的关系&#xff0c;接下来我们将在单表的基础上&#xff0c;一起学习多表…

Qt --- 自定义提示框 类似QMessagebox

QMessageBox::information(NULL, QString("title"), QString("I am information")); 以下是自定义提示框的代码&#xff0c;有图有真相&#xff01;提示框大部分都采用模态的形式&#xff0c;关于模态也不再多提&#xff01;所以父类为QDialog&#xff0c;…

若依移动端Ruoyi-App 项目的后端项目入门

后端项目运行 运行报错 Error creating bean with name sysConfigServiceImpl: Invocation of init method failed 数据库创建了。 代码连接数据库地方了也匹配上了。但是还是报错。 分析 &#xff1a; 想起来我电脑从来没有安装过redis 下载安装redis到windows 链接&…

【Mac】编译Spring 源码和Idea导入

今天我们开始Spring源码的阅读之旅。阅读Spring的源码的第一步当然是编译Spring源码。首先我们要去GitHub上将spring源码给clone下来。 笔者编译环境如下&#xff1a; Spring版本&#xff1a;5.28 https://github.com/spring-projects/spring-framework/tree/v5.2.8.RELEASE …

人工智能项目集合推荐(数据集 模型训练 C++和Android部署)

人工智能项目集合推荐(数据集 模型训练 C和Android部署) 目录 人工智能项目集合推荐(数据集 模型训练 C和Android部署) 1.三维重建项目集合 ★双目三维重建 ★结构光三维重建 2.AI CV项目集合 ★人脸检测和人体检测 ★人体姿态估计(人体关键点检测) ★头部朝向估计 …

【C++初阶】模拟实现list

&#x1f466;个人主页&#xff1a;Weraphael ✍&#x1f3fb;作者简介&#xff1a;目前学习C和算法 ✈️专栏&#xff1a;C航路 &#x1f40b; 希望大家多多支持&#xff0c;咱一起进步&#xff01;&#x1f601; 如果文章对你有帮助的话 欢迎 评论&#x1f4ac; 点赞&#x1…