预处理详解

今天大家一起来学习预处理

在这里插入图片描述

1.预处理符号

如下:

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

代码举例

printf("file:%s line:%d\n",__FILE__,__LINE__);

2.#difine

2.1#difine定义常量

2.1.1基本语法

#difine name stuff
代码举例
//#difine MAX 1000
//#difine reg register  //为 Register 这个关键字创建一个简短的名称
//#difine do_forever for(;;) //⽤更形象的符号来替换⼀种实现
//#difne CASE break;case  //自动在 case 后面添加 break
//如果定义的 stuff过⻓,可以分成⼏⾏写,
//除了最后一⾏外,每⾏的后⾯都加⼀个反斜杠(续行符)。
//#difine DEBUG_PRINT printf(line:%d\t time:%s\t \
							 date:%s\t file;%s\n, \
							 __LINE__,__TIME__, \
							 __DATE__,__FILE__)

2.1.2思考:在define定义标识符的时候,要不要在最后加上 ; ?

代码
#difine MAX 1000;
#difine MAX 1000

建议不要加上 ; ,这样容易导致问题。

代码
if (condition)
	max = MAX;
else
	return 0;

如果是加了分号的情况,等替换后,if和else之间就是2条语句
没有大括号的时候,if后边只能有一条语句
这里会出现语法错误

2.2#difine定义宏

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

2.2.1声明方式

#difine name(prament-list) stuff

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

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

举例

#difine SQUARE(x) x*x;

这个宏接收一个参数 x .如果在上述声明之后,
你把 SQUARE( 5 )置于程序中
预处理器就会用这个表达式替换表达式: 5 * 5

警告:
这个宏存在⼀个问题:

int a = 5;
printf("%d\n", SQUARE(a + 1));

乍⼀看,你可能觉得这段代码将打印36,事实上它将打印11,
替换⽂本时,参数x被替换成a + 1,所以这条语句实际上变成了:

printf("%d\n",a+1*a+1)

这样就比较清晰了,
由替换产生的表达式并没有按照预想的次序进行求值

在宏定义上加上两个括号,这个问题便轻松的解决了

#difine SQUARE(x) (x)*(x);

另⼀个宏定义:

#difne DOUBLE(x) (x)+(x)

定义中我们使用了括号,想避免之前的问题,但是这个宏可能会出现新的错误

int a = 5;
printf("%d\n",10*DOUBLE(a))

看上去,好像打印100,但事实上打印的是55,
乘法运算先于宏定义的加法,所以出现了 55
解决办法是在宏定义表达式两边加上⼀对括号就可以了

#difine DOUBLE(x) ((x)+(x))

注意:
所以用于对数值表达式进行求值的宏定义都应该⽤这种方式加上括号,
避免在使⽤宏时由于参数中的操作符或邻近操作符之间不可预料的相互作用。

3.带有副作用的宏参数

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

x+1;
x++

MAX宏可以证明具有副作⽤的参数所引起的问题

#difine MAX(a,b) ((a) > (b) ? (a) : (b))
...
x=5;
y=8;
z=MAX(a++,b++)
printf("%d,%d,%d\n",x,y,z);

得知道预处理器处理之后的结果是什么

z = ((x++) > (y++) ? (x++: (y++))

所以输出的结果是:x=6 y=10 z=9

4.宏替换的规则

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

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

注意:
1.宏参数和#define 定义中可以出现其他#define定义的符号
但是对于宏,不能出现递归
2.当预处理器搜索#define定义的符号的时候
字符串常量的内容并不被搜索

5.宏和函数的对比

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

比如在两个数中找出较大的⼀个时,写成下面的宏,更有优势⼀些

在这里插入代码片

为什么不用函数来完成这个任务

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

和函数相比宏的劣势

  1. 每次使用宏的时候,一份宏定义的代码将插插到程序中
    除非宏比较短,否则可能大幅度增加程序的长度
  2. 宏是没法调试的。
  3. 宏由于类型无关,也就不够严谨
  4. 宏可能会带来运算符优先级的问题,导致程容易出现错。

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

在这里插入代码片

宏和函数对比表格

在这里插入图片描述

6.#undef

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

#undef NAME
//如果现存的⼀个名字需要被重新定义,那么它的旧名字⾸先要被移除。

7.#和##

7.1#运算符

#运算符将宏的⼀个参数转换为字符串字面量。
它仅允许出现在带参数的宏的替换列表中。
#运算符所执行的操作可以理解为”字符串化“。
当我们有一个变量 int a = 10 的时候,
我们想打印出: the value of a is 10 .
就可以写:

#difine PRINT (n) printf("the value of "#n" is %d",n);

当我们按照下面的方式调用的时候:PRINT(a);
当我们把a替换到宏的体内时,
就出现了#a,⽽#a就是转换为"a"
代码就会被预处理为:

prinf("the value of""a"" is %d",n);

运行代码就能在屏幕上打印

the value of a is 10

7.2##运算符

## 可以把位于它两边的符号合成⼀个符号,
它允许宏定义从分离的⽂本⽚段创建标识符
## 被称为记号粘合

这样的连接必须产生⼀个合法的标识符。否则其结果就是未定义的。

写一个函数求2个数的较大值的时候,
不同的数据类型就得写不同的函数

int int_max(int x, int y)
{
	return x>y?x:y;
}
float float_max(float x, float y)
{
	return x>yx:y;
}

但是这样写起来太繁琐了,现在我们这样写代码试试

//宏定义
#define GENERIC_MAX(type)      \
type type##_max(type x, type y)\
{                              \
	return (x>y?x:y);         \
}

使用宏,定义不同函数

GENERIC_MAX(int)
//替换到宏体内后int##_max ⽣成了新的符号 int_max做函数名
GENERIC_MAX(float)
//替换到宏体内后float##_max ⽣成了新的符号 float_max做函数名
int main()
{
//调⽤函数
	int m = int_max(2, 3);
	printf("%d\n", m);
	float fm = float_max(3.5f, 4.5f);
	printf("%f\n", fm);
	return 0;
}

输出:

3
4.500000

在实际开发过程中##使用的很少,很难取出非常贴切的例子。

8.命名约定

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

9.头文件的包含

9.1头文件被包含的方式:

9.1.1本地文件包含

#include "filename"

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

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

/usr/include

VS环境的标准头文件的路径

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

注意按照自己的安装路径去找

9.1.2库文件包含

#include <filename.h>

查找头文件直接去标准路径下去查找,如果找不到就提提示编译错误
对于库⽂件也可以使⽤ “ ” 的形式包含?答案是肯定的
可以,但是这样做查找的效率就低些
当然这样也不容易区分是库文件还是本地文件了

9.2嵌套文件包含

#include 指令可以使另外一个文件被编译
这种替换的方式很简单:
预处理器先删除这条指令,并用包含文件的内容替换
⼀个头⽂件被包含10次,那就实际被编译10次,
如果重复包含,对编译的压力就比较大
test.c

#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
int main()
{
	return 0;
}

test.h

void test();
struct Stu
{
	int id;
	char name[20];
};

如果直接这样写,test.c文件中将test.h包含5次,
那么test.h文件的内容将会被拷贝5份在test.c中。
如果test.h文件比较大,这样预处理后代码量会剧增
如果工程比较大,有公共使用的头文件
被⼤家都能使用,又不做任何的处理,那么后果真的不堪设想。

条件编译可以解决避免头文件的重复引入的问题
每个头文件的开头写

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

或者

#pragma once

注:
推荐**《⾼质量C/C++编程指南》**中附录的考试试卷(很重要)。

笔试题:

  1. 头文件中的 ifndef/define/endif是干什么用的?
  2. #include <filename.h> 和 #include “filename.h” 有什么区别?

10.条件编译

在编译一个程序的时候我们如果要将一条语句(一组语句)
编译或者放弃是很方便的,因为可以用条件编译
比如:调试性的代码,删除可惜,保留又碍事,
所以我们可以选择性的编译

#include <stdio.h>
#define __DEBUG__
int main()
{
	int i = 0;
	int arr[10] = {0};
	for(i=0; i<10; i++)
	{
		arr[i] = i;
		#ifdef __DEBUG__
		printf("%d\n", arr[i]);//为了观察数组是否赋值成功。
		#endif //__DEBUG__
	}
	return 0;
}

常见的条件编译指令

1.
#if 常量表达式
//...
#endif
//常量表达式由预处理器求值。
如:
#define __DEBUG__ 1
#if __DEBUG__
//..
#endif

2.多个分⽀的条件编译
#if 常量表达式
//...
#elif 常量表达式
//...
#else
//...
#endif

3.判断是否被定义
#if defined(symbol)
#ifdef symbol
#if !defined(symbol)
#ifndef symbol

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

11.命令行定义

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

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

编译指令:

//linux 环境演⽰
gcc -D ARRAY_SIZE=10 programe.c

12.其他预处理指令

#error
#pragma
#line
...
不做介绍,⾃⼰去了解。
#pragma pack()在结构体部分介绍。

参考《C语言深度解剖》学习

总结

今天学习预处理的有关知识包括:预处理符号,#define,#undef,宏的有关知识(宏参数,宏替换),宏和函数对比,#运算符和##运算符,命名约定,头文件的包含(嵌套文件的包含),条件编译,命令行定义等等

对预处理相关知识的分享就到这里了,如果感觉不错,希望可以给博主点个赞或者关注,感谢大家的支持,成为我继续分享的动力,还有什么问题和建议可以在评论区评论,拜拜。
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值