C语言---程序环境和预处理(底层原理万字详解)

最新推荐文章于 2024-05-17 11:27:07 发布

小沈YO.

最新推荐文章于 2024-05-17 11:27:07 发布

阅读量1.2k

点赞数 11

分类专栏：《趣学C语言》文章标签： c语言开发语言流程图

本文链接：https://blog.csdn.net/ljq_up/article/details/131611200

版权

《趣学C语言》专栏收录该内容

30 篇文章 18 订阅

订阅专栏

本文详细介绍了C语言的翻译环境和执行环境，包括编译和链接的过程，以及预处理的各种概念，如#define定义、预定义符号、条件编译和文件包含。文章强调了宏和函数的差异，讨论了宏在代码效率和类型安全性上的优缺点，并给出了关于头文件包含的两种方式。最后，提到了条件编译和如何避免文件内容重复的问题。

摘要由CSDN通过智能技术生成

前言

👧个人主页：@小沈熬夜秃头中୧⍤⃝❅
😚小编介绍：欢迎来到我的乱七八糟小星球🌝
📋专栏：C语言学习
🔑本章内容：C语言 — 程序环境和预处理的部分内容
送给各位💌：无论风暴把我带向何方我都将以主人的身份上岸你现在的迷茫和焦虑就是因为想的太多而做的太少
记得评论📝 +点赞👍 +收藏😽 +关注💞哦~

提示：以下是本篇文章正文内容，下面案例可供参考

🌟一、程序的翻译环境和执行环境

在ANSI C的任何一种实现中，存在两个不同的环境。
第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境，它用于实际执行代码。
在这里插入图片描述

组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code).
每个目标文件由链接器（linker)捆绑在一起，形或一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的凶数，而且它可以搜索程序员个人的程序库，将其需要的函数也链接到程序中。

举例：

当我们运行一个代码时，运行成功后我们的.c文件就会形成一个.obj文件
在这里插入图片描述

🌟二、详解编译+链接

🌏2.1命令

1.预处理选项gcc -E test.c -o test.i
预处理完成之后就停下来，预处理之后产生的结果都放在test.i文件中。
⒉.编译选项gcc -s test.
编译完成之后就停下来，结果保存在test.s中。
3.汇编gcc -c test.c
汇编完成之后就停下来，结果保存在test.o中。

🌏2.2 板书详解

下面是对编译+链接的一个简单的板书了解
在这里插入图片描述

🌏2.3运行环境

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

🌟三、预处理详解

🌏3.1预定义符号

这些预定义符号都是语言内置的。
在这里插入图片描述

#include<stdio.h>
int main()
{
	int i = 0;
	int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
	for (i = 0; i < 10; i++)
	{
		printf("%d-----%s, %s, %s, line=%d\n", arr[i], __FILE__, __DATE__, __TIME__, __LINE__);
	}
	return 0;
}

在这里插入图片描述
VS并不是严格遵循C语言标准的但是我们在VSCode中是可以的

补充:
其实编译器在代码编译的时候，会对函数和变量名重命名的
在C语言中重命名的规则基本就是:加_
C++中会更加复杂

🌏3.2 #define

💫3.2.1 #define 定义标识符

在这里插入图片描述
注意：
#define 定义建议不要加上;,这样容易导致问题。

💫3.2.2 #define 定义宏

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

下面是宏的申明方式:
#define name( parament-list ) stuff
其中的parament-1ist是一个由逗号隔开的符号表，它们可能出现在stuff中。

注意:
参数列表的左括号必须与name紧邻。
如果两者之间有任何空白存在，参数列表就会被解释为stuff的一部分。
在这里插入图片描述

💫3.2.3 #define 替换规则

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

1.在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。
⒉替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。
3.最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。
注意:
1.宏参数和#define定义中可以出现其他#define定义的符号。但是对于宏，不能出现递归。
2.当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。

💫3.2.4 #和##

如何把参数插入到字符串中?
(1).#的作用：

把一个宏参数变成对应的字符串。
在这里插入图片描述
(2).##的作用：

##可以把位于它两边的符号合成一个符号。
它允许宏定义从分离的文本片段创建标识符。
这样的连接必须产生一个合法的标识符。否则其结果就是未定义的。
在这里插入图片描述

💫3.2.5 带有副作用的宏参数

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

💫3.2.6 宏和函数对比

函数调用的时间花费:
1.函数调用前准备(传参、函数栈帧空间的维护)
2.主要运算
3.函数返回，返回值的处理，函数栈帧的销毁

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

比如在两个数中找出较大的一个。
#define MAX(a，bca)>(b)?(a):(b))

#include<stdio.h>
int Max(int x, int y)
{
	return x > y ? x : y;
}
#define MAX(x,y) ((x)>(y)?(x):(y))
int main()
{
	int a = 0;
	int b = 0;
	scanf("%d %d", &a, &b);
	int m1 = Max(a, b);
	printf("%d\n", m1);
	int m2 = MAX(a, b);
	printf("%d\n", m2);
	return 0;
}

那为什么不用函数来完成这个任务?
原因有二:

用于调用函数和从函数返回的代码可能比实际执行这个小型计算工作所需要的时间更多。所以宏比函数在程序的规模和速度方面更胜一筹。
2.更为重要的是函数的参数必须声明为特定的类型。所以函数只能在类型合适的表达式上使用。反之这个宏怎可以适用于整形、长整型、浮点型等可以用于>来比较的类型。宏是类型无关的。

宏的缺点:当然和函数相比宏也有劣势的地方:

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

#define MAX(x,y) ((x)>(y)?(x):(y))
	int m2 = MAX(a, b);
	printf("%d\n", m2);
//例如这个代码我们预处理完后运行的代码是int m2=((a)>(b)?(a):(b));
//实际上真正执行的是这段代码但是在调试的时候我们看到的确实int m2 = MAX(a, b);
//但是编译器底层执行的是int m2=((a)>(b)?(a):(b));
//这样就不协调了所以宏不适合调试

宏由于类型无关，也就不够严谨。
4.宏可能会带来运算符优先级的问题，导致程容易出现错。

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

#define MALLOC(num,type) (type*)malloc(num*sizeof(type))
#include<stdio.h>
int main()
{
	int* p = (int*)malloc(10 * sizeof(int));
	if (*p == NULL)
	{
		//...
	}
	int* p2 = MALLOC(10, int);
	if (*p2 == NULL)
	{
		//...
	}
	float* p3 = MALLOC(3.14, float);
	return 0;
}

总结：以后功能比较简单的时候，可以采用宏来实现如果功能比较复杂，建议使用函数来实现

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

补充：C/C++引入了一个: inline的关键字内联函数:具有了函数的优点，也具有宏的优点

💫3.2.7 命令约定

一般来讲函数和宏的使用语法很相似。所以语言本身没法帮我们区分二者。那我们平时的一个习惯是:|

把宏名全部大写
函数名不要全部大写

🌏3.3 #undef

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

例如如下代码，我们定义了一个M但是当我们用#undef指令移除一个宏定义M时，M就被去掉了所以第二个打印时就会报错：未声明的标识符
在这里插入图片描述

🌏3.4 命令行定义

许多C的编译器提供了一种能力，允许在命令行中定义符号。用于启动编译过程。
例如:当我们根据同一个源文件要编译出一个程序的不同版本的时候，这个特性有点角处。(假定某个程序中声明了一个某个长度的数组，如果机器内存有限，我们需要一个很小的数组，但是另外一个机器内存大些，我们需要一个数组能够大些。)
在这里插入图片描述