《C语言篇》一篇文章搞懂C语言的预处理(#define定义变量、定义宏、条件编译等等)

我们在之前在Linux篇讲过gcc编译器,包括编译和链接两个部分,而编译又分为预处理(预编译)、编译和汇编。而预处理是编译的第一步,主要包括①将头文件展开②条件编译③去注释④宏替换等等之类。经过预处理的文件他还是个C语言程序。

1. 预处理符号

C语⾔设置了⼀些预定义符号,可以直接使⽤,预定义符号也是在预处理期间处理的。

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

在这里插入图片描述
如果在Linux环境下,使用gcc对其进行预处理,得到.i文件,这里的这些符号直接被替换对应的值了,相当于宏替换了。

2. #define定义变量

在这里插入图片描述
这个我们之前是经常使用的。当然不知可以定义整数,浮点数、字符串、字符都是可以的。一下有几个特殊的例子;
在这里插入图片描述
特别是对于swich语句来说,每次都要写个break比较麻烦,如下:
在这里插入图片描述
而我们可以使用#define来重新定义它,如下:
在这里插入图片描述
【注意】在define定义标识符的时候,建议不要在最后加上 ;
在有些场景下会出问题。比如如下的场景:

#define MAX 1000;

//错误1
printf("%d\n", MAX);//括号里面有个分号

//错误2
if(condition)
 max = MAX;
else
 max = 0;

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

3. #define定义宏

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

下面是宏的申明方式:
在这里插入图片描述
其中的 parament-list 是⼀个由逗号隔开的符号表,它们可能出现在stuff中。

【注意】参数列表的左括号必须与name紧邻,如果两者之间有任何空⽩存在,参数列表就会被解释为stuff的⼀部分。千万不要加空格

示例:
在这里插入图片描述
这个宏接收⼀个参数 x .如果在上述声明之后,你把 SQUARE( 510); 置于程序中,预处理器就会⽤下⾯这个表达式替换上⾯的表达式: 10 * 10。

【注意】上面的这个宏写的是有问题的,我们观察下面的代码:

int a = 5;
int ret = SQUARE(a + 1);

按照我们的想法是计算6的平方,即结果应该是36,而事实上他打印出来的是11.为什么呢? -> 替换⽂本时,参数x被替换成a + 1,所以这条语句实际上变成了:printf ("%d\n",a + 1 * a + 1 );

宏的参数,不是计算,而是直接替换的。 上面的代码被换成了:int ret = a + 1 * a + 1; 这样结果就是11了。

我们需要再宏定义上都加上括号,就可以解决了,如下:

#define SQUARE(x) (x) * (x)

如下的方式也可以解决,但不建议:
在这里插入图片描述
我们再来看一个例子:
我们定义了如下的一个宏:#define DOUBLE(x) (x) + (x)
运行如下代码:

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

我们预期的结果是100,但实际的结果却是55,为什么呢?
注意:宏的参数,也可能是一个表达式,表达式会有操作符,宏的内容也会有操作符,宏的参数替换到文本中后,可能会因为操作符的优先级,导致结果不是我们预期的,所以能带括号大家一定带括号。

上面的10 * DOUBLE(a)会被翻译成:10*(5)+(5),也就是55.我们把宏修改为#define DOUBLE( x) ( ( x ) + ( x ) ) 就是我们想要的宏了。

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

4. 带有副作用的宏参数

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

例如:

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

比如说:int a = x + 1,x是不变的,而int a = x++,为了得到a,x也发生了改变。

再看下面的一个例子:
在这里插入图片描述
是不是很好玩呢。宏可以和函数作对比,他们张的是很像的,但是效果截然不同。

5. 宏替换的规则

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

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

注意:

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

6. 宏与函数的对比

在这里插入图片描述
宏有时候可以做函数做不到的事情。⽐如:宏的参数可以出现类型,但是函数做不到。

#define MALLOC(num, type)\
 (type )malloc(num sizeof(type))
 ...
//使⽤
 MALLOC(10, int);//类型作为参数
//预处理器替换之后:
 (int *)malloc(10 sizeof(int));

【注】宏与函数各有优势,不同场景下应用不同。在C++中,我们会学到inline内联函数,她既具备了宏的优势,也具备了函数的优势。

7. #和##

7.1 #运算符

#运算符将宏的⼀个参数转换为字符串字⾯量。它仅允许出现在带参数的宏的替换列表中。#运算符所执⾏的操作可以理解为”字符串化“。

当我们有⼀个变量 int a = 10; 的时候,我们想打印出: the value of a is 10 .就可以写:#define PRINT(n) printf("the value of "#n " is %d", n);

当我们按照下⾯的⽅式调⽤的时候:
PRINT(a);//当我们把a替换到宏的体内时,就出现了#a,⽽#a就是转换为"a",时⼀个字符串代码就会被预处理为:printf("the value of ""a" " is %d", a);

运⾏代码就能在屏幕上打印: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. 命名约定

⼀般来讲函数的宏的使⽤语法很相似。所以语⾔本⾝没法帮我们区分⼆者。

那我们平时的⼀个习惯是:

  1. 把宏名全部⼤写
  2. 函数名不要全部⼤写

9. #undef

这条指令⽤于移除⼀个宏定义。

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

示例:
在这里插入图片描述

10. 命令行定义

许多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

11. 条件编译

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

比如说:调试性的代码,删除可惜,保留⼜碍事,所以我们可以选择性的编译。

#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

12. 头文件的包含

12.1 头文件的包含方式

12.1.1 本地文件包含

#include "filename"

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

12.1.2 库文件包含

#include <filename.h>

查找头⽂件直接去标准路径下去查找,如果找不到就提⽰编译错误。

Q:这样是不是可以说,对于库⽂件也可以使⽤ “” 的形式包含?
A:答案是肯定的,可以,但是这样做查找的效率就低些,当然这样也不容易区分是库⽂件还是本地⽂件了。

12.2 嵌套文件包含

我们已经知道, #include 指令可以使另外⼀个⽂件被编译。就像它实际出现于 #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

就可以避免头⽂件的重复引⼊。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值