【C语言】编译预处理和宏

一、编译预处理和宏

1.1 编译预处理指令

在C语言中，编译预处理指令是在正式编译之前由预处理执行的命令。

这些命令以 # 开头且不加分号结尾。

常见的编译预处理指令有#include、#define、#ifdef、#endif等。

• #include 指令：用于将指定的头文件内容插入到当前源文件中，如 #include <studio.h> 会将标准输入输出库的头文件内容包含进来。
• #define 指令：用于定义宏，后续在代码中遇到该宏时会进行替换。
• #ifdef、#ifndef和#endif指令：常用于条件编译。#ifdef用于判断某个宏是否已经被定义，如果已经定义，就编译#ifdef和#endif之间的代码；#ifndef则相反，它判断某个宏是否未被定义，若未定义，就编译#ifndef和#endif之间的代码。条件编译在跨平台开发、调试代码等场景中非常有用。

1.2 宏定义

宏定义是使用 #define 指令，它可以将一个标识符定义为一个字符串。

其基本语法如下：

#define 标识符 字符串

在这个语法中，“标识符”就是宏的名称，而“字符串”是宏所代表的内容

 例如：

#define PI 3.14159

在后续代码中，只要遇到PI，预处理就会将其替换为3.14159。 

宏的好处在于可以提高代码的可读性和可维护性。

宏定义还可以定义不带参数的函数式宏，例如：

#define NEWLINE putchar('\n')

在代码里使用NEWLINE时，预处理器会把它替换成putchar('\n')，从而实现换行的功能。 

此外，注释同样可以适用于宏，且如果要表示换行则是在末尾添加/。

1.3 宏定义的替换规则

• 宏替换是简单的文本替换，预处理器会在代码中找到所有与宏标识符匹配的地方，然后将其替换为对应的字符串。
• 需要注意的是宏替换只进行简单的文本替换，不会进行语法检查。

例如：

#define SQ(x) x * x
int result = SQ(2 + 3);

 这里会将 SQ(2+3) 替换为 2+3 * 2+3，结果是11，而不是25。

• 引入头文件（标准输入输出流）

#include <stdio.h>

• 定义宏

#define SQ(x) x * x

• 主函数

int main() {
    int result = SQ(2 + 3);
    printf("%d\n", result);
}

⬇️

为了避免这种问题，通常会在宏定义中适当添加括号。

修改后的宏定义如下：

#define SQ(x) ((x) * (x))

 这样就是我们预期的输出结果25。

• 引入头文件

#include <stdio.h>

• 定义宏

#define SQ(x) ((x) * (x))

• 主函数

int main() {
    int result = SQ(2 + 3);
    printf("%d\n", result);
}

⬇️

另外，宏替换还存在一些特殊情况，比如宏定义重的字符串常量里的标识符不会被替换。

例如：

#define FOO bar
printf("FOO is a string\n");

这里字符串"FOO is a string" 中的FOO不会被替换成bar。

1.4 预定义宏

C语言提供了一些预定义宏，这些宏在编译时会被自动替换为特定的值。

合理的使用预定义宏可以让代码更具有灵活性和可维护性。

常见的预定义宏有：

• __FILE__ : 该宏会替换为当前源文件的文件名。在调试代码时，通过__FILE__ 可以知道输出信息来自哪个源文件。
• __LINE__ : 它会被替换为当前代码所在的行号。结合__FILE__ 使用，可以精确定位代码中的问题。
• __DATE__ : 会被替换为编译时的日期，格式为“Mmm dd yyyy”。
• __TIME__ : 会被替换为编译时的时间，格式为“hh:mm:ss”

例如：

• 引用头文件

#include <stdio.h>

• 主函数

int main() {
    printf("File: %s\n", __FILE__);
    printf("Line: %d\n", __LINE__);
    printf("Date: %s\n", __DATE__);
    printf("Time: %s\n", __TIME__);
    return 0;
}

二、带参数的宏

2.1 宏的定义和展开

带参数的宏允许在宏定义中使用参数。

基本语法如下：

#define 宏名(参数列表) 替换文本

例如：

#define ADD(a, b) ((a) + (b))

当在代码中使用ADD(3，4) 时，预处理器会将其展开为 ((3)+(4)) 。 

2.2 带参数的宏的使用

带参数的宏可以用于简化代码，例如定义一个求最大值的宏：

#define MAX(a, b) ((a) > (b) ? (a) : (b))

代码中可以这样使用：

int x = 5, y = 10;
int max_val = MAX(x, y);

2.3 带参数的宏的注意事项

• 宏参数不会进行类型检查，这可能会导致一些潜在的错误。例如，将一个字符串传递给一个期望整数参数的宏可能会导致未定义行为。
• 宏替换是简单的文本替换，可能会导致一些意外的结果，如前面提到的SQ宏的例子。为了避免这种情况，需要在宏定义中合理使用括号。

2.4 带参数的宏的类型检查问题

由于宏只是进行文本替换，不会进行类型检查，这可能会导致一些难以调试的错误。

例如：

#define MY(a, b) ((a) * (b))
float f = 2.5;
int i = 3;
float result = MY(f, i);

虽然代码可以正常编译，但如果在使用宏时不小心传递了不兼容的类型，可能会得到意外的结果。 

2.5 带参数的宏与inline函数的比较

• 代码大小：带参数的宏是在预处理阶段进行文本替换，会导致代码膨胀，因为每次使用宏都会插入替换后的代码。而 inline 函数是在编译时进行处理，编译器可以根据情况决定是否将函数内联展开，一般不会导致代码过度膨胀。
• 类型检查： 宏不会进行类型检查，而inline函数具有函数的特性，会进行类型检查，因此使用inline函数可以减少类型相关的错误。
• 调试：调试宏比较苦难，因为调试器看到的是替换后的代码，而不是宏定义本身。而inline函数可以像普通函数一样进行调试。

---

个人主页

最近真是有点燃尽了