【C语言】19.预处理详解

流星白龙2024-07-03 13:47

文章目录

1.预定义符号

C语言设置了一些预定义符号，可以直接使用，预定义符号也是在预处理期间处理的。

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

下面试一下:

c 复制代码 
int main() {
	printf("%s\n", __FILE__);
	printf("%d\n", __LINE__);
	printf("%s\n", __DATE__);
	printf("%s\n", __TIME__);
	//printf("%d\n", __STDC__);这行代码会报错，说明VS没有完全遵循ANSIC这个标准

	return 0;
}

打印：

c 复制代码 
D:\code\second_c\33_06_28\Project1\Project1\test.c
6
Jun 28 2024
21:53:03

2.#define定义常量

基本语法：

c 复制代码 
#define name stuff

举个例子：

c 复制代码 
#define M 100
#define STR "hehe"
#define reg register

int main() {
	int arr[M] = { 0 };
	int a = M;
	printf("%d\n", M);
	printf("%s\n", STR);
	register int num = 0;
	reg int num2 = 0;

	return 0;
}
c 复制代码 
#define CASE break;case //在写case语句的时候自动把 break写上。
// 如果定义的 stuff过长，可以分成几行写，除了最后一行外，每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
 date:%s\ttime:%s\n" ,\
 __FILE__,__LINE__ , \
 __DATE__,__TIME__ )

那么，在define定义标识符的时候，要不要在最后加上 ; ?

比如：

c 复制代码 
#define MAX 1000;
#define MAX 1000

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

比如下面的场景：

c 复制代码 
if(condition)
 max = MAX;
else
 max = 0;

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

3.#define定义宏

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

下面是宏的申明方式：

c 复制代码 
#define name( parament-list ) stuff

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

注意：

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

举例：

c 复制代码 
#define SQUARE( n ) n*n

int main() {
	int x = 0;
	scanf("%d", &x);
	int ret = SQUARE(x);
	printf("%d\n", ret);

	return 0;
}

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

警告：

这个宏存在一个问题：

观察下面的代码段：

c 复制代码 
int a = 5;
printf("%d\n" ,SQUARE( a + 1) );

乍一看，你可能觉得这段代码将打印36，事实上它将打印11，为什么呢？

替换文本时，参数x被替换成a + 1,所以这条语句实际上变成了：

c 复制代码 
printf ("%d\n",a + 1 * a + 1 );

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

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

c 复制代码 
#define SQUARE(n) (n) * (n)

这样预处理之后就产生了预期的效果：

c 复制代码 
printf ("%d\n",(a + 1) * (a + 1) );

还有一个宏定义：

c 复制代码 
#define DOUBLE(x) (x) + (x)

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

c 复制代码 
int a = 5;
printf("%d\n" ,10 * DOUBLE(a));

这将打印什么值呢？看上去，好像打印100，但事实上打印的是55.

我们发现替换之后：

c 复制代码 
printf ("%d\n",10 * (5) + (5));

乘法运算先于宏定义的加法，所以出现了 55 .

这个问题，的解决办法是在宏定义表达式两边加上一对括号就可以了。

c 复制代码 
#define DOUBLE( x) ( ( x ) + ( x ) )

提示：

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

4.带有副作用的宏参数

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

例如：

c 复制代码 
x+1;//不带副作用
x++;//带有副作用
c 复制代码 
int main() {
	int a = 10;
	//int b = a + 1;//b=11,a=10
	int b = ++a;//b=11,a=11

	return 0;
}

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

例子1：

c 复制代码 
//写一个宏，求两个数的较大值
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int a = 10;
	int b = 20;
	int m = MAX(a, b);
	printf("%d\n", m);

	return 0;
}

打印：

c 复制代码 
20

这里我们得知道预处理器处理之后的结果是什么：

c 复制代码 
int m = ((a) > (b) ? (a) : (b));

例子2：

c 复制代码 
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int a = 10;
	int b = 20;
	int m = MAX(a++, b++);
	printf("%d\n", m);

	return 0;
}

打印：

c 复制代码 
21

这里我们得知道预处理器处理之后的结果是什么：

c 复制代码 
int m = ((a++) > (b++) ? (a++) : (a++));
//10>20?x:21
//a=11,b=22

5.宏替换的规则

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

  1. 在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。

    c 复制代码 
    #define M 100
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int m = MAX(M, 15);

	return 0;
}

    也就是说这里的M会先被替换

  2. 替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。

    c 复制代码 
    #define M 100
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int m = MAX(M, 15);

	return 0;
}

    M被替换成100。

  3. 最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。

    c 复制代码 
    #define M 100
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int m = MAX(M, 15);

	return 0;
}

    然后MAX也被替换进去。

    c 复制代码 
    int m = ((100)>(15)?(100):(15));

注意：

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

    也就是说上面的

    c 复制代码 
    int m = MAX(M, 15);

    MAX里面可以有M，但是MAX里面不可以有MAX。

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

    c 复制代码 
    #define M 100
#define MAX(x,y) ((x)>(y)?(x):(y))

int main() {
	int m = MAX(M, 15);
	printf("MAX(M, 15)");

	return 0;
}

    也就是里面的printf里面的MAX(M, 15)，不会被替换。

6.宏函数的对比

c 复制代码 
//宏
#define MAX(x,y) ((x)>(y)?(x):(y))

//函数
int Max(int x, int y) {
	return x > y ? x : y;
}

int main() {
	int m = MAX(10, 20);
	printf("%d\n", m);

	m = Max(10, 20);
	printf("%d\n", m);

	return 0;
}

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

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

c 复制代码 
#define MAX(a, b) ((a)>(b)?(a):(b))

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

和函数相比宏的优势：

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

    因为执行函数需要：调用函数的准备工作，执行函数的核心运算，从函数调用中返回值。

    执行宏需要：执行函数的核心运算

    少了两个步骤

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

和函数相比宏的劣势：

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

  2. 宏是没法调试的。

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

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

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

c 复制代码 
#define MALLOC(n, type) (type*)malloc(n*sizeof(type))

int main() {
	//int* p = (int*)malloc(10 * sizeof(int));

	int* p = MALLOC(10, int);
	//替换后变成:int* p = (int*)malloc(10 * sizeof(int));

	return 0;
}

宏和函数的一个对比:

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

7.#和##

7.1 #运算符

#运算符将宏的一个参数转换为字符串字面量。它仅允许出现在带参数的宏的替换列表中。

#运算符所执行的操作可以理解为"字符串化"。

当我们有一个变量 int a = 10; 的时候，我们想打印出： the value of a is 10

就可以写：

c 复制代码 
#define PRINT(n) printf("the value of "#n " is %d", n);

1.没用#运算符前：

c 复制代码 
int main() {
	int a = 10;
	printf("the value of a is %d\n", a);

	int b = 20;
	printf("the value of b is %d\n", b);
	
    
	return 0;
}

打印：

c 复制代码 
the value of a is 10
the value of b is 20
the value of b is 5.500000

2.用#运算符后：

c 复制代码 
#define PRINT(fromat, n) printf("the value of "#n" is " fromat"\n", n);
//"the value of "
//#n --> 把"a"替换进去
//" is "
//fromat
//"\n"

int main() {
	int a = 10;
	PRINT("%d", a);

	int b = 20;
	PRINT("%d", b);

	float f = 5.5f;
	PRINT("%f", f);

	return 0;
}

打印：

c 复制代码 
the value of a is 10
the value of b is 20
the value of f is 5.500000

7.2 ## 运算符

##可以把位于它两边的符号合成一个符号，它允许宏定义从分离的文本片段创建标识符。 ## 被称为**记号粘合**

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

这里我们想想，写一个函数求2个数的较大值的时候，不同的数据类型就得写不同的函数。

我们可以使用宏，定义不同函数：

c 复制代码 
//生成函数的模板
#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() {

	printf("%d\n", int_max(3, 5));
	printf("%f\n", float_max(3, 5));

	return 0;
}

打印：

c 复制代码 
5
5.000000

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

8.命名约定

一般来讲函数和宏的使用语法很相似。所以语言本身没法帮我们区分二者。

那我们平时的一个习惯是：

  1. 把宏名全部大写

  2. 函数名不要全部大写

9.#undef

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

c 复制代码 
#undef NAME
//如果现存的一个名字需要被重新定义，那么它的旧名字首先要被移除。

例如：

c 复制代码 
#define M 100

int main() {
	printf("%d\n", M);//这一行可以执行
#undef M
	printf("%d\n", M);//这一行会报错

}

10.命令行定义

许多C 的编译器提供了一种能力：允许在命令行中定义符号，用于启动编译过程。

例如：当我们根据同一个源文件要编译出一个程序的不同版本的时候，这个特性有点用处。（假定某个程序中声明了一个某个长度的数组，如果机器内存有限，我们需要一个很小的数组，但是另外一个机器内存大些，我们需要一个数组能够大些。）

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;
}

编译指令：

c 复制代码 
//linux 环境演示
gcc -D ARRAY_SIZE=10 programe.c

11.条件编译

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

比如说：

调试性的代码，删除可惜，保留又碍事，所以我们可以选择性的编译。

c 复制代码 
#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;
}

常见的条件编译指令：

c 复制代码 
1.单分支的条件编译
#if 常量表达式
 //...
#endif
//常量表达式由预处理器求值。
如：
#define __DEBUG__ 1//宏定义
#if __DEBUG__
 //..
#endif
    
2.多个分支的条件编译
#if 常量表达式//开头
 //...
#elif 常量表达式
 //...
#else 常量表达式
 //...
#endif//末尾
    
3.判断是否被定义
//被定义
#if defined(symbol)
#endif//末尾

#ifdef symbol
#endif//末尾

//没被定义
#if !defined(symbol)
#endif//末尾

#ifndef symbol
#endif//末尾

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 本地⽂件包含

c 复制代码 
#include "filename"

查找策略：

  1. 先在源文件所在目录下查找
  2. 如果该头文件未找到，编译器就像查找库函数头文件一样在标准位置查找头文件

如果找不到就提示编译错误。

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

c 复制代码 
/usr/include

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

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

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

12.1.2 库⽂件包含

c 复制代码 
#include <filename.h>

查找策略：

直接去标准路径下去查找，如果找不到就提示编译错误。

这样是不是可以说，对于库文件也可以使用 "" 的形式包含？

答案是肯定的，可以，但是这样做查找的效率就低些，当然这样也不容易区分是库文件还是本地文件了。

12.2 嵌套⽂件包含

我们已经知道， #include 指令可以使另外一个文件被编译。就像它实际出现于 #include 指令的地方一样。

这种替换的方式很简单：预处理器先删除这条指令，并用包含文件的内容替换。

一个头文件被包含10次，那就实际被编译10次，如果重复包含，对编译的压力就比较大。

test.c

c 复制代码 
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
int main()
{
    return 0;
}

test.h

c 复制代码 
void test();
struct Stu
{
    int id;
    char name[20];
};

如果直接这样写，test.c文件中将test.h包含5次，那么test.h文件的内容将会被拷贝5份在test.c中。

如果test.h 文件比较大，这样预处理后代码量会剧增。如果工程比较大，有公共使用的头文件，被大家都能使用，又不做任何的处理，那么后果真的不堪设想。

如何解决头文件被重复引入的问题？答案：条件编译。

每个头文件的开头写：

c 复制代码 
#ifndef __TEST_H__
#define __TEST_H__
//头文件的内容
#endif //__TEST_H__
c 复制代码 
#ifndef __TEST_H__
#define __TEST_H__

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

#endif //__TEST_H__

或者：

c 复制代码 
#pragma once
c 复制代码 
#pragma once

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

就可以避免头文件的重复引入。

注：

推荐《高质量C/C++编程指南》中附录的考试试卷（很重要）。

笔试题：

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

13.其他预处理指令

c 复制代码 
#error
#pragma
#line
...
不做介绍，自己去了解。
#pragma pack()在结构体部分介绍。

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

到这里，其实C语言的学习基本结束了，接下来，向着数据结构，杨帆！启航！

相关推荐
PPPPPaPeR.1 小时前
TopK问题与堆排序
c语言·开发语言·c++·算法
小字节，大梦想2 小时前
C语言_结构体初阶（还未写完）
c语言·开发语言
卡戎-caryon3 小时前
【数据结构】06.栈&&队列
c语言·数据结构·算法·链表
低调包含3 小时前
RT-Thread和freeRTOS启动流程
c语言·arm开发·rtos
2401_858286113 小时前
12.【C语言】创建函数
c语言·开发语言·数据结构
汀小烟4 小时前
使用静态成员函数统计学生平均成绩
c语言·开发语言·数据结构·c++·vscode
我要成为C++领域大神4 小时前
【高性能服务器】select模型
linux·服务器·c语言·开发语言·网络·tcp·io多路复用
小小怪下士的编程小屋6 小时前
stm32中断
c语言·stm32·单片机·嵌入式硬件
结衣结衣.7 小时前
完全理解C语言函数
java·linux·c语言·数据库·经验分享·笔记
yannan201903138 小时前
【算法】（C语言）：二分查找
c语言·算法
热门推荐
01Coze扣子平台完整体验和实践（附国内和国际版对比）02组基轨迹建模 GBTM的介绍与实现（Stata 或 R）03【经验分享】Ubuntu22.04安装微信(linux官方版)042024亚太赛（中文赛）数学建模竞赛选题建议+初步分析05yolov8实战第五天——yolov8+ffmpg实时视频流检测并进行实时推流——（推流，保姆教学）06【立创EDA-PCB设计基础】6.布线铺铜实战及细节详解07【漏洞复现】Geoserver远程代码执行漏洞（CVE-2024-36401）082025张宇考研数学，百度网盘视频课+36讲PDF讲义+真题09浏览器插件——ModHeader 的分享和学习10用友U8 Cloud 反序列化RCE漏洞复现