当前位置： 首页 > news >正文

C语言进阶--程序的编译（预处理动作）+链接

news 来源：原创 2025/6/3 12:42:22

1.程序的翻译环境和执行环境

在ANSI C标准的任何一种实现中，存在两种不同的环境。

第一种是翻译环境：将源代码转换为可执行的机器指令（0/1）;

第二种是执行环境：用于实际执行代码。

2.详解编译+链接

2.1翻译环境

程序编译过程：

在这里插入图片描述

linux系统中的编译器gcc生成的目标文件：xxx.o

（不同的参数）

2.2编译本身也分为几个阶段

在这里插入图片描述
预编译/预处理：（文本操作）

  • 头文件的包含（#include）
  • #define定义符号的替换，删除定义的符号
  • 删除注释
  • ···

编译：把C语言代码转换成汇编代码（包括语法分析、词法分析、符号汇总、语义分析）

汇编：把汇编代码转换成二进制指令（机器指令）；将编译时的符号汇总形成符号表

链接：合并段表；符号表的合并和重定位

gcc test.c -E -o test.ivim /usr/include/stdio.h

在这里插入图片描述

gcc test.c -E -o test.i

在这里插入图片描述

gcc test.i -S  
//生成test.s

符号汇总：

在这里插入图片描述

gcc test.s -c
//生成test.o目标文件（二进制文件）

在这里插入图片描述
Linux下的可执行程序是elf格式。

2.3运行环境

程序执行的过程：

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

3.预处理详解

3.1预定义符号

__FILE__  //进行编译的源文件
__LINE__  //文件当前的行号
__DATE__  //文件被编译的日期
__TIME__  //文件被编译的时间
__STDC__  //如果编译器遵循ANSI C标准，其值为1，否则未定义(gcc编译器是遵循ANSI C标准的)

这些预定义符号都是语言内置的。

#include <stdio.h>
int main()
{int i = 0;FILE* pf = fopen("log.txt", "w");if (pf == NULL){perror("fopen");return EXIT_FAILURE; //1//EXIT_SUCCESS; //0}for (i = 0; i < 10; i++){fprintf(pf, "file:%s line=%d date:%s time:%s i=%d", __FILE__, __LINE__, __DATE__, __TIME__, i);}fclose(pf);pf = NULL;return 0;
}

在这里插入图片描述

3.2#define

3.2.1#define定义标识符(不加分号)
#define name stuff

#include <stdio.h>#define MAX 1000
#define STR "hello bit"int main()
{int m = MAX;printf("%d\n", MAX); //1000printf("%s\n", STR); //hello bitreturn 0;
}

续行符
在这里插入图片描述

3.2.2#define定义宏

#define机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义宏（define macro）。

#define name(parament-list) stuff

其中的parament-list是一个由逗号隔开的符号表，它们可能出现在stuff中。

注意：参数列表的左括号必须与name紧邻。如果两者之间有任何空白存在，参数列表会被解释为stuff的一部分。

#include <stdio.h>#define SQUARE(X) X*Xint main()
{int r = SQUARE(5); printf("%d\n", r); //25return 0;
}

上面写法有缺陷eg：

#include <stdio.h>#define SQUARE(X) X*Xint main()
{int r = SQUARE(5+1);  //5 + 1 * 5 + 1printf("%d\n", r); //11return 0;
}

修正：不吝啬括号

#include <stdio.h>#define SQUARE(X) ((X)*(X))int main()
{int r = SQUARE(5+1);  //((5 + 1) * (5 + 1))printf("%d\n", r); //36return 0;
}
3.2.3#define替换规则

在程序中扩展#defien定义符号和宏时，需要涉及几个步骤：

  • 在调用宏时，首先对参数进行检查，看看是否包含任何由#defien定义的符号。如果是，它们首先被替换。
  • 替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被它们的值所替换。
  • 最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。

注意：

宏参数和#define定义中可以出现其它#define定义的符号。但是对于宏，不能出现递归。

当预处理器搜索#define定义的符号时，字符串常量的内容并不被搜索。

#include <stdio.h>#define M 100
#define DOUBLE(X) ((X)+(X))int main()
{DOUBLE(M+2);  //(100+2)//((100+2)+(100+2))return 0;
}
3.2.4#和##

如何把参数插入到字符串中？
在这里插入图片描述

#include <stdio.h>#define PRINT(N) printf("the value of "#N" is %d\n", N)
int main()
{int a = 10;PRINT(a); //printf("the value of ""a"" is %d\n", a);int b = 10;PRINT(b);return 0;
}

在这里插入图片描述

#include <stdio.h>#define PRINT(N, FORMAT) printf("the value of "#N" is "FORMAT"\n", N)
int main()
{int a = 10;PRINT(a, %d); int f = 3.14f;PRINT(f, %lf);return 0;
}

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

#include <stdio.h>#define CAT(Class, Num) Class##Num
int main()
{int Class106 = 100;printf("%d\n", CAT(Class, 106)); //100//printf("%d\n", Class106);return 0;
}
3.2.5带副作用的宏参数

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

#include <stdio.h>
#define MAX(x,y) ((x)>(y)?(x):(y))
int main()
{int a = 5; //6 7int b = 4; //5int m = MAX(a++, b++); //int m = ((a++)>(b++)?(a++):(b++));6      5   > 4   ?6printf("m=%d ", m); //6printf("a=%d b=%d\n", a, b); //7 5return 0;
}
3.2.6宏和函数对比

宏通常被应用于执行简单的运算。

eg：在2个数中找出较大的一个，为什么不用函数来完成这个任务呢？

原因：

1.用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。

2.更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之宏可以适用于整型、长整型、浮点型等可以>来比较的类型。宏是与类型无关的。

函数调用（参数传参、栈帧创建）——>计算——>函数返回

宏的缺点：

1.每次使用宏的时候，一份宏定义的代码将插入到程序中。除非宏比较短，否则可能大幅度增加程序的长度。

2.宏是没法调试的。

3.宏由于类型无关，也就不够严谨。

4.宏可能会带来运算符优先级的问题，导致程序容易出错。

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

#define MALLOC(num, type) (type*)malloc((num)*sizeof(type))int main()
{//malloc(40);//malloc(10, int); //errorint* p = (int*)MALLOC(10, int);//int* p = (int*)malloc((10)*sizeof(int));return 0;
}
属性#define定义宏函数
代码长度每次使用时，宏代码都会被插入到程序中。除了非常小的宏除外，程序的长度会大幅度增长函数代码只出现于一个地方。每次使用这个函数时，到调用那个地方
执行速度更快存在函数的调用和返回的额外开销，所以相对慢一些
操作符优先级宏参数的求值是在所有周围表达式的上下文环境里，除非加上括号，否则邻近操作符的优先级可能会产生不可预料的后果，所以建议宏在书写时多些括号函数参数只在函数调用时求值一次，它的结果值传递给函数。表达式的求值结果更容易预测
带有副作用的参数参数可能被替换到宏体中的多个位置，所以带有副作用的参数求值可能会产生不可预料的结果函数参数只在传参的时候求值一次，结果更容易控制
参数类型宏的参数与类型无关，只要对参数的操作是合法的，它就可以适用于任何参数类型函数的参数是与类型有关的，如果参数的类型不同，就需要不同的函数，即使它们执行的任务是相同的
调试宏是不方便调试的函数是可以逐语句/逐过程调试的
递归宏是不能递归的函数是可以递归的
3.2.7命名约定

一般来讲函数和宏的使用语法很相似。所以语言本身没法帮我们区分二者。那我们平时的习惯是：把宏名全部大写；函数名不要全部大写。

3.2.8#undef

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

#undef name

#define M 100#include <stdio.h>int main()
{printf("%d\n", M); //100
#undef M    printf("%d\n", M); //errorreturn 0;
}

3.3命令行定义

linux下gcc编译器实现：

在这里插入图片描述
编译指令

gcc test.c -D SZ=10

3.4条件编译

在编译一个程序的时候我们如果要将一条语句（一组语句）编译或放弃是很方便的。因为我们由条件编译指令。

在这里插入图片描述
常见的条件编译指令：

#if 常量表达式//···
#endif

#include <stdio.h>#if 0
int main()
{printf("hehe\n");return 0;
}
#endif

在这里插入图片描述
2.多个分支的条件编译

#if 常量表达式//···
#elif 常量表达式//···
#else 常量表达式//···
#endif

#define MAX 3#include <stdio.h>int main()
{
#if M<5printf("hehe\n");
#elif M==5 printf("haha\n");
#elseprintf("heihei\n");
#endifreturn 0;
}

预编译代码：

在这里插入图片描述
3.判断是否被定义

#if defined(symbol)
#ifdef symbol#if !defined(symbol)
#ifndef symbol

//#define MAX 100#include <stdio.h>int main()
{
#if !defined(MAX)printf("max\n");
#endifreturn 0;
}

#define MAX 100#include <stdio.h>int main()
{
#ifdef MAXprintf("max\n");
#endifreturn 0;
}

//#define MAX 100#include <stdio.h>int main()
{
#ifndef MAXprintf("max\n");
#endifreturn 0;
}

4.嵌套指令

#if defined(OS_UNIX)#ifdef OPTION1unix_version_option1();#endif#ifdef OPTION2unix_version_option2();#endif
#elif defined(OS_MSDOS)#ifdef OPTION2msdos_version_option2();#endif
#endif

3.5文件包含

防止头文件被多次重复的包含。

方案1：

#ifndef __TEST_H__
#define __TEST_H__
···
#endif

在这里插入图片描述
方案2：

#pragma once

在这里插入图片描述

#include <stdio.h> //库文件包含
#include "test.h" //本地文件包含

<>和""的区别：查找的策略不同。

<>查找策略：直接去库目录下查找；

""查找策略：先去代码所在的路径下查找；如果找不到，再去库目录下查找。

Linux环境的标准头文件的路径：

/usr/include

VS环境的标准头文件的路径：（不同版本有差异）

C:\Program Files(x86)\Microsoft Visual Studio 12.0\VC\include
//这是VS2013的默认路径

4.其他预处理指令

#error
#pragma
#line
···
不做介绍，自己了解，参考《C语言深度解剖》
#pragma pack()在结构体部分介绍。

百度笔试题（offsetof宏的实现）

写一个宏，计算结构体中某变量相对于首地址的偏移，并给出说明。
在这里插入图片描述

#include <stdio.h>
#include <stddef.h>struct S
{char c1;int i;char c2;
};
int main()
{struct S s = {0};printf("%d\n", offsetof(struct S, c1)); //0printf("%d\n", offsetof(struct S, i)); //4printf("%d\n", offsetof(struct S, c2)); //8return 0;
}

#define OFFSETOF(type, m_name)  (size_t)&(((type*)0)->m_name)
#include <stdio.h>struct S
{char c1;int i;char c2;
};
int main()
{struct S s = {0};printf("%d\n", OFFSETOF(struct S, c1)); //0printf("%d\n", OFFSETOF(struct S, i)); //4printf("%d\n", OFFSETOF(struct S, c2)); //8return 0;
}

总结

今天就暂且更新至此吧，期待下周再会。如有错误还请不吝赐教。希望对您学习有所帮助，翻页前留下你的支持，以防下次失踪了嗷。

作者更新不易，免费关注别手软。

相关文章：

  • Java实现中文姓名转拼音生成用户信息并写入文件
  • Java求职者面试指南：DevOps技术栈深度解析
  • NodeJS全栈开发面试题讲解——P7 DevOps 与部署和跨域等
  • LangChain-结合GLM+SQL+函数调用实现数据库查询(三)
  • 【配置指南】Dify部署超全配置参考手册
  • Python 训练营打卡 Day 32-官方文档的阅读
  • 英语写作中“专注于”focus on、concentrate的用法
  • 考研系列—操作系统：第四章、文件管理（part.2）
  • 哈希：闭散列的开放定址法
  • 鸿蒙OSUniApp集成WebGL：打造跨平台3D视觉盛宴#三方框架 #Uniapp
  • 【 SpringCloud | 微服务 网关 】
  • CMake指令：add_executable
  • 2024年数维杯国际大学生数学建模挑战赛A题飞行器激光测速中的频率估计问题解题全过程论文及程序
  • 79. Word Search
  • 西瓜书第十一章——降维与度量学习
  • π0论文阅读
  • SpringAI(GA)：RAG下的ETL快速上手
  • LeetCode - 100. 相同的树
  • 力扣上C语言编程题
  • Golang——3、流程控制语句
  • 十里河网站建设/51趣优化网络seo工程师教程
  • 商业网站制作价格/友情链接的作用大不大
  • wordpress搭建知识库/seo专业培训seo专业培训
  • 360的网站排名怎么做/seo文章范文
  • 平阴网站建设费用/国外seo网站
  • 衡水哪个公司做网站好/网站排名优化师