C/C++ 预处理器

预处理是在 程序编译之前进行的一步操作。

翻译程序

这个操作是 预处理之前 的操作,在 预处理 之前,编译器会对源代码会进行一些翻译操作:

  1. 将源代码中出现的字符映射到 源字符集。
  2. 查找 反斜线 (\) 后 紧跟 换行符 (回车键产生的字符)的 实例,并删除这些实例。
  3. 编译器将文本划分为:语言符号(token) 序列,空白字符序列,注释序列。(token:空格分隔的组)
    1. 编译器用一个 空白字符 代替 一个注释。
  4. 然后,程序进入预处理阶段
cout << "hello \
world" << \
            endl;
// 根据 2, 上面的物理行 会被转换成
cout << "hello world" << endl;
int /*这里是注释*/ fox;
// 根据3, 上面的语句会转换成
int fox;

预处理器指令

预处理器指令

  • 都是由 # 开头
  • ANSI 允许 # 与指令的其余部分有空格,但是实际上并不行
  • # 开始,到第一个 换行符 为止,(指令的长度仅限于 一行逻辑代码

define

每个#define 行(逻辑行)由三部分组成:

  • #define 自身
  • 所选择的缩略语,这些 缩略语称为 宏(macro
    • 宏的名字中不允许有空格,而且必须遵循C变量命名规则
  • 替换列表(replacement list)或叫 主体(body), (这个地方可以省略,说明只是定义了这个一个宏)

预处理器在程序中发现了宏的实例后,总会用 主体 替换这个宏。

宏展开: 从宏变成最终文本的过程。

#define TWO 2
#define FOUR TWO*TWO

int main(){
  x = FOUR;
  return 0;
}
// 替换过程为
// x = TWO*TWO;
// x = 2*2;
  • 从上面示例可以看出,宏定义中可以包含其他宏!
    • 一般而言,预处理器发现程序中的宏后,会用它的等价替代文本代替宏,如果该 文本中 还包括宏,则继续替换这些宏。
    • 如果宏存在与双引号内,则不予替换。

语言符号

从技术方面看,系统将 宏的 主体 当作语言符号(token)类型字符串,而不是字符型字符串。

C预处理器中的 语言符号 是宏定义主体中 单独的词(空格分割开的词)。

// 这个定义的主体中 只有一个语言符号(token)即 2*3
#define SIX 2*3

// 这个定义的主体中,有三个语言符号,2 * 4,主体中的空格看作 分割语言符号的  符号
#define EIGHT 2 * 4

// 这个和 上面那个是一样的,额外的空格不看做主体的一部分
#define EIGHT 2    *    4

类函数宏

// 括号一定要贴着 PRINT!!!!
#define POWER(x) x*x

注意:

  • 宏的名字不能有空格,但是在 替代字符串 中可以有空格。
  • 主体中, 用圆括号 括住每个参数, 并括住整个主体。
  • 用大写字母表示 宏的名字

可变参数宏

  • 使用 ...__VA_ARGS__
#include <iostream>

using namespace std;
void add(int i, int j = 1) {
    cout << i + j << endl;
}

#define XNAME(...) add(__VA_ARGS__)

int main() {
    XNAME(1);
    XNAME(1, 4);
}

include

预处理器发现 #include 指令后,就会寻找 文件名 并把 这个文件内容 包含到 当前文件中。被包含文件中的文本将替换源代码文件中的 #include 指令。

#include <iostream> // 尖括号代表 搜索系统目录
#include "myHeader.h" // 引号代表,先搜索当前目录,再搜索系统目录
#include "/usr/biff/p.h" // 搜索 /usr/biff 目录

undef

用来取消 #define 的宏定义。

#define LIMIT 100
#undef LIMIT

宏的作用域 从 #define 开始,到 #undef 或文件尾 结束。

条件编译

#ifdef, #else, #endif

#ifdef MAVIS //如果定义了,执行下面的语句,否则到 else 中执行
    #include "horces.h"
#else
    #include "birds.h"
#endif

#ifdef HH
    #include "didi.h"
#endif //必须存在的

#if, #elif

# if SYS==1
    #define SYS_
#elif SYS==2
    #define SYS__
#endif
#define NE 10
int main() {
// 有无空格都可以
#if NE > 10
    cout << __DATE__ << endl;
}

#else
cout << __FILE__ << endl;
}

#endif

C/C++ 宏中,### 的用法

# 的作用

#的功能是将其后面的 宏参数 进行字符串化操作, 就是:宏变量替换后,左右各加一个双引号。(将语言符号转换成字符串!!!)

// #x 之间有无空格都可以
#define TEST(x) \
    #x
int main() {
    cout << "hello" << endl;
    cout << TEST("hello") << endl;
}

// 输出结果为:
// hello
// "hello"
// 可以看到 # 的作用是 加 双引号。

## 的作用

## 称之为 连接符(concatenator),将两个语言符号组合成单个语言符号。这里连接的对象是 Token 就行,不一定非要是 宏变量。

N## 连接 N+1Token

// 注意,x##n 有无空格都可以
#define XNAME(n) x ## n
#include <iostream>
using namespace std;
int main() {
    // XNAME(4) 会变成 x4 
    int XNAME(4) = 3;
    cout << x4 <<endl;
}

预定义的宏

  • __VA_ARGS__ : 可变宏用到
  • __DATE__ : 当前的时间
  • __FILE__:当前文件名
  • __TIME__: 源文件编译时间

参考资料

[C Primer Plus 5] p446

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏技巅

GlusterFS之内存池(mem-pool)实现原理及代码详解

1275
来自专栏上善若水

如何识别C++编译以后的函数名

C/C++语言在编译以后,函数的名字会被编译器修改,改成编译器内部的名字,这个名字会在链接的时候用到。如果用backtrace之类的函数打印堆栈时,显示的就是被...

1782
来自专栏java一日一条

Java并发编程之原子操作类

当更新一个变量的时候,多出现数据争用的时候可能出现所意想不到的情况。这时的一般策略是使用synchronized解决,因为synchronized能够保证多个线...

661
来自专栏程序员的知识天地

Python实现堆栈

堆栈是一个后进先出的数据结构,其工作方式就像一堆汽车排队进去一个死胡同里面,最先进去的一定是最后出来。

902
来自专栏SDNLAB

OFTest(一):如何忽略一些字段在端口poll报文

1 前言 ✔ 关于OFTest的介绍,请戳这里(https://github.com/floodlight/oftest) ✔ 总的来说,就是用python写的...

3589
来自专栏尾尾部落

[剑指offer] 用两个栈实现队列

用两个栈来实现一个队列,完成队列的Push和Pop操作。 队列中的元素为int类型。

721
来自专栏黑泽君的专栏

51单片机数据传送指令

1493
来自专栏小樱的经验随笔

Gym 100952B&&2015 HIAST Collegiate Programming Contest B. New Job【模拟】

B. New Job time limit per test:1 second memory limit per test:64 megabytes input...

1936
来自专栏林德熙的博客

C# 动态加载卸载 DLL

我最近做的软件,需要检测dll或exe是否混淆,需要反射获得类名,这时发现,C#可以加载DLL,但不能卸载DLL。于是在网上找到一个方法,可以动态加载DLL,不...

911
来自专栏前端进阶之路

带你彻底弄懂Event Loop前言正文总结

我在学习浏览器和NodeJS的Event Loop时看了大量的文章,那些文章都写的很好,但是往往是每篇文章有那么几个关键的点,很多篇文章凑在一起综合来看,才可以...

1064

扫码关注云+社区