Tiny C 编译器中，如何实现宏展开和头文件包含的预处理逻辑？

首先，预处理的主要功能包括宏展开、头文件包含、条件编译等。用户的问题主要集中在宏展开和头文件包含，所以需要分别考虑这两个部分。

关于宏展开，首先需要解析#define指令。编译器在预处理阶段需要维护一个符号表，用来存储宏的名称、参数（如果是函数式宏）和替换内容。当遇到#define的时候，就要把这个宏的信息存入符号表中。例如，对于对象宏，比如#define PI 3.14，处理起来比较简单，只需要存储PI和对应的值。而对于函数式宏，比如#define MAX(a,b) ((a)>(b)?(a):(b))，就需要记录参数和替换的文本，同时处理参数替换时的展开。

在Tiny C Compiler（TCC）中实现宏展开和头文件包含的预处理逻辑，需通过以下步骤完成：

一、宏展开的实现

1. 数据结构
   定义一个哈希表（SymTable）存储宏信息，每个条目包含：

   • 宏名称（如 PI）
   • 参数列表（函数式宏如 MAX(a, b)）
   • 替换内容（如 3.14 或 ((a)>(b)?(a):(b))）
   • 标志位（如是否可变参数 __VA_ARGS__）

2. 解析 #define 指令

   • 对象宏：直接记录名称和替换内容。

     #define PI 3.14
     

   • 函数式宏：解析参数列表和替换文本，处理参数化替换。

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

3. 替换逻辑

   • 在词法分析阶段，当遇到标识符时，检查哈希表是否存在对应的宏。
   • 对象宏：直接替换为对应文本。
   • 函数式宏：
     1. 匹配括号内的参数（如 MAX(1, 2)）。
     2. 将实参替换到形参位置（a→1, b→2）。
     3. 生成展开后的文本 ((1) > (2) ? (1) : (2))。
   • 递归展开：若替换文本中包含其他宏，递归展开直至无宏可展开。

4. 特殊处理

   • # 运算符：将参数字符串化，如 #x 转换为 "x"。
   • ## 运算符：连接参数，如 a##b → ab。
   • __VA_ARGS__：处理可变参数宏。

二、头文件包含的实现

1. 解析 #include 指令

   • 区分 <header.h>（系统路径）和 "header.h"（用户路径）。
   • 根据编译器配置的搜索路径查找文件（如 /usr/include 或用户指定的 -I 路径）。

2. 文件内容插入

   • 打开头文件，将其内容插入当前处理位置。
   • 使用栈结构管理包含关系，防止循环包含（如 a.h 包含 b.h，b.h 又包含 a.h）。

3. 条件编译防护

   • 处理 #ifndef HEADER_H、#define HEADER_H、#endif 逻辑。
   • 在首次包含头文件时定义防护宏，后续包含时跳过内容。

三、代码流程示例

// 示例：处理 #include 和宏展开
#include <stdio.h>
#define SQUARE(x) ((x) * (x))

int main() {
    printf("%d\n", SQUARE(5));  // 展开为 ((5) * (5))
    return 0;
}

1. 预处理阶段：
   • 插入 stdio.h 的内容。
   • 将 SQUARE(5) 替换为 ((5) * (5))。
   • 处理头文件中的嵌套宏和条件编译。

四、关键代码结构（伪代码）

// 宏定义结构
typedef struct Macro {
    char *name;
    char **args;    // 参数列表
    char *replace;  // 替换文本
} Macro;

// 预处理主循环
void preprocess(FILE *src) {
    while (read_line(src, &line)) {
        if (line starts with "#") {
            if (line is "#include") {
                char *filename = parse_filename(line);
                FILE *header = find_header(filename);
                preprocess(header); // 递归处理
            } else if (line is "#define") {
                Macro macro = parse_macro(line);
                symtable_add(macro);
            }
        } else {
            // 替换宏并输出处理后的文本
            output(replace_macros(line));
        }
    }
}

五、注意事项

1. 符号表管理：正确处理宏的作用域（如 #undef）。
2. 错误处理：报告未找到头文件、宏参数不匹配等错误。
3. 性能优化：避免重复展开同一宏，缓存已解析的头文件。

通过结合符号表管理和递归文件处理，TCC可高效实现预处理逻辑。具体实现可参考TCC源码中的 tccpp.c 模块。