C语言的程序环境和预处理(详细的图文讲解)

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

我们写代码到运行起来时会经过两个不同环境 第1种是翻译环境 第2种是执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
翻译环境: 在这个环境中源代码被转换为可执行的机器指令。
执行环境: 它用于实际执行代码。

2.编译和链接

2.1翻译环境

在这里插入图片描述

这里可以看到在翻译环境内又分为预处理 编译 汇编 链接的过程。我们在一工程里写代码是会有多个源文件,而多个源文件会经过编译器形成相应的目标文件,再经过连接器形成可执行程序。
在这里插入图片描述

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

那么我们这里使用的编译器和链接器是什么呢?从哪里来的?
而在这里我们使用的是vs2022集成开发环境–IDE
其中包含了很多功能:编辑 编译 链接 调试
同时集成了:编辑器 编译器 链接器 调试器

2.2 编译的阶段

在这里插入图片描述

2.3 运行环境

在程序执行的过程中:

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

3.预处理

3.1预定义符号

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

在这里插入图片描述
我们可以看到都将位置 行号 日期 和时间,而将__STDC__放入可以看到无法编译 ,说明vs下没有遵循
ANSI C
在这里插入图片描述

3.2#define

3.2.1#define 定义标识符

语法:

#define name stuff

一些简单的例子


#define  sim 100//注意尽量不要添加分号,替换时也会将;替换过去,容易发生意外错误
#define  max 300
#define  bba   "bidemingzi"
#define  forever  for(;;)
#include<stdio.h>
int main()
{
    printf("%d\n", sim);
	printf("%d\n", max);
	printf("%s\n", bba);
    forever;

    return 0;
}

我们可以看到顺利替换,并执行相应的结果,forever为死循环所以没有结束
在这里插入图片描述
这里玩们再补充一点如果定义的 stuff过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(\)这个为续行符。

3.2.2#define 定义标宏

那么#define仅仅只能用来替换吗?并不是,#define 机制还包括了一个规定,允许把参数替换到文本中,这种实现称为宏(macro)或定义宏(define macro)。

宏的申明方式
#define name( parament-list ) stuff

其中的 parament-list 是一个由逗号隔开的符号表,它们可能出现在stuff中。
注意:参数列表的左括号必须与name紧邻。如果两者之间有任何空白存在,参数列表就会被解释为stuff的一部分
例如:

#include<stdio.h>
#define MAX(a,b) (a>b?a:b)
int main()
{
    int a = 10;
    int b = 6;
    printf("%d", MAX(a, b));//这里MAX(a,b)被替换成(a>b?a:b)
    return 0;
}

可以看到结果:
在这里插入图片描述
这里我们还要注意()的运用如果不注意使用会造成与设计不相符合的结果。
例如:

#include<stdio.h>
#define  SQUARE(a)  a*a
int main()
{
    printf("%d", SQUARE(2));
    return 0;
}

我们看到可以正常算出来:
在这里插入图片描述
而如果我们传入其他形式:

#include<stdio.h>
#define  SQUARE(a)  a*a
int main()
{
    printf("%d", SQUARE(2+3));
    return 0;
}

我们再来看结果:
在这里插入图片描述
并不是我们所想的5x5=25,这里是因为此时a为2+3替换后为2+32+3 ,是将a的值替换进入aa而没有先算出a的值再替,因此我们要添加括号()来达到我们想要的效果,所以我可以将代码改善一下

#include<stdio.h>
#define  SQUARE(a)  (a)*(a)
int main()
{
    printf("%d", SQUARE(2+3)); 
    return 0;
}

在这里插入图片描述
这是就是我们想要的结果,当然这里我们还可以完善一下将(a)*(a)外层再加一个括号。例如下面这段代码,外层不添加括号就会造成其他结果。

#include<stdio.h>
#define  SUM(a)  (a)+(a)
int main()
{  
    printf("%d",  4*SUM(2+3));
    return 0;
}

这里我们想算4x(5+5)的结果,但是外层没有添加括号,造成假的结果25与真的结果40不符,
在这里插入图片描述

#include<stdio.h>
#define  SUM(a)(a)+(a)
int main()
{  
    printf("%d",  4*SUM(2+3));
    return 0;
}

添加括号后就与我们的预料结果相同
在这里插入图片描述
因此对于数值表达式进行求值的宏定义都应该用这种方式加上括号,避免在使用宏时由于参数中
的操作符或邻近操作符之间不可预料的相互作用。

3.2.3#define 替换规则

总结一下替换规则:
在程序中扩展#define定义符号和宏时,需要涉及几个步骤。

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

我们先简单介绍一下:
#:把一个宏参数变成对应的字符串。
##:可以把位于它两边的符号合成一个符号,它允许宏定义从分离的文本片段创建标识符

先来看#:
有这样一段代码将a b c的值打印出来,我们来看可不可以用函数来实现打印出来,仔细思考下用函数的方式不能实现,因此我们来用宏大方式来实现。

 #include<stdio.h>
int main()
{
	int a = 10;
	printf("a的值是%d\n", a);
	int b = 9;
	printf("b的值是%d\n", b);
    float c = 7.9f;
	printf("c的值是%f\n", c);
    return 0;
}

改造后:

#include<stdio.h>
#define	PRINTF(val,format)    printf(#val"的值是"format"\n",val)
int main()
{
	int a = 10;
	PRINTF(a, "%d");
	//这里PRINTF(a, "%d")被替换成printf("a""的值是"%d"\n",a)
	/*printf("a的值是%d\n", a);*/
	
	int b = 9;
	PRINTF(b, "%d");
	//这里PRINTF(a, "%d")被替换成printf("b""的值是"%d"\n",b)
	/*printf("b的值是%d\n", b);*/
    
	float c = 7.9f;
	PRINTF(c, "%f");
	//这里PRINTF(a, "%d")被替换成printf("c""的值是"%f"\n",c)
   /* printf("c的值是%f\n", c);*/
    return 0;
}

请看结果:
在这里插入图片描述
在来看##:

#include<stdio.h>
#define COMBINNATION(a,b)   a##b
int main()
{
	int dorm251 = 10;
	printf("%d", COMBINNATION(dorm, 251));//这里COMBINNATION(dorm, 251)为dorm251
	return 0;
}

结果:
在这里插入图片描述
这里我们要注意:
这样连接必须产生一个合法的标识符。否则其结果就是未定义的。在本次案例中就是合成的dorm251被定义过。

3.2.5 具有副作用的宏参数

我们先来看一段代码:

#include<stdio.h>
int main()
{
	int a = 1;
	int b = a + 1;//b=2 a=1 这里a的值并没有改变

	int c = 1;
	int b = ++c;//b=2 c=2 这里c的值被改变了
	printf("%d", c);
	return 0;
}

这里就能看出a+1与++a或a++的区别,那么在宏中也会发生相关的连锁反应。

#include<stdio.h>
#define MAX(a,b)  ((a)>(b)?(a):(b))
int main()
{
	int a = 4;
	int b = 3;
	int c = MAX(++a, ++b);
	printf("%d", c);
	return 0;
}

请大家算一下这里打印出来为多少?
结果:
在这里插入图片描述

大家看到我们想比较9和3谁更大,但这里打印的为10,是怎么回事呢?

#include<stdio.h>
#define MAX(a,b)  ((a)>(b)?(a):(b))
int main()
{
	int a = 4;
	int b = 3;
	int c = MAX(++a, ++b);
	//MAX(++a, ++b)被替换成((++a)>(++b)?(++a):(++b))
	printf("%d", c);
	return 0;
}

在这里插入图片描述这里先是(++a)>(++b) 这里a变成5,b变成4。因为a=5>b=4再执行(++a)则此时a变成6,最后c=6

3.2.6 宏和函数的对比
#include<stdio.h>
#define MAX(a,b)  ((a)>(b)?(a):(b))
int max(int a, int b)
{
	return (a > b ? a : b);
}
int main()
{
	int a = 4;
	int b = 3;
	int c = MAX(a, b);
	printf("%d\n", c);
	int d = max(a, b);
	printf("%d\n", d);
    return 0;
}

这里我们可以看到max和MAX都可比较两个数的大小,但是这里用宏的方式更好,

原因有两个:

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

那么宏就没有缺点吗?答案是否定的,没有任何一个方式是没有缺点的。

宏的缺点有以下4个:

  1. 每次使用宏的时候,一份宏定义的代码将插入到程序中。除非宏比较短,因为每用一次就会替换一次否则可能大幅度增加程序,而函数只需要写一次,需要用到是传入相关参数即可。
    的长度。
  2. 宏是没法进行调试的。
  3. 宏由于类型无关,相关严谨度不够。
  4. 宏可能会带来运算符优先级的问题(例如括号 ),导致程容易出现错。

但我们也要注意宏可以实现一些函数不能完成的。

#include<stdio.h>
#define MALLOC(a,width)  (width*)malloc(a*sizeof(width))
int main()
{
	int* p = (int*)malloc(10*(sizeof(int)));
	int* p1 = MALLOC(10, int);
	return 0;
}

我们在这里对MALLOC重新进行封装,让我们可以便捷的使用。

#define宏定义与函数的区别:
在这里插入图片描述

3.2.7 命名约定

因为函数和宏的使用语法很相似。所以语言本身没法帮我们区分,就需要我们自己进行区分那我们平时的一个习惯是:把宏名全部大写,函数名不要全部大写。但是对于一些我们希望当成函数来用的可以写成小写与函数命名相同。

3.3#undef

此条指令用于移除一个宏定义。
例如:

#include<stdio.h>
#define M 100
int main()
{
	printf("%d", M);
    #undef M//移除M的定义
	printf("%d", M);
    return 0;
}

结果执行时我们可以看到编译器警告168行为定义,说明#undef将M的定义已经移除。
在这里插入图片描述

3.4命令行定义

在很多C 的编译器允许在命令行中定义符号。用于启动编译过程。
那么这样有什么用处?
当我们根据同一个源文件要编译出一个程序的不同版本的时候,(假定某个程序中声明了一个某个长度的数组,如果机器内存有限,我们需要一个很小的数组,但是另外一个机器内存大些,我们需要一个数组能够大些。)这时命令行定义就会就会发挥作用。

例如下面这段代码

#include <stdio.h>
int main()
{
	int arr[sz];
	int i = 0;
	for (i = 0; i < sz; i++)
	{
		arr[i] = i;
	}
	for (i = 0; i < sz; i++)
	{
		printf("%d ", arr[i]);
	} 
	return 0;
}

其中sz我们并未定义,当我们这段代码在不同的需求下或处于不同条件时就可以根据需求在命令行中定义这里的sz以满足不同需求。

3.5条件编译

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

我们来看下面这段代码:

#include <stdio.h>
#define __DEBUG__
int main()
{
	int arr[10];
	int i = 0;
	for (i = 0; i < 10; i++)
	{
		arr[i] = i;
	}
	for (i = 0; i < 10; i++)
	{
#ifdef __DEBUG__//这里定义了因此可以进入执行
		printf("%d ", arr[i]);
#endif // DEBUG
	}
	return 0;
}

在这里插入图片描述
而如果我们将#define __DEBUG__屏蔽掉还能否打印出来
在这里插入图片描述
可以看到并没有
那么还有那些条件编译指令

#if 常量表达式//条件为真参与编译为假则不参与编译
//...
#endif

例如:

#include <stdio.h>
#define __DEBUG__ 0
int main()
{
	int arr[10];
	int i = 0;
	for (i = 0; i < 10; i++)
	{
		arr[i] = i;
	}
	for (i = 0; i < 10; i++)
	{
#if __DEBUG__//此时常量表达式为0则为假不参与编译
		printf("%d ", arr[i]);
#endif // DEBUG
	}
	return 0;
}

在这里插入图片描述
可以看到并没有参与编译

#if 常量表达式//也是为真参与编译为假则不参与
//...
#elif 常量表达式//也是为真参与编译为假则不参与
//...
#else
//...
#endif

例如:

//多个分支的条件编译
#include <stdio.h>
int main()
{
#if 1>2;//为假不参与
	printf("2");
#elseif 2>3//为假不参与
    printf("3");
#else//最后进入到这里
	printf("4");
#endif
	return 0;
}

在这里插入图片描述

//判断是否被定义
#if defined(MAX)
#ifdef MAX

#if !defined(MAX)
#ifndef MAX
#include <stdio.h>
int main()
{
#if defined MAX
	printf("123456789");
#endif

#if !defined MAX//此时并没有定义一次参与编译
	printf("987654321");
#endif
	return 0;
}

结果:
在这里插入图片描述

当然上面这段代码也可以这样写:

#include <stdio.h>
int main()
{
#ifdef MAX
	printf("123456789");
#endif

#ifndef  MAX
	printf("987654321");
#endif
	return 0;
}

该效果同上

//嵌套指令
#if defined(OS_UNIX)
   #ifdef OPTION1
       PRINTF(1);
   #endif
   #ifdef OPTION2
       PRINTF(2);
   #endif
#elif defined(OS_MSDOS)
   #ifdef OPTION2
      PRINTF(3);
   #endif
#endif

3.6 文件包含

#include 指令可以使另外一个文件被编译。 而包含一次就会将头文件里的内容替换一次,因此大量包含会造成代码冗余。

3.6.1 头文件被包含的方式:

本地文件包含

 #include"bba.h"//用双引号

库函数包含

#include<stdio.h>

编译器会先在源文件所在目录下查找,如该头文件未找到,编译器会像查找库函数头文件一样在标准位置查找头文件。
如果找不到就提示编译错误。因此 #include<stdio.h> 也可以用**#inlcude"stdio.h"** 但是这样效率就低了也不容易分辨是库文件还是本地文件,所以用适合的方式进行头文件的引用。

3.6.2 头文件的嵌套包含

在这里插入图片描述
我们看这里的的aggregate文件嵌套包含将publik文件包含了两次造成了代码冗余,那么我们有什么办法防止,我们可以在头文件添加条件编译来判断是否二次定义。
在这里插入图片描述
这种方法是较早的一种写法,现在有一种更好的写法:

#prama once//可以防止被多次包含只包含一次,但是需要较早的编译可能不支持

在这里插入图片描述

  • 16
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 13
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

大大白的小小白

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值