首页
学习
活动
专区
圈层
工具
发布
社区首页 >专栏 >预处理详细介绍

预处理详细介绍

作者头像
承渊政道
发布2025-12-18 17:12:08
发布2025-12-18 17:12:08
2330
举报

1. 预定义符号

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

代码语言:javascript
复制
 __FILE__ //进⾏编译的源⽂件
 __LINE__ //⽂件当前的⾏号
 __DATE__ //⽂件被编译的⽇期
 __TIME__ //⽂件被编译的时间
 __STDC__ //如果编译器遵循ANSIC,其值为1,否则未定义
代码语言:javascript
复制
printf("file:%s line:%d\n",__FILE__,__LINE__);//举例

2. #define定义常量

代码语言:javascript
复制
#define name stuff//name是常量名字,stuff是常量内容
代码语言:javascript
复制
 #define MAX 1000
 #define reg register//为register这个关键字,创建⼀个简短的名字
 #define do_forever for(;;)//⽤更形象的符号来替换⼀种实现
 #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定义标识符的时候,要不要在最后加上;?

代码语言:javascript
复制
 #define MAX 1000;
 #define MAX 1000

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

代码语言:javascript
复制
if(condition)
 max = MAX;
 else
 max = 0;

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

3. #define定义宏

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

代码语言:javascript
复制
//宏的申明方式
#define name( parament-list ) stuff
//其中的parament-list是⼀个由逗号隔开的符号表,它们可能出现在stuff中的参数列表

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

代码语言:javascript
复制
#define SQUARE( x ) x * x//这是求一个数的平方的宏定义

这个宏接收⼀个参数 x .如果在上述声明之后,你把SQUARE( 5 );置于程序中,预处理器就会⽤

下⾯这个表达式替换上⾯的表达式:5 * 5

警告:这个宏存在⼀个问题,观察下⾯的代码段:

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

正常看下来,你可能觉得这段代码将打印36,事实上它将打印11,为什么呢?

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

代码语言:javascript
复制
printf ("%d\n",a + 1 * a + 1 );

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

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

代码语言:javascript
复制
#define SQUARE(x) (x) * (x)

这样预处理之后就产⽣了预期的效果:

代码语言:javascript
复制
printf ("%d\n",(a + 1) * (a + 1) );

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

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

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

我们发现替换之后:

代码语言:javascript
复制
printf ("%d\n",10 * (5) + (5));

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

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

代码语言:javascript
复制
#define DOUBLE(x) ( ( x ) + ( x ) )

提醒:

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

代码语言:javascript
复制
//实例
#include <stdio.h>
#define SQUARE(x) (x)*(x)
int main()
{
  int a=10;
  int b=SQUARE(a);
  printf("%d\n",b);
  return 0;
}//结果输出:100

4. 带有副作⽤的宏参数

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

代码语言:javascript
复制
 x+1;//不带副作⽤
 x++;//带有副作⽤

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

代码语言:javascript
复制
#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
 x = 5;
 y = 8;
 z = MAX(x++, y++);
 printf("x=%d y=%d z=%d\n", x, y, z);//输出的结果是什么?

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

代码语言:javascript
复制
z = ( (x++) > (y++) ? (x++) : (y++));
//所以输出的结果是:x=6 y=10 z=9

5. 宏替换的规则

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

1️⃣在调⽤宏时,⾸先对参数进⾏检查,看看是否包含任何由#define定义的符号.如果是,它们⾸先被换

2️⃣替换⽂本随后被插⼊到程序中原来⽂本的位置.对于宏,参数名被他们的值所替换.

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

注意:

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

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

6. 宏和函数的对⽐

宏通常被应⽤于执⾏简单的运算.

⽐如在两个数中找出较⼤的⼀个时,写成下⾯的宏,更有优势⼀些.

代码语言:javascript
复制
#define MAX(a, b) ((a)>(b)?(a):(b))

那为什么不⽤函数来完成这个任务?

1️⃣⽤于调⽤函数和从函数返回的代码可能⽐实际执⾏这个⼩型计算⼯作所需要的时间更多.所以宏⽐函数在程序的规模和速度⽅⾯更胜⼀筹.

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

和函数相⽐宏的劣势:

1️⃣每次使⽤宏的时候,⼀份宏定义的代码将插⼊到程序中.除⾮宏⽐较短,否则可能⼤幅度增加程序的⻓度.

2️⃣宏是没法调试的.

3️⃣宏由于类型⽆关,也就不够严谨.

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

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

代码语言:javascript
复制
 #define MALLOC(num, type)\
 (type )malloc(num sizeof(type))
 MALLOC(10, int);//类型作为参数
 //预处理器替换之后:
 (int *)malloc(10 sizeof(int));
代码语言:javascript
复制
//宏的形式求两个数的较大值
#include <stdio.h>
#define MAX(x,y) ((x)>(y)?(x):(y))
int main()
{
  int a=10;
  int b=12;
  int m1=MAX(a++,b++);
  printf("m1=%d\n",m1);
}//结果输出:m1=13
代码语言:javascript
复制
//函数的形式求两个数的较大值
#include <stdio.h>
int Max(int x,int y)
{
  return x>y?x:y;
}
int main()
{
  int a=10;
  int b=12;
  int m2=Max(a++,b++);
  printf("m2=%d\n",m2);
  return 0;
}//结果输出:m2=12

宏和函数的⼀个对⽐:

属性

#define定义宏

函数

代码长度

每次使用时,宏代码都会被插入到程序中.除了非常小的宏之外,程序的长度会大幅度增长

函数代码只出现于一个地方;每次使用这函数时,都调用那个地方的同一份代码

执行速度

更快

存在函数的调用和返回的额外开销,所以慢一些

操作符优先级

宏参数的求值是在所以周围表达式的上下文环境里,除非加上括号,否则邻近操作符的优先级可能会产生不可预料的后果,所以建议宏在书写的时候写括号.

函数参数只在函数调用的时候求值一次的结果传递给函数.表达式的求值结果容易预测.

带有副作用的参数

参数可能被替换到宏体中的多个位置,如果宏的参数被多次计算,带有副作用的参数求值可能会产生不可预料的结果.

函数参数只在传参的时候求值一次,结果容易控制.

参数类型

宏的参数与类型无关,只要对参数的操作是合法的,它就可以使用于任何参数类型.

函数的参数是与类型有关的,如果参数的类型不同,就需要不同的函数,即使他们执行的任务是不同的.

调试

宏是不方便调试的.

函数是可以逐语句调试的.

递归

宏说不能递归的.

函数是可以递归的.

7. #和##

7.1 #运算符

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

#运算符所执⾏的操作可以理解为”字符串化“.

当我们有⼀个变量int a = 10:的时候,我们想打印出:the value of a is 10 . 就可以写:

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

当我们按照下⾯的⽅式调⽤的时候:

PRINT(a);//当我们把a替换到宏的体内时,就出现了#a,⽽#a就是转换为"a",时⼀个字符串代码就会被预处理为:

代码语言:javascript
复制
printf("the value of ""a" " is %d", a);

运⾏代码就能在屏幕上打印:

代码语言:javascript
复制
the value of a is 10
代码语言:javascript
复制
#include <stdio.h>
int main()
{
  int a=10;
  printf("the value of a is %d\n",a);
  float b=3.14f;
  printf("the value of b is %f\n",b);
  return 0;
}
7.2 ## 运算符

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

为记号粘合这样的连接必须产⽣⼀个合法的标识符.否则其结果就是未定义的.

这⾥我们想想,写⼀个函数求2个数的较⼤值的时候,不同的数据类型就得写不同的函数.⽐如:

代码语言:javascript
复制
int int_max(int x, int y)
 {
 return x > y ? x : y;
 }
 float float_max(float x, float y)
 {
 return x > y ? x : y;
 }

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

代码语言:javascript
复制
 #include <stdio.h>
 #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;
 }//在实际开发过程中##使⽤的很少,很难取出⾮常贴切的例⼦。

8. 命名约定

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

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

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

有特例:offsetof也是宏,但它全是小写.

9. #undef

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

代码语言:javascript
复制
#undef NAME
//如果现存的⼀个名字需要被重新定义,那么它的旧名字⾸先要被移除。

10. 命令⾏定义

许多C语言的编译器提供了⼀种能⼒,允许在命令⾏中定义符号.⽤于启动编译过程.

例如:当我们根据同⼀个源⽂件要编译出⼀个程序的不同版本的时候,这个特性有点⽤处.(假定某个程序中声明了⼀个某个⻓度的数组,如果机器内存有限,我们需要⼀个很⼩的数组,但是另外⼀个机器内存⼤些,我们需要⼀个数组能够⼤些.)

代码语言:javascript
复制
#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
代码语言:javascript
复制
#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#define SZ 10
int main()
{
	int arr[SZ] ;
	int i = 0;
	for (i = 0; i < SZ; i++)
	{
		arr[i] = i + 1;
	}
	for (i = 0; i < SZ; i++)
	{
		printf("%d", arr[i]);
	}
	printf("\n");
	return 0;
}

11. 条件编译

在编译⼀个程序的时候我们如果要将⼀条语句(⼀组语句)编译或者放弃是很⽅便的.

因为我们有条件编译指令.

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

代码语言:javascript
复制
 #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;
 }
代码语言:javascript
复制
 //常⻅的条件编译指令
 1.单个分支的条件编译
 #if 常量表达式
 //...
 #endif
//常量表达式由预处理器求值。
 如:
 #define __DEBUG__ 1
 #if __DEBUG__
 //..
 #endif
代码语言:javascript
复制
#define M 100
int main()
{
 #if M>200
     printf("hehe\n");
 #endif
     printf("haha\n");
     return 0;
}
代码语言:javascript
复制
2.多个分⽀的条件编译
 #if 常量表达式
 //...
 #elif 常量表达式
 //...
 #else
 //...
 #endif
代码语言:javascript
复制
#define M 100
int main()
{
 #if M<50
     printf("hehe\n");
 #elif M>=50&&M<=80
     printf("haha\n");
 #else 
     printf("heihei\n");
#endif
return 0;
}
代码语言:javascript
复制
3.判断是否被定义
 #if defined(symbol)
 #ifdef symbol
 #if !defined(symbol)
 #ifndef symbol
代码语言:javascript
复制
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 本地⽂件包含
代码语言:javascript
复制
#include "filename"

查找策略:

先在源⽂件所在⽬录下查找,如果该头⽂件未找到,编译器就像查找库函数头⽂件⼀样在标准位置查找头⽂件.

如果找不到就提⽰编译错误.

Linux环境的标准头⽂件的路径:

代码语言:javascript
复制
/usr/include

VS环境的标准头⽂件的路径:

代码语言:javascript
复制
C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include

注意按照⾃⼰的安装路径去找.

12.1.2 库⽂件包含
代码语言:javascript
复制
#include <filename.h>

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

这样是不是可以说,对于库⽂件也可以使⽤ “” 的形式包含?

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

12.2 嵌套⽂件包含

我们已经知道,#include 指令可以使另外⼀个⽂件被编译.就像它实际出现于 #include 指令的

地⽅⼀样.

这种替换的⽅式很简单:预处理器先删除这条指令,并⽤包含⽂件的内容替换.

⼀个头⽂件被包含10次,那就实际被编译10次,如果重复包含,对编译的压⼒就⽐较⼤.

代码语言:javascript
复制
//test.c
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
#include "test.h"
int main()
{
return 0;
}
代码语言:javascript
复制
//test.h
void test();
struct Stu
{
int id;
char name[20];
};

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

如果test.h ⽂件⽐较⼤,这样预处理后代码量会剧增.如果⼯程⽐较⼤,有公共使⽤的头⽂件,被⼤家

都能使⽤,⼜不做任何的处理,那么后果真的不堪设想.

如何解决头⽂件被重复引⼊的问题?

答案:条件编译.每个头⽂件的开头写:

代码语言:javascript
复制
#ifndef __TEST_H__
#define __TEST_H__
//头⽂件的内容
#endif //__TEST_H__
//或者
#pragma once
//就可以避免头⽂件的重复引⼊

13. 其他预处理指令

代码语言:javascript
复制
 #error
 #pragma
 #line
 ...
 不做介绍,⾃⼰去了解。
 #pragma pack()在之前结构体部分介绍了.

以上就是今天的博客内容了,希望能够帮助到读者朋友们!

我们一起继续加油努力💪!一键三连🙏!!!

本篇完结,点赞收藏加关注,找到小编不迷路,感谢大家🙏🤝!

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2025-12-18,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 1. 预定义符号
  • 2. #define定义常量
  • 3. #define定义宏
  • 4. 带有副作⽤的宏参数
  • 5. 宏替换的规则
  • 6. 宏和函数的对⽐
  • 7. #和##
    • 7.1 #运算符
    • 7.2 ## 运算符
  • 8. 命名约定
  • 9. #undef
  • 10. 命令⾏定义
  • 11. 条件编译
  • 12. 头⽂件的包含
    • 12.1 头⽂件被包含的⽅式:
    • 12.1.1 本地⽂件包含
    • 12.1.2 库⽂件包含
    • 12.2 嵌套⽂件包含
  • 13. 其他预处理指令
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档